Modelling, verification, and formal analysis of security properties in a P2P system. - Sam B. Sanjabi; Franck Pommereau (CTS, 2010)