A Decidable Analysis of Security Protocols
Résumé
We present some results about deciding insecurity for cryptographic protocols.
Communication Dans Un Congrès
Année : 2004
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00099993
Soumis le : mardi 26 septembre 2006-10:13:14
Dernière modification le : jeudi 1 février 2024-10:04:00
Dates et versions
Identifiants
- HAL Id : inria-00099993 , version 1
Citer
Michaël Rusinowitch. A Decidable Analysis of Security Protocols. 18th IFIP World Computer Congress on Theoretical Computer Science - TCS'2004, 2004, Toulouse, France, 1 p. ⟨inria-00099993⟩
Collections
97
Consultations
0
Téléchargements