Special Issue on Models and Methods for Cryptographic Protocol Verification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Special Issue Journal of Telecommunications and Information Technology Year : 2002

Special Issue on Models and Methods for Cryptographic Protocol Verification

No file

Dates and versions

hal-03203844 , version 1 (21-04-2021)

Identifiers

  • HAL Id : hal-03203844 , version 1

Cite

Jean Goubault-Larrecq. Special Issue on Models and Methods for Cryptographic Protocol Verification. Journal of Telecommunications and Information Technology, 4/2002, 2002. ⟨hal-03203844⟩
8 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More