Verification of Security Protocols with Lists: from Length One to Unbounded Length
Résumé
no abstract
Article Dans Une Revue
Journal of Computer Security
Année : 2013
Ben Smyth : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00939187
Soumis le : jeudi 30 janvier 2014-13:11:10
Dernière modification le : vendredi 21 janvier 2022-03:16:07
Dates et versions
Identifiants
- HAL Id : hal-00939187 , version 1
Citer
Miriam Paiola, Bruno Blanchet. Verification of Security Protocols with Lists: from Length One to Unbounded Length. Journal of Computer Security, 2013, 21 (6), pp.781--816. ⟨hal-00939187⟩
34
Consultations
0
Téléchargements