Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz. Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language).
International Conference on Application of Concurrency to System Design, ACSD'2006, 2006, Finland. pp.ERREUR_CHAMPS_NON_SPECIFIE.
⟨hal-00340477⟩