Skip to Main content Skip to Navigation
Conference papers

Vérification de protocoles cryptographiques: la logique à la rescousse!

Document type :
Conference papers
Complete list of metadata

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

Identifiers

  • HAL Id : hal-03203027, version 1

Citation

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⟩

Share

Metrics

Record views

7