Verification of Security Protocols with Lists: from Length One to Unbounded Length

Résumé : no abstract
Type de document :
Article dans une revue
Journal of Computer Security, IOS Press, 2013, 21 (6), pp.781--816
Liste complète des métadonnées

https://hal.inria.fr/hal-00939187
Contributeur : Ben Smyth <>
Soumis le : jeudi 30 janvier 2014 - 13:11:10
Dernière modification le : vendredi 25 mai 2018 - 12:02:06

Identifiants

  • HAL Id : hal-00939187, version 1

Collections

Citation

Miriam Paiola, Bruno Blanchet. Verification of Security Protocols with Lists: from Length One to Unbounded Length. Journal of Computer Security, IOS Press, 2013, 21 (6), pp.781--816. 〈hal-00939187〉

Partager

Métriques

Consultations de la notice

90