A. Armando, R. Carbone, and L. Compagna, LTL model checking for security protocols, Proceedings of CSF, pp.385-396, 2007.

A. Armando and L. Compagna, SAT-based model-checking for security protocols analysis, International Journal of Information Security, vol.9, issue.1, pp.3-32, 2008.
DOI : 10.1007/s10207-007-0041-y

J. Barnat, Distributed Memory LTL Model Checking, 2004.

C. J. Cremers, Scyther -Semantics and Verification of Security Protocols, 2006.

S. Evangelista and L. M. Kristensen, Dynamic State Space Partitioning for External Memory Model Checking, Proceedings of Formal Methods In Computer Sciences (FMICS), pp.70-85, 2009.
DOI : 10.1007/978-3-642-04570-7_7

H. Gao, Analysis of Security Protocols by Annotations, 2008.

H. Garavel, R. Mateescu, and I. Smarandache, Parallel state space construction for model-checking, Workshop on Model Checking of Software SPIN, 2001.
DOI : 10.1007/3-540-45139-0_14
URL : https://hal.archives-ouvertes.fr/inria-00072247

F. Gava, M. Guedj, and F. Pommereau, A BSP Algorithm for the State Space Construction of Security Protocols, 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, 2010.
DOI : 10.1109/PDMC-HiBi.2010.14
URL : https://hal.archives-ouvertes.fr/hal-00669177

K. Hinsen, Parallel Scripting with Python, Computing in Science & Engineering, vol.9, issue.6, 2007.
DOI : 10.1109/MCSE.2007.117
URL : https://hal.archives-ouvertes.fr/hal-00282403

C. Pajault, Model Checking paralléle et réparti de réseaux de Petri colorés de haut-niveau, Conservatoire National des Arts et Métiers, 2008.

F. Pommereau, Algebras of coloured Petri nets, 2010.

S. Sanjabi and F. Pommereau, Modelling, verification, and formal analysis of security properties in a P2P system, 2010 International Symposium on Collaborative Technologies and Systems, pp.543-548, 2010.
DOI : 10.1109/CTS.2010.5478474