M. Backes and B. Pfitzmann. A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. Journal on Selected Areas in Communications, 22(10):2075--2086, 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Cryptographically Sound Security Proofs for - Basic And Public-Key Self-citation (Backes) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. Journal on Selected Areas in Communications, 22(10):2075--2086, 2004.
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) Self-citation (Backes) (Correct)
No context found.
Michael Backes and Birgit Pfitzmann. A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. IEEE Journal on Selected Areas in Communications, 22(10):2075.
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (2 citations) Self-citation (Backes Pfitzmann) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the NeedhamSchroeder -Lowe public-key protocol. Journal on Selected Areas in Communications, 22(10):2075--2086, 2004.
Limits of the Reactive Simulatability/UC of Dolev-Yao.. - Backes, Pfitzmann.. (2006) (3 citations) Self-citation (Backes Pfitzmann) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the NeedhamSchroeder -Lowe public-key protocol. Journal on Selected Areas in Communications, 22(10):2075--2086, 2004.
Limits of the Cryptographic Realization of Dolev-Yao-style XOR - Backes, Pfitzmann (2005) Self-citation (Backes Pfitzmann) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the NeedhamSchroeder -Lowe public-key protocol. IEEE Journal on Selected Areas in Communications, 22(10):2075--2086, 2004.
A Cryptographically Sound Dolev-Yao Style Security Proof of the.. - Backes (2004) Self-citation (Backes) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the NeedhamSchroeder -Lowe public-key protocol. In Proc. 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pages 1--12, 2003.
A Cryptographically Sound Security Proof of the.. - Backes, Pfitzmann (2003) (9 citations) Self-citation (Backes Pfitzmann) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the NeedhamSchroeder -Lowe public-key protocol. IACR Cryptology ePrint Archive 2003/121, June 2003. http://eprint.iacr.org/.
Low-level Ideal Signatures and General Integrity Idealization - Backes, Pfitzmann, Waidner (2004) (1 citation) Self-citation (Backes Pfitzmann) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the NeedhamSchroeder -Lowe public-key protocol. In Proc. 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pages 1--12, 2003.
Secure Asynchronous Reactive Systems - Backes, Pfitzmann, Waidner (2004) (7 citations) Self-citation (Backes Pfitzmann) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the NeedhamSchroeder -Lowe public-key protocol. In Proc. 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2003.
Symmetric Encryption in a Simulatable Dolev-Yao Style.. - Backes, Pfitzmann (2004) (14 citations) Self-citation (Backes Pfitzmann) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. In Proc. 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2003.
Guessing Attacks in the pi-calculus with a Computational.. - Chothia (2005) (Correct)
No context found.
Michael Backes and Birgit Pfitzmann. A cryptographically sound security proof of the needham-schroeder-lowe public-key protocol. Journal on Selected Areas in Communications, 22(10), 2004.
A Composable Cryptographic Library with Nested.. - Backes, Pfitzmann.. (2003) (23 citations) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. To appear in Proc. of 23rd Conference on foundations of software technology and theoretical computer science (FSTTCS). Preliminary version available from IACR Cryptology ePrint Archive 2003.
Universally Composable Symbolic Analysis of Cryptographic.. - Canetti, Herzog (2005) (7 citations) (Correct)
No context found.
Michael Backes and Birgit Pfitzmann. A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. IEEE Journal on Selected Areas in Communications, 2004. To appear.
Universally Composable Symbolic Analysis of Cryptographic.. - Canetti, Herzog (2005) (7 citations) (Correct)
No context found.
Michael Backes and Birgit Pfitzmann. A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. In Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science -- FSTTCS, volume 2914 of Lecture Notes in Computer Science, pages 140--152. Springer-Verlag, December 2003.
Towards Provable Security for Ad Hoc Routing Protocols - Buttyan, Vajda (2004) (Correct)
No context found.
M. Backes and B. Pfitzmann. A Cryptographically Sound Security Proof of the NeedhamSchroeder -Lowe Public-Key Protocol. to appear in IEEE Journal on Selected Areas in Communication.
Random polynomial-time attacks and Dolev-Yao models - Baudet (2004) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the NeedhamSchroeder -Lowe public-key protocol. In Proc. 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FST--TCS), volume 2914 of Lecture Notes in Computer Science, pages 1--12, 2003.
Random polynomial-time attacks and Dolev-Yao models - Baudet (2003) (Correct)
No context found.
Michael Backes and Birgit P tzmann. A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. In Proc. 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS). Indian Association for Research in Computing Science (IARCS), 2003. To appear.
A Composable Cryptographic Library with Nested.. - Backes, Pfitzmann.. (2003) (23 citations) (Correct)
No context found.
M. Backes and B. Pfitzmann. A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. To appear in Proc. of 23rd Conference on foundations of software technology and theoretical computer science (FSTTCS). Preliminary version available from IACR Cryptology ePrint Archive 2003.
Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (2 citations) (Correct)
No context found.
M. Backes and B. P tzmann. A cryptographically sound security proof of the needhamschroeder -lowe public-key protocol. In 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Mumbai, India, December 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