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

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

Identifiants

  • HAL Id : inria-00080681, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

107

Téléchargements de fichiers

137