Gavin Lowe  Home/Search
Context Related
| cert.dfn.de/pub/docs/ne...attacks.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: fermivista.math...ftp.cert.dfn.de (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Many security protocols have appeared in the literature, with aims such as agreeing upon a cryptographic key, or achieving authentication. However, many of these have been shown to be flawed. In this paper we present a number of new attacks upon security protocols, and discuss ways in which we may avoid designing incorrect protocols in the future. 1. Introduction Many security protocols have appeared in the literature; these have various aims, such as agreeing upon a cryptographic key, or... (Update)
Cited by: More
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
Defining Authentication in a Trace Model - Cremers, Mauw, de Vink (2003) (Correct)
Inductive Verification of Cryptographic Protocols - Bella (2000) (Correct)
Active bibliography (related documents): More All
1.5: Some New Attacks upon Security Protocols - Lowe (1996) (Correct)
0.9: A Hierarchy of Authentication Specifications - Lowe (1996) (Correct)
0.3: A Family of Attacks upon Authentication Protocols - Lowe (1997) (Correct)
Similar documents based on text: More All
0.4: Analysing a Stream Authentication Protocol using Model Checking - Broadfoot, Lowe (2002) (Correct)
0.3: Analysing Protocols Subject to Guessing Attacks - Lowe (2003) (Correct)
0.2: Refinement Of Complex Systems: A Case Study - Lowe, Zedan (1995) (Correct)
Related documents from co-citation: More All
22: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
21: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
15: Proving properties of security protocols by induction - Paulson - 1997
BibTeX entry: (Update)
Gavin Lowe. Some new attacks upon security protocols. In Proceedings of the 9th IEEE Computer Security Foundations Workshop, pages 162--169. IEEE Computer Society, June 1996. http://citeseer.ist.psu.edu/lowe96some.html More
@inproceedings{ lowe96some,
author = "Lowe",
title = "Some New Attacks upon Security Protocols",
booktitle = "{PCSFW}: Proceedings of The 9th Computer Security Foundations Workshop",
publisher = "IEEE Computer Society Press",
year = "1996",
url = "citeseer.ist.psu.edu/lowe96some.html" }
Citations (may not include all citations):704 Applied Cryptography (context) - Schneier - 1994
450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
317 Kerberos: An authentication service for open network systems - Steiner, Neuman et al. - 1988
302 A logic of authentication - Burrows, Abadi et al. - 1989
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1994
121 Three systems for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
99 Modelling and verifying key-exchange protocols using CSP and.. - Roscoe - 1995
93 An attack on the Needham-Schroeder publickey authentication .. - Lowe - 1995
89 The interrogator: Protocol security analysis (context) - Millen, Clark et al. - 1987
79 Limitations of the Kerberos authentication system - Bellovin, Merritt - 1990
64 Codes and Cryptography (context) - Diffie, van Oorschot et al. - 1992
56 Systematic design of two-party authentication protocols - Bird, Gopal et al. - 1991
54 Integrating security in a large distributed system (context) - Satyanarayanan - 1989
51 Programming satan's computer - Anderson, Needham - 1995
46 Systematic design of a family of attack-resistant authentica.. - Bird, Gopal et al. - 1993
41 A note on the use of timestamps as nonces - Neuman, Stubblebine - 1993
41 A taxonomy of replay attacks - Syverson - 1994
38 What do we mean by entity authentication (context) - Gollmann - 1996
26 On key distribution protocols for repeated authentication - Syverson - 1993
26 Roles in cryptographic protocols (context) - Snekkenes - 1992
25 Intensional specifications of security protocols - Roscoe - 1996
24 Project Athena Technical Plan Section E (context) - Miller, Neumann et al. - 1987
14 A noncebased protocol for multiple authentications (context) - Kehne, Schonwalder et al. - 1992
12 Information Processing Letters (context) - Clark, Jacob et al. - 1995
10 AS--- the authentication system in WIDE Internet (context) - Hwang, Chen et al. - 1995
10 Two attacks on Neuman-Stubblebine authentication protocols (context) - Hwang, Lee et al. - 1995
9 Design and implementation of an authentication system in WID.. (context) - Yamaguchi, Okayama et al. - 1990
5 A lesson on authenticated protocol design (context) - Woo, Lam - 1994
2 Non-repeatability is not enough (context) - Clark, Jacob - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cert.dfn.de.html): More
Directed Acyclic Graphs, One-way Functions and Digital.. - Bleichenbacher, Maurer (Correct)
The Magic Words Are Squeamish Ossifrage (Extended Abstract) - Atkins, Graff, Lenstra.. (Correct)
Some Remarks on Protecting Weak Keys and Poorly-Chosen Secrets.. - Gene Tsudik (1993) (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