Skip to Main content Skip to Navigation
Directions of work or proceedings

Special Issue on Models and Methods for Cryptographic Protocol Verification

Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-03203844
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Wednesday, April 21, 2021 - 9:46:52 AM
Last modification on : Tuesday, December 14, 2021 - 3:53:22 AM

Identifiers

  • HAL Id : hal-03203844, version 1

Citation

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

Share

Metrics

Record views

7