Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents

Yannick Chevalier 1 Ralf Küsters 2 Michaël Rusinowitch 1 Mathieu Turuani 2
1 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 : We present an NP decision procedure for the formal analysis of protocols in presence of modular exponentiation with products allowed in exponents. The number of factors that may appear in the products is unlimited. We illustrate that our model is powerful enough to uncover known attacks on the A-GDH.2 protocol suite.
Type de document :
Communication dans un congrès
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Dec 2003, Mumbai, India, Springer, 2914, pp.124-135, 2003, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00103935
Contributeur : Mathieu Turuani <>
Soumis le : jeudi 5 octobre 2006 - 15:15:13
Dernière modification le : vendredi 6 juillet 2018 - 15:06:09

Identifiants

  • HAL Id : inria-00103935, version 1

Citation

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani. Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents. FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Dec 2003, Mumbai, India, Springer, 2914, pp.124-135, 2003, Lecture Notes in Computer Science. 〈inria-00103935〉

Partager

Métriques

Consultations de la notice

248