Soundness of Symbolic Equivalence for Modular Exponentiation

Yassine Lakhnech 1 Laurent Mazare 1 Bogdan Warinschi 2
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we study the Dynamic Decisional Diffie-Hellman (3DH) problem, a powerful generalization of the Decisional Diffie-Hellman (DDH) problem. Our main result is that DDH implies 3DH. This result leads to significantly simpler proofs for protocols by relying directly on the more general problem. Our second contribution is a computationally sound symbolic technique for reasoning about protocols that use symmetric encryption and modular exponentiation. We show how to apply our results in the case of the Burmester & Desmedt protocol.
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 [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00080673
Contributeur : Véronique Cortier <>
Soumis le : mardi 20 juin 2006 - 15:03:19
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10
Document(s) archivé(s) le : lundi 5 avril 2010 - 23:06:34

Fichier

Identifiants

  • HAL Id : inria-00080673, version 1

Citation

Yassine Lakhnech, Laurent Mazare, Bogdan Warinschi. Soundness of Symbolic Equivalence for Modular Exponentiation. Véronique Cortier et Steve Kremer. Workshop on Formal and Computational Cryptography - FCC 2006, Jul 2006, Venice/Italy, 2006. 〈inria-00080673〉

Partager

Métriques

Consultations de la notice

309

Téléchargements de fichiers

146