Sound and Complete Computational Interpretation of Symbolic Hashes in the Standard Model

Flavio D. Garcia 1 Peter Van Rossum 1
1 SOS - Security of Systems
Abstract : This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known Abadi-Rogaway logic with probabilistic hashes and give a precise semantic interpretation to it using Canetti's oracle hashes. These are probabilistic polynomialtime hashes that hide all partial information. Finally, we show that this interpretation is computationally sound and complete.
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 [12 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00080675
Contributeur : Véronique Cortier <>
Soumis le : mardi 20 juin 2006 - 15:02:02
Dernière modification le : mardi 20 juin 2006 - 15:28:13
Document(s) archivé(s) le : lundi 5 avril 2010 - 23:06:40

Fichier

paper5.pdf

Identifiants

  • HAL Id : inria-00080675, version 1

Collections

FCC2006

Citation

Flavio D. Garcia, Peter Van Rossum. Sound and Complete Computational Interpretation of Symbolic Hashes in the Standard Model. Véronique Cortier et Steve Kremer. Workshop on Formal and Computational Cryptography (FCC 2006), Jul 2006, Venice/Italy, 2006. 〈inria-00080675〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

39

Téléchargements de fichiers

116

Contact


archive-ouverte@inria.fr