Michael Backes, Birgit Pfitzmann  Home/Search
Context Related
| ibm.com/~mbc/papers/BaPf_03NSL.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ibm.com/~mbc/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract cryptographic library, which is a provably secure abstraction of a real cryptographic library. Together with composition and integrity preservation theorems from the underlying model, this allows us to perform the actual proof effort in a deterministic setting corresponding to a slightly extended Dolev-Yao model. (Update)
Cited by: More
Cryptographically Sound Security Proofs for - Basic And Public-Key (Correct)
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) (Correct)
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (Correct)
Similar documents (at the sentence level): More
64.7%: A Cryptographically Sound Security Proof of the.. - Backes, Pfitzmann (2003) (Correct)
26.3%: A Cryptographically Sound Dolev-Yao Style Security Proof of the.. - Backes (2004) (Correct)
6.3%: A Composable Cryptographic Library with Nested.. - Backes, Pfitzmann.. (2003) (Correct)
Active bibliography (related documents): More All
0.2: Secure Asynchronous Reactive Systems - Backes, Pfitzmann, Waidner (2004) (Correct)
0.2: Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (Correct)
0.2: Formal Model of Basic Concepts - Adelsbach, (eds.) (1999) (Correct)
Similar documents based on text: More All
0.5: Relating Symbolic and Cryptographic Secrecy - Michael Backes Birgit (2004) (Correct)
0.5: Limits of the Cryptographic Realization of Dolev-Yao-style XOR - Backes, Pfitzmann (2005) (Correct)
0.4: Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (Correct)
Related documents from co-citation: More All
15: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
15: Formal eavesdropping and its computational interpretation - Abadi, urjens - 2000
14: A composable cryptographic library with nested operations - Backes, Pfitzmann et al. - 2003
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/article/backes03cryptographically.html More
@misc{ backes03cryptographically,
author = "M. Backes and B. tzmann",
title = "A cryptographically sound security proof of the needhamschroeder -lowe
public-key protocol",
text = "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.",
year = "2003",
url = "citeseer.ist.psu.edu/article/backes03cryptographically.html" }
Citations (may not include all citations):531 The knowledge complexity of interactive proof systems (context) - Goldwasser, Micali et al. - 1989
450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999
404 Journal of Computer and System Sciences (context) - Goldwasser, Micali - 1984
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
302 A logic for authentication - Burrows, Abadi et al. - 1990
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
260 Relations among notions of security for public-key encryptio.. (context) - Bellare, Desai et al. - 1998
189 Universally composable security: A new paradigm for cryptogr.. - Canetti - 2001
188 Entity authentication and key distribution (context) - Bellare, Rogaway
140 How to play any mental game -- or -- a completeness theorem .. (context) - Goldreich, Micali et al. - 1987
93 An attack on the Needham-Schroeder public-key authentication.. - Lowe - 1995
90 Strand spaces: Why is a security protocol correct (context) - Fabrega, Herzog et al. - 1998
76 the computational soundness of formal encryption (context) - Abadi, Rogaway et al. - 2002
74 A model for asynchronous reactive systems and its applicatio.. - Pfitzmann, Waidner - 2001
56 Formal eavesdropping and its computational interpretation - Abadi, Jurjens - 2001
55 Analyzing the Needham-Schroeder public key protocol: A compa.. - Meadows - 1996
47 Analyzing encryption protocols using formal verification tec.. (context) - Kemmerer - 1989
47 Verifying authentication protocols with CSP - Schneider - 1997
28 A universally composable cryptographic library - Backes, Pfitzmann et al. - 2003
26 Using narrowing in the analysis of key management protocols (context) - Meadows - 1989
24 The interrogator: A tool for cryptographic protocol security (context) - Millen - 1984
23 Cryptographically sound and machine-assisted verification of.. - Backes, Jacobi - 2003
19 A cryptographically sound security proof of the NeedhamSchro.. - Backes, Pfitzmann - 2003
12 Provably secure certified mail - Pfitzmann, Schunter et al. - 2000
4 A computational analysis of the Needham-Schroeder (context) - Warinschi - 2003
2 Operation Systems Review (context) - Syverson, look et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.zurich.ibm.com/~mbc/publications.html): More
Low-level Ideal Signatures and General Integrity Idealization - Backes, Pfitzmann, Waidner (2004) (Correct)
Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (Correct)
Intransitive Non-Interference for Cryptographic Purposes - Backes, Pfitzmann (2003) (Correct)
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