https://hal.inria.fr/hal-03203027
Contributor : Jean Goubault-Larrecq <>
Submitted on : Tuesday, April 20, 2021 - 2:15:46 PM Last modification on : Sunday, May 2, 2021 - 3:27:17 AM
Jean Goubault-Larrecq. Vérification de protocoles cryptographiques: la logique à la rescousse!. 1er Workshop International sur la Sécurité des Communications sur Internet (SECI'02), Sep 2002, Tunis, Tunisie. pp.119--152. ⟨hal-03203027⟩