Catherine Meadows  Home/Search
Context Related
| navy.mil/ITD/5540/...1992meadowsjcs.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/ITD/5540/p...CRYPTOindex (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we develop methods for analyzing key management and authentication protocols using techniques developed for the solutions of equations in a term rewriting system. In particular, we describe a model of a class of protocols and possible attacks on those protocols as term rewriting systems, and we also describe a software tool based on a narrowing algorithm that can be used in the analysis of such protocols. We formally model a protocol and describe the results of using these... (Update)
Cited by: More
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (Correct)
Weaknesses in EHA Authentication and Key Distribution Protocol - Stanek, Olejar (1999) (Correct)
Universally Composable Symbolic Analysis of Cryptographic.. - Canetti, Herzog (2005) (Correct)
Active bibliography (related documents): More All
1.7: Formal Methods for the Analysis of Authentication Protocols - Rubin, Honeyman (1993) (Correct)
0.8: Formal Verification of Cryptographic Protocols: A Survey - Meadows (1995) (Correct)
0.6: Current Approaches to Authentication in Wireless and.. - Schäfer, Festag, Karl (Correct)
Similar documents based on text: More All
0.4: Bauer-Berson-Feiertag attack revisited - Shin, Lee (2002) (Correct)
0.1: Analysis of Cryptographic Protocols using Logics of Belief: an.. - Monniaux (2001) (Correct)
0.0: Letters, Volume 35, Issue 13, 1999, Pages 1072-1073 - Ssg Shieh Shiuh-Pyng (Correct)
Related documents from co-citation: More All
29: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
28: The interrogator: Protocol security analysis (context) - Millen, Clark et al. - 1987
25: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
BibTeX entry: (Update)
C. Meadows. Applying formal methods to the analysis of a key management protocol. Journal of Computer Security, 1(1):5--36, 1992. http://citeseer.ist.psu.edu/meadows92applying.html More
@article{ meadows92applying,
author = "Catherine Meadows",
title = "Applying Formal Methods to the Analysis of a Key Management Protocol",
journal = "Journal of Computer Security",
volume = "1",
number = "1",
year = "1992",
url = "citeseer.ist.psu.edu/meadows92applying.html" }
Citations (may not include all citations):450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978 ACM DBLP
384 Simple word problems in universal algebras (context) - Knuth, Bendix - 1970
363 Programming in Prolog (context) - Clocksin, Mellish - 1984 ACM
317 IEEE Transactions in Information Theory (context) - Dolev, Yao et al. - 1983
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981 ACM DBLP
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
140 Reasoning about belief in cryptographic protocols - Gong, Needham et al. - 1990 DBLP
118 The Directory-Authentication Framework (context) - Draft - 1987
89 The Interrogator: Protocol security analysis (context) - Millen, Clark et al. - 1987 ACM DBLP
76 Equations and rewrite rules: A survey (context) - Huet, Oppen - 1980 ACM
69 Applying formal methods to the analysis of a key management .. - Meadows - 1990 DBLP
65 Automated theorem-proving for theories with simplifiers (context) - Slagle - 1974
47 Protocol failures in cryptosystems (context) - Moore - 1988
41 The use of logic in the analysis of cryptographic protocols (context) - Syverson - 1991
32 A logic of communication in a hostile environment (context) - Bieber - 1990
26 Using narrowing in the analysis of key management protocols (context) - Meadows - 1989 DBLP
24 An axiomatic basis of trust in distributed systems (context) - Rangan - 1988
19 A key distribution protocol using event markers (context) - Bauer, Berson et al. - 1983 ACM DBLP
17 A logic of knowledge and belief for reasoning about computer.. (context) - Moser - 1989 DBLP
17 NARROWER: A new algorithm for unification and its applicatio.. (context) - Rety, Kirchner et al. - 1985
15 ACM Operating Systems Review (context) - Nesset, of et al. - 1990
13 Using formal methods to analyze encryption protocols (context) - Kemmerer - 1989
13 Formal semantics for logics of cryptographic protocols (context) - Syverson - 1990
13 Unification in combinations of collapse-free regular theorie.. (context) - Yelick - 1987 ACM DBLP
9 A system for the specification and verification of key manag.. (context) - Meadows - 1991 DBLP
7 Secure communication in internet environments: A hierarchica.. (context) - Lu, Sundareshan - 1989
7 broadcast a secret (context) - Simmons, selectively - 1985
7 A key management scheme for end-to-end encryption and a form.. (context) - Kasami, Yamamura et al. - 1982
7 the security of ping-pong protocols when implemented using t.. (context) - Even, Goldreich et al. - 1985
6 Formal verification of a secure network with end-to-end encr.. (context) - Britton - 1984 DBLP
5 A software protection scheme (context) - Purdy, Simmons et al. - 1982
4 A logic for the analysis of cryptographic protocols (context) - Syverson - 1990
3 Use of expert systems in the analysis of key management syst.. (context) - Longley, Rigby - 1989
3 Formal specification of a secure distributed system (context) - Viradharajan, Black - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.itd.nrl.navy.mil/ITD/5540/publications/CHACS/CRYPTOindex.html): More
A Formal Framework and Evaluation Method for Network Denial of.. - Meadows (1999) (Correct)
The Role of Trust in Information Integrity Protocols - Simmons Catherine (1995) (Correct)
A Logical Language for Specifying Cryptographic Protocol.. - Syverson, Meadows (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