Communication Dans Un Congrès
Année : 2000
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03207809
Soumis le : lundi 26 avril 2021-10:31:53
Dernière modification le : dimanche 26 juin 2022-04:21:26
Dates et versions
Identifiants
- HAL Id : hal-03207809 , version 1
Citer
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
13
Consultations
0
Téléchargements