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 <>
Submitted on : Wednesday, April 21, 2021 - 9:46:52 AM
Last modification on : Sunday, May 2, 2021 - 3:27:38 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