Catherine Meadows  Home/Search
Context Related
| navy.mil/publicati...0meadowsdiscex.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: navy.mil/publicatio...CRYPTOindex (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidation. A number of specialized tools have been developed, and others have effectively demonstrated that existing general-purpose tools can also be applied to these problems with good results. However, with this better understanding of the field comes new problems that strain against the limits of the existing tools. In... (Update)
Cited by: More
Revisiting Liveness Properties in the Context of Secure Systems - Gärtner (2002) (Correct)
Modelling and Security Analysis of Authenticated Group Key.. - Pereira (2003) (Correct)
Inductive Verification of Smart Card Protocols - Bella (2000) (Correct)
Similar documents (at the sentence level): More
41.5%: Formal Methods for Cryptographic Protocol Analysis: Emerging.. - Meadows (2003) (Correct)
9.3%: A Formal Specification of Requirements for Payment.. - Meadows, Syverson (1998) (Correct)
8.1%: A Formal Specification of Requirements for Payment.. - Meadows, Syverson (1998) (Correct)
Active bibliography (related documents): More All
0.6: Invariant Generation Techniques in Cryptographic Protocol Analysis - Meadows (2000) (Correct)
0.6: What Makes a Cryptographic Protocol Secure? The Evolution of.. - Meadows (2003) (Correct)
0.4: The Logic of Authentication Protocols - Syverson, Cervesato (2001) (Correct)
Similar documents based on text: More All
0.3: Using a Declarative Language to Build an - Experimental Analysis Tool (2002) (Correct)
0.3: A Unification Algorithm for the Group Diffie-Hellman Protocol - Catherine Meadows Paliath (2002) (Correct)
0.2: A Framework for Denial of Service Analysis - Meadows (2000) (Correct)
Related documents from co-citation: More All
19: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
10: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
9: Extending formal cryptographic protocol analysis techniques for group protocols .. - Meadows - 2000
BibTeX entry: (Update)
C. Meadows. Open issues in formal methods for cryptographic protocol analysis. In Proceedings of DISCEX 2000, pages 237--250. IEEE Comp. Society Press, 2000. http://citeseer.ist.psu.edu/meadows00open.html More
@article{ meadows01open,
author = "Catherine Meadows",
title = "Open Issues in Formal Methods for Cryptographic Protocol Analysis",
journal = "Lecture Notes in Computer Science",
volume = "2052",
pages = "21--??",
year = "2001",
url = "citeseer.ist.psu.edu/meadows00open.html" }
Citations (may not include all citations):450 Using Encryption for Authentication in Large Networks of Com.. (context) - Needham, Schroeder - 1978
322 Breaking and fixing the NeedhamSchroeder public-key protocol.. - Lowe - 1996
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
184 Automated analysis of cryptographic protocols using MurOE - Mitchell, Mitchell et al. - 1997
134 The NRL Protocol Analyzer: An overview - Meadows - 1996
124 Internet security association and key management protocol - Maughan, Schertler et al. - 1998
104 A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999
90 Strand spaces: Why is a security protocol correct (context) - Thayer, Jonathan et al. - 1998
89 The Interrogator: Protocol Security Analysis (context) - Millen, Clark et al. - 1987
87 Authentication and Authenticated Key Exchanges - Diffie, van Oorschot et al. - 1992
84 Crowds: Anonymity for web transactions - Reiter, Rubin - 1999
83 ACM Transactions in Computer Systems (context) - Burrows, Abadi et al. - 1990
69 Applying Formal Methods to the Analysis of a Key Management .. - Meadows - 1992
62 Onion routing for anonymous and private internet connections - Goldschlag, Reed et al. - 1999
58 The OAKLEY key determination protocol - Orman - 1998
55 Analyzing the Needham-Schroeder public-key protocol: A compa.. - Meadows - 1996
51 SKEME: A versatile secure key exchange mechanism for Interne.. - Krawczyk - 1996
49 A formal framework and evaluation method for network denial .. - Meadows - 1999
48 Mechanized proofs for a recursive authentication protocol - Paulson - 1997
47 Fail-stop protocols: An approach to designing secure protoco.. - Gong, Syverson - 1998
46 Probabilistic polynomial-time equivalence and security analy.. - Lincoln, MItchell et al. - 1999
44 A model checker for authentication protocols (context) - Marrero - 1997
43 Honest ideals on strand spaces (context) - Thayer, Herzong et al. - 1998
40 On Message Integrity in Cryptographic Protocols (context) - Stubblebine, Gligor - 1992
38 A Logical Language for Specifying Cryptographic Protocol Req.. - Syverson, Meadows - 1993
37 the security of multi-party ping-pong protocols - Even, Goldreich - 1983
37 A model for secure protocols and their composition - Heintze, Tygar - 1996
35 Analysis of the Internet Key Exchange protocol using the NRL.. - Meadows - 1999
34 Group principals and the formalization of anonymity - Syverson, Stubblebine - 1999
34 the Security of Ping-Pong Protocols (context) - Dolev, Even et al. - 1982
27 Using the ASTRAL model checker for cryptographic protocol an.. - Dang, Kemmerer - 1997
25 CAPSL: Common Authentication Protocol Specification Language (context) - Millen - 1997
25 Mixed strand spaces (context) - Thayer, Herzog et al. - 1999
18 CVS: A compiler for the analysis of cryptographic protocols - Durante, Focardi et al. - 1999
17 Using a PVS embedding of CSP to verify authentication protoc.. - Dutertre, Schneider - 1997
13 Using Formal Methods to Analyze Encryption Protocols (context) - Kemmerer - 1989
11 and a recursive authentication protocol (context) - Bryans, Schneider et al. - 1997
11 Efficient infinite-state analysis of security protocols - Huima - 1999
10 An Automatic Search for Security Flaws in Key Management Sch.. (context) - Longley, Rigby - 1992
9 A system for the specification and verification of key manag.. (context) - Meadows - 1991
6 Formal characterization and automated analysis of known-pair.. - Stubblebine, Meadows
5 Capacity estimation and auditability of network covert chann.. (context) - Venkatraman, Newman-Wolfe - 1995
5 Fixing a security flaw in IKE protocols (context) - Zhou - 1999
5 The private communication technology protocol (context) - Benaloh, Lampson et al. - 1995
5 Evaluating and improving protocol analysis by automatic proo.. (context) - Brackin - 1998
4 Formalization and proof of secrecy properties - Volpano - 1999
4 Athena: An automatic checker for security protocol analysis (context) - Song - 1999
2 Workshop on Formal Methods and Security Protocols (context) - Stoller, on et al. - 1999
2 A security evaluation of IPSec (context) - Ferguson, Schneier
2 A formal specification of requirements for payment in the SE.. (context) - Meadows, Syverson - 1998
2 Secure adaptive dynamic traffic masking (context) - Timmerman - 1999
1 Paradigm shifts in protocol analysis (context) - Pancho - 1999
1 Managing trust in information systems (context) - Blaze, Feigenbaum et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://chacs.nrl.navy.mil/publications/CHACS/CRYPTOindex.html): More
The NRL Protocol Analyzer: An Overview - Meadows (1996) (Correct)
A Formal Framework and Evaluation Method for Network Denial of.. - Meadows (1999) (Correct)
Tradeoffs in Secure System Development: An Outline - Meadows (1994) (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