Modelling and Verification of Cryptographic Protocols
Résumé
Special issue on Modelling and Verification of Cryptographic Protocols of the Journal of Logic and Algebraic Programming
Ouvrages
Année : 2005
Roberto M. Amadio : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00168132
Soumis le : vendredi 24 août 2007-15:53:47
Dernière modification le : vendredi 24 mars 2023-14:52:49
Dates et versions
Identifiants
- HAL Id : hal-00168132 , version 1
Citer
Roberto M. Amadio (Dir.). Modelling and Verification of Cryptographic Protocols. Elsevier, Journal of Logic and Algebraic Programming, volume 64, issue 2, pages 155-320, pp.165, 2005. ⟨hal-00168132⟩
Collections
11
Consultations
0
Téléchargements