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 Access content directly
Conference Papers Year : 2003

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

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00103935 , version 1

Cite

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⟩
142 View
0 Download

Share

Gmail Facebook X LinkedIn More