G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. Software - Concepts and Tools, 17:93--102, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
An Encapsulated Authentication Logic - For Reasoning About (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. Software - Concepts and Tools, 17:93--102, 1996.
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proc. of 19th IEEE Computer Security Foundations Workshop (CSFW'96), volume 1055 of Lecture Notes in Computer Science, pages 147--166. Springer-Verlag, 1996.
Deciding knowledge properties of security protocols - Ramanujam, Suresh (Correct)
No context found.
Gavin Lowe. Breaking and fixing the Needham-Schroeder public key protocol using FDR. In Proceedings of TACAS'96, volume 1055 of Lecture Notes in Computer Science, pages 147--166, 1996.
Searching for Shapes in Cryptographic Protocols - Doghmi, Guttman, Thayer (Correct)
No context found.
Gavin Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proceeedings of tacas, volume 1055 of Lecture Notes in Computer Science, pages 147--166. Springer Verlag, 1996.
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) (Correct)
No context found.
Gavin Lowe. Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. In Tiziana Margaria and Bernhard Ste#en, editors, Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, volume 1055 of LNCS, pages 147--166, Passau, Germany, March 1996. Springer-Verlag.
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) (Correct)
No context found.
Gavin Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proc. 2nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 1055 of Lecture Notes in Computer Science, pages 147--166. Springer, 1996.
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (353 citations) (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Tools and Algorithms for the Construction and Analysis of Systems, volume 1055 of Lecture Notes in Computer Science, pages 147--166. Springer-Verlag, 1996.
Authenticity by Typing for Security Protocols - Andrew Gordon Microsoft (2001) (42 citations) (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR. In T. Margaria and B. Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), volume 1055 of Lectures Notes in Computer Science, pages 147--166. Springer, 1996.
A Calculus for Cryptographic Protocols - Lecture Notes Andrew (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR. In T. Margaria and B. Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), volume 1055 of Lectures Notes in Computer Science, pages 147--166. Springer, 1996.
Theory Generation for Security Protocols - Kindred, Wing (1999) (4 citations) (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Tools and Algorithms for the Construction and Analysis of Systems, volume 1055. SpringerVerlag, March 1996. Lecture Notes in Computer Science.
Closing the Idealization Gap - With Theory Generation (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Tools and Algorithms for the Construction and Analysis of Systems, volume 1055. Springer-Verlag, March 1996. Lecture Notes in Computer Science.
Universita degli Studi di Pisa - Facolta Di Scienze (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 1055, pages 147--166. Springer-Verlag, Berlin Germany, 1996. http://citeseer.ist.psu.edu/lowe96breaking.html.
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (2 citations) (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proc. 2nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 1055 of Lecture Notes in Computer Science, pages 147--166. Springer, 1996.
A Computationally Sound Mechanized Prover for Security Protocols - Blanchet (2005) (3 citations) (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Tools and Algorithms for the Construction and Analysis of Systems, volume 1055 of Lecture Notes on Computer Science, pages 147--
Feasibility of Multi-Protocol Attacks - Cremers (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proceedings of TACAS, volume 1055, pages 147--166. Springer Verlag, 1996.
Attacking Group Protocols - Steel, BUndy (2005) (Correct)
No context found.
Lowe, G.: 1996, `Breaking and Fixing the Needham Schroeder Public-Key Protocol using FDR'. In: Proceedings of TACAS, Vol. 1055. pp. 147--166, Springer Verlag.
A Method for Symbolic Analysis of Security Protocols - Boreale, Buscemi (Correct)
No context found.
G. Lowe. Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. In Proc. of TACAS'96, LNCS 1055, Springer-Verlag, 1996.
Update Semantics of Security Protocols - Arjen Hommersom Arjenh (Correct)
No context found.
Lowe, G.: 1996, `Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR'. Software -- Concepts and Tools 17, 93--102.
A Syntactic Criterion for Injectivity of Authentication.. - Cremers, Mauw, de Vink (2005) (Correct)
No context found.
Lowe, G., Breaking and fixing the Needham-Schroeder public-key protocol using FDR, in: T. Margaria and B. Ste#en, editors, Proc. TACAS '96 (1996), pp. 147--166.
Defining Authentication in a Trace Model - Cremers, Mauw, de Vink (2003) (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 147--166. LNCS 1055, 1996.
Symbolic Analysis of Crypto-Protocols Based on Modular.. - Boreale, Buscemi (2003) (Correct)
No context found.
G. Lowe. Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. In Proc. of TACAS'96, LNCS 1055, Springer-Verlag, 1996.
Model Checking a Knowledge Exchange - Scenario Sieuwert Van (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FKR. In Tools and Algorithms for the Construction and Analysis of Systems (TACS), volume 1055 of LNCS, pages 147--166. Springer-Verlag, 1996.
Analysing the BKE-security protocol with μCRL - Groote, Mauw, Serebrenik (Correct)
No context found.
G. Lowe, Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, Springer-Verlag, March 1996.
Using Temporal Logics of Knowledge in the Formal.. - Dixon, Gago.. (2003) (1 citation) (Correct)
No context found.
G. Lowe. Breaking and Fixing the Needham-Schroeder Public-key Protocol Using csp and fdr. In T. Margaria and B. Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems: second international workshop, TACAS `96, volume 1055 of Lecture Notes in Computer Science, pages 147--166. Spinger, 1996.
Formal Methods for Security Protocols: Three Examples of.. - Cremers, Mauw, de Vink (Correct)
No context found.
G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proc. TACAS, pages 147--166. LNCS 1055, 1996.
First 50 documents Next 50
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