Gavin Lowe  Home/Search
Context Related
| mcs.le.ac.uk/~gl7/S...completenessEA.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/Publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Model checking approaches to the analysis of security protocols have proved remarkably successful. The basic approach is to produce a model of a small system running the protocol, together with a model of the most general intruder who can interact with the protocol, and then to use a state exploration tool to search for attacks. This has led to a number of new attack upon protocols being discovered. However, if no attack is found, this only tells us that there is no attack upon the small system ... (Update)
Cited by: More
Deciding knowledge properties of security protocols - Ramanujam, Suresh (Correct)
Logics for Authorizations and Security - Piero Bonatti And (2003) (Correct)
Feasibility of Multi-Protocol Attacks - Cremers (Correct)
Similar documents (at the sentence level):
30.0%: Towards a Completeness Result for Model Checking of Security.. - Lowe (1999) (Correct)
Active bibliography (related documents): More All
0.3: Security Protocols over open networks and.. - Gritzalis.. (1999) (Correct)
0.3: Data Independence in the Model Checking of Security Protocols - Broadfoot (2001) (Correct)
0.2: A Bound on Attacks on Payment Protocols - Stoller (2000) (Correct)
Similar documents based on text: More All
0.4: A Decidable Subclass of Unbounded Security Protocols - Ramanujam, Suresh (2003) (Correct)
0.3: How to Prevent Type Flaw Attacks on Security Protocols - Heather, Lowe, Schneider (2000) (Correct)
0.3: Secrecy Types for Asymmetric Communication - Abadi, Blanchet (2001) (Correct)
Related documents from co-citation: More All
40: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
39: Automated analysis of cryptographic protocols using MurOE - Mitchell, Mitchell et al. - 1997
31: Proving security protocols with model checkers by data independence techniques - Roscoe - 1998
BibTeX entry: (Update)
Gavin Lowe. Towards a completeness result for model checking of security protocols. Technical Report 1998/6, Dept. of Mathematics and Computer Science, University of Leicester, 1998. http://citeseer.ist.psu.edu/article/lowe98towards.html More
@inproceedings{ lowe98towards,
author = "G. Lowe",
title = "Towards a Completeness Result for Model Checking of Security Protocols",
booktitle = "{PCSFW}: Proceedings of The 11th Computer Security Foundations Workshop",
publisher = "IEEE Computer Society Press",
year = "1998",
url = "citeseer.ist.psu.edu/article/lowe98towards.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996 ACM DBLP
302 A logic of authentication - Burrows, Abadi et al. - 1989 ACM DBLP
195 The Theory and Practice of Concurrency (context) - Roscoe - 1997
184 Automated analysis of cryptographic protocols using MurOE - Mitchell, Mitchell et al. - 1997
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1994 ACM DBLP
134 The NRL Protocol Analyzer: An overview - Meadows - 1996 DBLP
121 Three systems for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
110 Casper: A compiler for the analysis of security protocols - Lowe - 1997
93 An attack on the Needham-Schroeder publickey authentication .. - Lowe - 1995
89 The interrogator: Protocol security analysis (context) - Millen, Clark et al. - 1987 ACM DBLP
75 Towards a completeness result for model checking of security.. - Lowe - 1998
68 Lowexponent RSA with related messages - Coppersmith, Frankin et al. - 1996
67 A hierarchy of authentication specifications - Lowe - 1997
63 Operating Systems Review (context) - Otway, Rees et al. - 1987
54 Using CSP to detect errors in the TMN protocol - Lowe, Roscoe - 1997 ACM DBLP
44 A model checker for authentication protocols (context) - Marrero, Clarke et al. - 1997
40 Key distribution protocol for digital mobile communication s.. (context) - Tatebayashi, Matsuzaki et al. - 1990 ACM DBLP
28 Failures-Divergence Refinement---FDR 2 User Manual (context) - Systems, Ltd - 1997
27 Using the ASTRAL model checker for cryptographic protocol an.. - Dang, Kemmerer - 1997
17 a limitation of BAN logic - Boyd, Mao - 1993
6 Simplifying transformations for security protocols (context) - Hui, Lowe - 1998
5 Honest ideals on strand spaces (context) - Fabrega, Herzog et al. - 1998 ACM DBLP
2 Digital signatures with encryption: Fact and fiction (context) - Kozlowski, Smolka - 1997
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/Publications.html): More
Representing Nondeterminism And Probabilistic Behaviour In.. - Lowe (1993) (Correct)
Some New Attacks upon Security Protocols - Lowe (1996) (Correct)
Safe Simplifying Transformations for Security Protocols or Not.. - Hui, 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