Conference Papers
Year : 2000
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03207809
Submitted on : Monday, April 26, 2021-10:31:53 AM
Last modification on : Sunday, June 26, 2022-4:21:26 AM
Dates and versions
Identifiers
- HAL Id : hal-03207809 , version 1
Cite
Jean Goubault-Larrecq. A Method for Automatic Cryptographic Protocol Verification. Workshop on Formal Methods for Parallel Programming, May 2000, Cancun, Mexico. pp.977-984. ⟨hal-03207809⟩
Collections
12
View
0
Download