Vérification de protocoles cryptographiques: la logique à la rescousse! - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

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

No file

Dates and versions

hal-03203027 , version 1 (20-04-2021)

Identifiers

  • HAL Id : hal-03203027 , version 1

Cite

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⟩
8 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More