Skip to Main content Skip to Navigation
Journal articles

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

Miriam Paiola 1 Bruno Blanchet 1 
1 PROSECCO - Programming securely with cryptography
Inria Paris-Rocquencourt
Résumé : no abstract
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-00939187
Contributor : Ben Smyth Connect in order to contact the contributor
Submitted on : Thursday, January 30, 2014 - 1:11:10 PM
Last modification on : Friday, January 21, 2022 - 3:16:07 AM

Identifiers

  • HAL Id : hal-00939187, version 1

Collections

INRIA | INRIA2

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

34

 

Contact                    Legal Notice                    Personal Data