| Alternate document: Details Formal Specification and Analysis of the Group Domain of Intrepretation Protocol Using NPATRL and the NRL Protocol Analyzer (03) |
Catherine Meadows  Home/Search
Context Related
| navy.mil/publicati...3meadowsissues.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 over twenty years, and recently has been showing signs of new maturity and consolidation. Not only have a number of specialized tools been developed, and general-purpose ones been adapted, but people have begun applying these tools to realistic protocols, in many cases supplying feedback to designers that can be used to improve the protocol's security. In this paper we will describe some of the ongoing... (Update)
Cited by: More
Attacking Group Protocols - Steel, BUndy (2005) (Correct)
Modelling and Security Analysis of Authenticated Group Key.. - Pereira (2003) (Correct)
Computational Soundness for Standard Assumptions of Formal.. - Herzog (2004) (Correct)
Similar documents (at the sentence level):
39.1%: Open Issues in Formal Methods for Cryptographic Protocol Analysis - Meadows (2000) (Correct)
Active bibliography (related documents): More All
0.8: A Procedure for Verifying Security Against Type Confusion.. - Catherine Meadows Code (2003) (Correct)
0.7: The Logic of Authentication Protocols - Syverson, Cervesato (2001) (Correct)
0.7: Identifying Potential Type Confusion in Authenticated Messages - Catherine Meadows Code (2002) (Correct)
Similar documents based on text: More All
0.2: Formal Requirements for Key Distribution Protocols - Syverson, Meadows (1995) (Correct)
0.2: What Makes a Cryptographic Protocol Secure? The Evolution of.. - Meadows (2003) (Correct)
0.2: Formal Verification of Cryptographic Protocols: A Survey - Meadows (1995) (Correct)
Related documents from co-citation: More All
3: The inductive approach to verifying cryptographic protocols - Paulson - 1998
2: IETF personal draft draft-josefsson-pppext-eap-tls-eap (context) - Andersson, Josefsson et al. - 2002
2: A probabilistic polynomialtime calculus for analysis of cryptographic protocols - Mitchell, Ramanathan et al. - 2001
BibTeX entry: (Update)
Catherine Meadows. Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE Journal on Selected Areas in Communications, 21(1):44--54, January 2003. http://citeseer.ist.psu.edu/meadows03formal.html More
@misc{ meadows03formal,
author = "C. Meadows",
title = "Formal methods for cryptographic protocol analysis: emerging issues and
trends",
text = "Catherine Meadows. Formal methods for cryptographic protocol analysis:
emerging issues and trends. IEEE Journal on Selected Areas in Communications,
21(1):44--54, January 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/meadows03formal.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 Needham-Schroeder public-key protoco.. - 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
164 ACM Transactions in Computer Systems (context) - Burrows, Abadi et al. - 1990
158 Secrecy by typing in security protocols - Abadi - 1999
104 A metanotation for protocol analysis - Cervesato, Durgin et al. - 1999
99 Modelling and verifying key-exchange protocols using CSP and.. - Roscoe - 1995
90 Strand spaces: Why is a security protocol correct (context) - Fabrega, Herzog et al. - 1998
89 The Interrogator: protocol security analysis (context) - Millen, Clark et al. - 1987
84 Crowds: Anonymity for web transactions - Reiter, Rubin - 1999
78 On unifying some cryptographic protocol logics - Syverson, van Oorschot - 1994
76 the computational soundness of formal encryption (context) - Abadi, Rogaway et al. - 2002
75 Towards a completeness results for model checking security p.. - Lowe - 1999
74 Photuris: Session-key management protocol (context) - Karn, Simpson - 1999
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
54 Finite-state analysis of SSL - Mitchell, Shmatikov et al. - 1998
54 Authenticity by typing in security protocols - Gordon, Jeffrey - 2001
50 the reachability problem in cryptographic protocols - Amadio, Lugiez - 2000
49 A formal framework and evaluation method for network denial .. - Meadows - 1999
48 Mechanized proofs for a recursive authentication protocol - Paulson - 1997
47 Inductive analysis of the Internet protocol TLS - Paulson - 1999
47 Fail-stop protocols: An approach to designing secure protoco.. - Gong, Syverson - 1998
47 Constraint solving for bounded-process cryptographic protoco.. - Millen, Shmatikov - 2001
47 Efficient authentication and signing of multicast streams ov.. - Perrig, Canetti et al. - 2000
46 Probabilistic polynomial-time equivalence and security analy.. - Lincoln, MItchell et al. - 1999
44 A model checker for authentication protocols (context) - Marrero - 1997
40 On message integrity in cryptographic protocols (context) - Stubblebine, Gligor - 1992
39 Kerberos version iv: inductive analysis of the secrecy goal - Bella, Paulson - 1998
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
35 Protocol insecurity with finite number of sessions is NP-com.. - Rusinowitch, Turuani - 2001
34 Group principals and the formalization of anonymity - Syverson, Stubblebine - 1999
34 the Security of Ping-Pong Protocols (context) - Dolev, Even et al. - 1982
32 Open issues in formal methods for cryptographic protocol ana.. - Meadows - 2000
30 The CAPSL integrated protocol environment - Denker, Millen et al. - 2000
30 Computing symbolic models for verifying cryptographic protoc.. - Fiore, Abadi - 2001
29 The internet key exchange (IKE). RFC 2409, Internet Engineer.. (context) - Harkins, Carrel - 1998
29 A security analysis of the Cliques protocols suites - Pereira, Quisquater - 2001
28 Inductive methods and contract-signing protocols - Chadha, Kanovich et al. - 2001
27 Using the ASTRAL model checker for cryptographic protocol an.. - Dang, Kemmerer - 1997
25 Finite-state analysis of two contract-signing protocols - Shmatikov, Mitchell - 2000
25 Mixed strand spaces (context) - Fabegra, Herzog et al. - 1999
25 CAPSL: Common Authentication Protocol Specification Language (context) - Millen - 1997
23 Towards the formal verification of electronic commerce proto.. - Bolignano - 1997
23 Protocol-independent secrecy - Millen, Ruess - 2000
22 CSP and anonymity - Schneider, Spirodopoulos - 1996
18 CVS: A compiler for the analysis of cryptographic protocols - Durante, Focardi et al. - 1999
18 Probabilistic analysis of anonymity - Shmatikov - 2002
17 TAPS:a first-order verifier for cryptographic protocols (context) - Cohen - 2000
17 Using a PVS embedding of CSP to verify authentication protoc.. - Dutertre, Schneider - 1997
16 Extending formal cryptographic protocol analysis techniques .. - Meadows - 2000
15 Towards automatic verification of authentication protocols o.. - Heather, Schneider - 2000
15 Georgia Institute of Technology (context) - Merritt, Ph et al. - 1983
13 Extending cryptographic logics of belief to key agreement pr.. (context) - van Oorschot - 1993
13 Protocol independence through disjoint encryption - Guttman, Fabrega - 2000
13 A bound on attacks on authentication protocols - Stoller - 1999
13 Using formal methods to analyze encryption protocols (context) - Kemmerer - 1989
11 and a recursive authentication protocol (context) - Bryans, Schneider et al. - 1997
11 Formal verification of cardholder registration in SET - Bella, Massacci et al. - 2000
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 Formalizing GDOI group key management requirements in NPATRL - Meadows, Syverson et al. - 2001
7 A unification algorithm for the group diffie-hellman protoco.. (context) - Meadows, Narendran - 2002
7 Athena: a novel approach to efficient automatic security pro.. - Song, Berezin et al. - 2001
6 Multiprotocol attacks and the public key infrastructure (context) - Alves-Foss - 1998
6 Formal characterization and automated analysis of known-pair.. - Stubblebine, Meadows - 2000
6 Rational exchange -- a formal model based on game theory (context) - Buttyan, Hubaux - 2001
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 Evaluating and improving protocol analysis by automatic proo.. (context) - Brackin - 1998
5 The private communication technology protocol (context) - Benaloh, Lampson et al. - 1995
4 Guarded transitions in evolving specifications - Pavlovic, Smith - 2002
3 Provably insecure mutual authentication protocols: The two p.. (context) - Alves-Foss - 1999
3 Chosen interactions and the chosen proto- col attack (context) - Kelsey, Schneier - 1997
2 A security evaluation of IPSec (context) - Ferguson, Schneier
2 Secure adaptive dynamic traffic masking (context) - Timmerman - 1999
1 Partial order reductions for security protocol verification (context) - Clark, Jha et al. - 2000
1 An analysis of the degredation of anonymous protocols (context) - Wright, Adler et al. - 2002
1 A game-based verification of non-repuditaion and fair exchan.. (context) - Kremer, Raskin - 2001
1 return addresses and digital signatures (context) - Chaum, mail - 1981
1 A formal analysis of some properties of Kerberos V using MSR (context) - Butler, Cervesato et al. - 2002
http://www.setco.org/set
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