Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols

Ran Canetti 1, 2 Ling Cheung 3 Dilsun Kaynar 2 Moses Liskov 4 Nancy Lynch 2 Olivier Pereira 5 Roberto Segala 6
1 IBM Watson Research Center
2 CSAIL - Computer Science and Artificial Intelligence Laboratory [Cambridge]
3 NIII - nijmeegs instituut voor informatica en informatiekunde/informatics for technical applications
4 W&M Computer Science department
5 UCL Crypto Group
6 Dipartimento di Informatica [Verona]
Abstract : The Probabilistic I/O Automata (PIOA) framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about their correctness based on implementation relationships between multiple levels of abstraction. We enhance this framework to allow the analysis of protocols that use cryptographic primitives. For this purpose, we propose new techniques for handling nondeterministic behaviors, expressing computationally hardness assumptions, and for proving security in a composable setting.
Type de document :
Communication dans un congrès
Véronique Cortier et Steve Kremer. Workshop on Formal and Computational Cryptography (FCC 2006), Jul 2006, Venice/Italy, 2006
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00080681
Contributeur : Véronique Cortier <>
Soumis le : mardi 20 juin 2006 - 15:00:27
Dernière modification le : mardi 20 juin 2006 - 15:27:36
Document(s) archivé(s) le : lundi 5 avril 2010 - 23:07:14

Fichier

paper7.pdf

Identifiants

  • HAL Id : inria-00080681, version 1

Collections

FCC2006

Citation

Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, et al.. Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols. Véronique Cortier et Steve Kremer. Workshop on Formal and Computational Cryptography (FCC 2006), Jul 2006, Venice/Italy, 2006. 〈inria-00080681〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

111

Téléchargements de fichiers

140

Contact


archive-ouverte@inria.fr