Special Issue
Electronic Notes in Theoretical Computer Science
Year : 2001
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03219186
Submitted on : Thursday, May 6, 2021-11:17:58 AM
Last modification on : Friday, March 24, 2023-2:53:21 PM
Dates and versions
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⟩
Collections
14
View
0
Download