Ben Donovan, Paul Norris, Gavin Lowe  Home/Search
Context Related
| mcs.le.ac.uk/~gl7/Security/P...prots.ps mcs.le.ac.uk/~glowe/Security...prots.ps web.comlab.ox.ac.uk/oucl/wor...prots.ps 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: mcs.le.ac.uk/~gl7/Securit...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we describe the analysis of a library of fifty security protocols using FDR, a model checker for the process algebra CSP, and Casper, a compiler that produces the CSP descriptions from a more concise description. We succeed in finding nearly all of the attacks previously reported upon these protocols; in addition, we identify several new attacks. 1 Introduction In recent years, model checking has proved to be a very successful way for analyzing security protocols. In this paper... (Update)
Cited by: More
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
Formal Methods for Security Protocols: Three Examples of.. - Cremers, Mauw, de Vink (Correct)
Towards a Metalogic for Security Protocol Analysis.. - Caleiro, Vigano, Basin (Correct)
Active bibliography (related documents): More All
0.3: A Hierarchy of Authentication Specifications - Lowe (1996) (Correct)
0.2: The Logic of Authentication Protocols - Syverson, Cervesato (2001) (Correct)
0.2: Casper: A Compiler for the Analysis of Security Protocols - Lowe (1998) (Correct)
Similar documents based on text: More All
0.7: How to Prevent Type Flaw Attacks on Security Protocols - Heather, Lowe, Schneider (2000) (Correct)
0.5: Analysing Protocols Subject to Guessing Attacks - Lowe (2001) (Correct)
0.4: Using CSP to detect Insertion and Evasion Possibilities.. - Rohrmair, Lowe (2002) (Correct)
Related documents from co-citation: More All
12: Proving security protocols with model checkers by data independence techniques - Roscoe - 1998
11: Strand spaces: Why is a security protocol correct (context) - Thayer, Jonathan et al. - 1998
11: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
BibTeX entry: (Update)
Ben Donovan, Paul Norris, and Gavin Lowe. Analyzing a library of security protocols using Casper and FDR. In Workshop on Formal Methods and Security Protocols, July 1999. http://citeseer.ist.psu.edu/donovan99analyzing.html More
@misc{ donovan99analyzing,
author = "B. Donovan and P. Norris and G. Lowe",
title = "Analyzing a library of security protocols using Casper and FDR",
text = "Ben Donovan, Paul Norris, and Gavin Lowe. Analyzing a library of security
protocols using Casper and FDR. In Workshop on Formal Methods and Security
Protocols, July 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/donovan99analyzing.html" }
Citations (may not include all citations):322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
195 The Theory and Practice of Concurrency (context) - Roscoe - 1997
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1994
54 Using CSP to detect errors in the TMN protocol - Lowe, Roscoe - 1997
50 A survey of authentication protocol literature: Version - Clark, Jacob - 1997
46 Some new attacks upon security protocols - Lowe - 1996
43 Honest ideals on strand spaces (context) - Fabrega, Herzog et al. - 1998
10 Two attacks on Neuman-Stubblebine authentication protocols (context) - Hwang, Lee et al. - 1995
5 World Wide Web home page at URL http://www (context) - Lowe, for et al. - 1998
5 Evaluating and improving protocol analysis by automatic proo.. (context) - Brackin - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.mcs.le.ac.uk/~gl7/Security/Papers/index.html):
Defining Information Flow - Lowe (1999) (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