Catherine A. Meadows  Home/Search
Context Related
| navy.mil/ITD/5540/...owsasiacrypt94.ps navy.mil/publicati...owsasiacrypt94.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 give a survey of the state of the art in the application of formal methods to the analysis of cryptographic protocols. We attempt to outline some of the major threads of research in this area, and also to document some emerging trends. (Update)
Cited by: More
Modeling And Analyzing Security Protocols In Sam: - Case Study Zhengfan (Correct)
Automated Analysis of Some Security Mechanisms of SCEP - Martinelli, Petrocchi.. (Correct)
Attack Generation for NIDS Testing Using Natural Deduction - Shai Rubin Somesh (Correct)
Similar documents (at the sentence level):
5.8%: Formal Methods in the Design of Cryptographic Protocols (state of .. - Buttyan (1999) (Correct)
Active bibliography (related documents): More All
1.2: Formal Methods for the Analysis of Authentication Protocols - Rubin, Honeyman (1993) (Correct)
1.1: Current Approaches to Authentication in Wireless and.. - Schäfer, Festag, Karl (Correct)
1.0: A Method for Examining Cryptographic Protocols - Tjaden (1997) (Correct)
Similar documents based on text: More All
0.3: Formal Verification of Cryptographic Protocols using.. - Gnesi, Latella, Lenzini (Correct)
0.2: Using a Declarative Language to Build an - Experimental Analysis Tool (2002) (Correct)
0.2: Computer System Intrusion Detection: A Survey - Bechard (1999) (Correct)
Related documents from co-citation: More All
20: A Logic of Authentication - Burrows, Abadi et al. - 1990
18: Reasoning about Belief in Cryptographic Protocols - Gong, Needham et al. - 1990
17: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
BibTeX entry: (Update)
C. Meadows. Formal verification of cryptographic protocols: A survey. In Advances in Cryptology - Asiacrypt 94, vol. 917 of LNCS, pp. 133--150. Springer-Verlag, 1995. http://citeseer.ist.psu.edu/article/meadows95formal.html More
@inproceedings{ meadows94formal,
author = "Catherine A. Meadows",
title = "Formal Verification of Cryptographic Protocols: {A} Survey",
booktitle = "{ASIACRYPT}: Advances in Cryptology -- {ASIACRYPT}: International Conference on the Theory and Application of Cryptology",
publisher = "LNCS, Springer-Verlag",
year = "1994",
url = "citeseer.ist.psu.edu/article/meadows95formal.html" }
Citations (may not include all citations):450 Using Encryption for Authentication in Large Networks of Com.. (context) - Needham, Schroeder - 1978
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
188 Entity Authentication and Key Distribution (context) - Bellare, Rogaway - 1994
176 Timestamps in Key Distribution Protocols (context) - Denning, Sacco - 1981
140 Reasoning about belief in cryptographic protocols - Gong, Needham et al. - 1990
121 Three Systems for Cryptographic Protocol Analysis (context) - Kemmerer, Meadows et al. - 1994
118 The Directory-Authentication Framework (context) - Draft - 1987
89 The Interrogator: Protocol Security Analysis (context) - Millen, Clark et al. - 1987
87 Authentication and Authenticated Key Exchanges - Diffie, van Oorschot et al. - 1992
83 ACM Transactions in Computer Systems (context) - Burrows, Abadi et al. - 1990
80 A Semantic Model for Authentication Protocols - Woo, Lam - 1993
78 On Unifying Some Cryptographic Protocol Logics - Syverson, van Oorschot - 1994
69 Applying Formal Methods to the Analysis of a Key Management .. - Meadows - 1992
44 Reducing Risks From Poorly Chosen Keys - Lomas, Gong et al. - 1989
40 On Message Integrity in Cryptographic Protocols (context) - Stubblebine, Gligor - 1992
38 A Logical Language for Specifying Cryptographic Protocol Req.. - Syverson, Meadows - 1993
38 Trust relationships in secure systems: A distributed authent.. - Yahalom, Klein et al. - 1993
37 Adding Time to a Logic of Authentication - Syverson - 1993
37 A Model for Secure Protocols and Their Compositions - Heintze, Tygar - 1994
34 the Security of Ping-Pong Protocols (context) - Dolev, Even et al. - 1982
32 A Logic of Communication in a Hostile Environment (context) - Bieber - 1990
30 A System for the Specification and Analysis of Key Managemen.. (context) - Meadows - 1991
30 Privacy and Authentication for Wireless Local Area Networks - Aziz, Diffie - 1994
24 An Axiomatic Basis of Trust in Distributed Systems (context) - Rangan - 1988
24 A Model of Computation for the NRL Protocol Analyzer - Meadows - 1994
19 Operating Systems Review (context) - Nessett, of et al. - 1990
17 Formal Requirements for Key Distribution Protocols - Syverson, Meadows - 1994
17 A Logic of Knowledge and Belief for Reasoning About Computer.. (context) - Moser - 1989
16 and Semantics in the Analysis of Cryptographic Protocols (context) - Syverson, Belief - 1992
15 A Semantics for a Logic of Authentication (context) - Abadi, Tuttle - 1991
15 Georgia Institute of Technology (context) - Merritt, Ph et al. - 1983
14 Generating Formal Cryptographic Protocol Specifications (context) - Carlsen - 1994
13 Operating Systems Review (context) - Burrows, Abadi 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
10 An Automatic Search for Security Flaws in Key Management Sch.. (context) - Longley, Rigby - 1992
7 Broadcast a Secret (context) - Simmons, Selectively - 1985
7 the Security of Ping-Pong Protocols When Implemented Using t.. (context) - Even, Goldreich et al. - 1985
6 the Security Effectiveness of Cryptographic Protocols - Kailar, Gligor et al. - 1994
6 A Security Scheme for Resource Sharing Over a Network (context) - Burns, Mitchell - 1990
6 Deriving the Complete Knowledge of Participants in Cryptogra.. (context) - Toussaint - 1992
5 A Software Protection Scheme (context) - Purdy, Simmons et al. - 1982
5 Sorting Out Signature Schemes - Pfitzmann - 1993
4 Overview of Interactive Proof Systems and Zero Knowledge (context) - Feigenbaum - 1991
4 Verification of Cryptographic Protocols (context) - Toussaint - 1991
3 Optimality of Asynchronous Two-Party Secure Data-Exchange Pr.. (context) - Yahalom - 1994
3 Separating the Specification and Implementation Phases in Cr.. (context) - Toussaint - 1992
3 Representing Partial Knowledge in an Algebraic Security Mode.. (context) - Meadows - 1990
1 Protecting the Integrity of Privacy-Enhanced Mail (context) - Stubblebine, Gligor - 1993
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