Bounding Messages for Free in Security Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Bounding Messages for Free in Security Protocols

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01195943 , version 1 (08-09-2015)

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⟩

Collections

CNRS LACL UPEC
34 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More