From Computationally-proved Protocol Specifications to Implementations

Résumé : no abstract
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/hal-00863382
Contributor : Ben Smyth <>
Submitted on : Wednesday, September 18, 2013 - 5:37:40 PM
Last modification on : Friday, May 25, 2018 - 12:02:06 PM
Document(s) archivé(s) le : Friday, December 20, 2013 - 3:02:05 PM

File

CadeBlanchetARES12.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00863382, version 1

Collections

Citation

David Cadé, Bruno Blanchet. From Computationally-proved Protocol Specifications to Implementations. 7th International Conference on Availability, Reliability and Security (AReS 2012), 2012, Prague, Czech Republic. pp.65--74. ⟨hal-00863382⟩

Share

Metrics

Record views

120

Files downloads

191