Y. Chevalier, R. Kusters, M. Rusinowitch, and M. Turuani. Deciding the Security of Protocols with Di#e-Hellman Exponentiation and Products in Exponents. In FSTTCS 2003: Foundations of Software Technology and Theoretical Computer Science --- 23rd Conference, Lecture Notes in Computer Science. Springer-Verlag, 2003. To appear. 10 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Computationally Sound Verification of Security Protocols.. - Lakhnech, Mazare (2005) (Correct)
No context found.
Y. Chevalier, R. Kusters, M. Rusinowitch, and M. Turuani. Deciding the Security of Protocols with Di#e-Hellman Exponentiation and Products in Exponents. In FSTTCS 2003: Foundations of Software Technology and Theoretical Computer Science --- 23rd Conference, Lecture Notes in Computer Science. Springer-Verlag, 2003. To appear. 10
Random polynomial-time attacks and Dolev-Yao models - Baudet (2004) (Correct)
No context found.
Y. Chevalier, R. Kusters, M. Rusinowitch, and M. Turuani. Deciding the security of protocols with Di#e-Hellman exponentiation and products in exponents. In Proc. 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FST-- TCS), volume 2914 of Lecture Notes in Computer Science, pages 124--135, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC