, Automated Validation of Internet Security Protocols and Applications

R. Bouroulet, R. Devillers, H. Klaudel, E. Pelz, and F. Pommereau, Modeling and analysis of security protocols using role based specifications and Petri nets, International Conference on Applications and Theory of Petri Nets, vol.5062, pp.72-91, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00340476

R. Bouroulet, H. Klaudel, and E. Pelz, Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language), International Conference on Application of Concurrency to System Design, pp.179-188, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00340477

F. Crazzolara and G. Winskel, Events in security protocols, ACM Conference on Computer and Communication Security, pp.96-105, 2001.

C. Dima, Revisiting satisfiability and modelchecking for CTLK with synchrony and perfect recall, International Workshop on Computational Logic in Multi-Agent Systems, vol.5405, pp.117-131, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01699955

D. Dolev and A. Yao, On the security of public key protocols, IEEE Transactions on Information Theory, vol.29, issue.2, pp.198-208, 1983.

H. Klaudel, M. Koutny, E. Pelz, and F. Pommereau, An approach to state space reduction for systems with dynamic process creation, International Symposium on Computer and Information Sciences, pp.1-6, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00666664

R. Kotter, Fast generalized minimum distance decoding of algebraic-geometry and reed-solomon codes, IEEE Transaction in Information Theory, vol.42, issue.3, 1996.

U. Montanari and M. Pistore, Finite state verification for the asynchronous ?-calculus, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.255-269, 1999.

L. Petrucci, Combining Finkel's and Jensen's reduction techniques to build covering trees for coloured nets, p.36, 1990.

F. Pommereau, Snakes is the net algebra kit for editors and simulators

F. Pommereau, Quickly protoyping Petri nets tools with SNAKES, International Conference on Simulation Tools and Techniques for Communications, pp.1-10, 2008.

F. Pommereau, Algebras of Petri nets, 2009.
URL : https://hal.archives-ouvertes.fr/tel-02309973

F. Pommereau, R. Devillers, and H. Klaudel, Efficient reachability graph representation of Petri nets with unbounded counters, International Worshop on Verifications of Infinite-State Stystems, Lisbon, Portugal, vol.239, pp.1-10, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00340494