Proceedings of the 1st Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV'01) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Special Issue Electronic Notes in Theoretical Computer Science Year : 2001

Proceedings of the 1st Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV'01)

Not file

Dates and versions

hal-03219186 , version 1 (06-05-2021)

Identifiers

  • HAL Id : hal-03219186 , version 1

Cite

Jean Goubault-Larrecq. Proceedings of the 1st Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV'01). 1st Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV'01), Jul 2001, Paris, France. Electronic Notes in Theoretical Computer Science, 55 (1), 2001. ⟨hal-03219186⟩
14 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More