The practice of cryptographic protocols verification
Résumé
We analyze the complexity of verifying security protocols for finite sessions
Communication Dans Un Congrès
Année : 2001
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00100414
Soumis le : mardi 26 septembre 2006-14:41:41
Dernière modification le : jeudi 15 février 2024-03:30:55
Dates et versions
Identifiants
- HAL Id : inria-00100414 , version 1
Citer
Michaël Rusinowitch. The practice of cryptographic protocols verification. CAV Workshop on Logical Aspects of Cryptographic Protocols Verification, 2001, Paris, France, 1 p. ⟨inria-00100414⟩
Collections
77
Consultations
0
Téléchargements