Communication Dans Un Congrès Année : 2000

A Method for Automatic Cryptographic Protocol Verification

Fichier non déposé

Dates et versions

hal-03207809 , version 1 (26-04-2021)

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⟩
59 Consultations
0 Téléchargements

Partager

  • More