Catherine Meadows  Home/Search
Context Related
Links: DBLP | navy.mil/ITD/5540/...owstoappearJLP.ps navy.mil/publicati...owstoappearJLP.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: this paper we give an overview of how the Analyzer works and describe its achievements so far. We also show how our use of the Prolog language benefited us in the design and implementation of the Analyzer. / 1. INTRODUCTION (Update)
Cited by: More
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
Formal Specification and Analysis of the Group - Domain Of Intrepretation (Correct)
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
Similar documents (at the sentence level):
35.6%: The NRL Protocol Analyzer: An Overview - Meadows (1996) (Correct)
Active bibliography (related documents): More All
0.5: A Logical Language for Specifying Cryptographic Protocol.. - Syverson, Meadows (1993) (Correct)
0.3: Formal Verification of Cryptographic Protocols: A Survey - Meadows (1995) (Correct)
0.2: The Logic of Authentication Protocols - Syverson, Cervesato (2001) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Computer System Intrusion Detection: A Survey - Bechard (1999) (Correct)
0.2: Dolev-Yao is no better than Machiavelli - Syverson, Meadows, Cervesato (2000) (Correct)
0.2: The MFPS XV Security Session - Meadows, Volpano (1999) (Correct)
Related documents from co-citation: More All
49: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
43: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
42: Automated analysis of cryptographic protocols using MurOE - Mitchell, Mitchell et al. - 1997
BibTeX entry: (Update)
Catherine Meadows. The NRL Protocol Analyzer: An overview. Journal of Logic Programming, 26(2):113--131, 1996. http://citeseer.ist.psu.edu/article/meadows96nrl.html More
@article{ meadows96nrl,
author = "Catherine Meadows",
title = "The {NRL} Protocol Analyzer: An Overview",
journal = "Journal of Logic Programming",
volume = "26",
number = "2",
pages = "113--131",
year = "1996",
url = "citeseer.ist.psu.edu/article/meadows96nrl.html" }
Citations (may not include all citations):428 IEEE Transactions in Information Theory (context) - Diffie, Hellman et al. - 1976
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981 ACM DBLP
121 Three Systems for Cryptographic Protocol Analysis (context) - Kemmerer, Meadows et al. - 1994
87 Authentication and Authenticated Key Exchanges - Diffie, van Oorschot et al. - 1992 ACM DBLP
69 Applying Formal Methods to the Analysis of a Key Management .. - Meadows - 1992 DBLP
53 Formal verification of cryptographic protocols: A survey - Meadows - 1994 DBLP
41 A Note on the Use of Timestamps as Nonces - Neuman, Stubblebine - 1993 ACM DBLP
38 A Logical Language for Specifying Cryptographic Protocol Req.. - Syverson, Meadows - 1993 ACM
35 and Roger Needham (context) - Burrows, Abadi - 1990
34 the Security of Ping-Pong Protocols (context) - Dolev, Even et al. - 1982
30 Privacy and Authentication for Wireless Local Area Networks - Aziz, Diffie - 1994
30 A System for the Specification and Analysis of Key Managemen.. (context) - Meadows - 1991
17 Formal requirements for key distribution protocols - Syverson, Meadows - 1994 DBLP
17 A formal language for cryptographic protocol requirements - Syverson, Meadows - 1995 ACM DBLP
7 Broadcast a Secret (context) - Simmons, Selectively - 1985
2 A Security Scheme for Resource Shoring Over a Network (context) - Burns, Mitchell - 1990
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