Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2003

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

Résumé

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.

Domaines

Cryptographie et sécurité [cs.CR]

Mathieu Turuani  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00103935

Soumis le : jeudi 5 octobre 2006-15:15:13

Dernière modification le : jeudi 1 février 2024-10:06:03

Fichier non déposé

Dates et versions

inria-00103935 , version 1 (05-10-2006)

Identifiants

  • HAL Id : inria-00103935 , version 1

Citer

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, pp.124-135. ⟨inria-00103935⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA UNIV-FCOMTE UNIV-BM IRISA FEMTO-ST UNIV-BM-THESE UNIV-LORRAINE INRIA2 LORIA LORIA-FM UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
152 Consultations
0 Téléchargements

Partager

More