Bounding Messages for Free in Security Protocols
Résumé
no abstract
Communication Dans Un Congrès
Année : 2007
Julien Tesson : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01195943
Soumis le : mardi 8 septembre 2015-17:14:32
Dernière modification le : jeudi 7 mars 2024-12:32:05
Dates et versions
Identifiants
- HAL Id : hal-01195943 , version 1
Citer
Myrto Arapinis, Marie Duflot. Bounding Messages for Free in Security Protocols. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, 2007, Unknown, Unknown Region. pp.376--387. ⟨hal-01195943⟩
50
Consultations
0
Téléchargements