Catherine Meadows  Home/Search
Context Related
| navy.mil/publicati...adowsinvariant.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 growing interest in the application of formal methods of cryptographic protocol analysis has led to the development of a number of different techniques for generating and describing invariants that are defined in terms of what messages an intruder can and cannot learn. These invariants, which can be used to prove authentication as well as secrecy results, appear to be central to many different tools and techniques. However, since they are usually developed independently for different... (Update)
Cited by: More
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
Verifying Secrecy by Abstract Interpretation - Bozga, Lakhnech, Perin (2002) (Correct)
Active bibliography (related documents): More All
0.6: Open Issues in Formal Methods for Cryptographic Protocol Analysis - Meadows (2000) (Correct)
0.2: Formal Methods for Cryptographic Protocol Analysis: Emerging.. - Meadows (2003) (Correct)
0.1: Security Protocols over open networks and.. - Gritzalis.. (1999) (Correct)
Similar documents based on text: More All
0.2: A Framework for Denial of Service Analysis - Meadows (2000) (Correct)
0.2: Using a Declarative Language to Build an - Experimental Analysis Tool (2002) (Correct)
0.2: Identifying Potential Type Confusion in Authenticated Messages - Catherine Meadows Code (2002) (Correct)
Related documents from co-citation: More All
4: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
4: Proving properties of security protocols by induction - Paulson - 1997
4: Constraint solving for boundedprocess cryptographic protocol analysis - Millen, Shmatikov
BibTeX entry: (Update)
C. Meadows. Invariant generation techniques in cryptographic protocol analysis. In PCSFW: Proceedings of The 13th Computer Security Foundations Workshop. IEEE Computer Society Press, 2000. http://citeseer.ist.psu.edu/meadows00invariant.html More
@inproceedings{ meadows00invariant,
author = "Meadows",
title = "Invariant Generation Techniques in Cryptographic Protocol Analysis",
booktitle = "{PCSFW}: Proceedings of The 13th Computer Security Foundations Workshop",
publisher = "IEEE Computer Society Press",
year = "2000",
url = "citeseer.ist.psu.edu/meadows00invariant.html" }
Citations (may not include all citations):263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
104 A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999
83 ACM Transactions in Computer Systems (context) - Burrows, Abadi et al. - 1990
75 Towards a completeness result for model checking of security.. - Lowe - 1998
71 Undecidability of bounded security protocols - Durgin, Lincoln et al. - 1999
48 Mechanized proofs for a recursive authentication protocol - Paulson - 1997
47 Verifying authentication protocols with CSP - Schneider - 1997
43 Honest ideals in strand spaces (context) - Thayer, Herzog et al. - 1998
37 A model for secure protocols and their composition - Heintze, Tygar - 1996
37 the security of multiparty ping pong protocols - Even, Goldreich - 1983
35 Analysis of the Internet Key Exchange Protocol using the NRL.. - Meadows - 1999
23 Protocol-independent secrecy - Millen, Ruess - 2000
20 personal communication (context) - Cohen - 2000
15 Towards automatic verification of authentication protocols o.. - Heather, Schneider - 2000
9 Language generation and verification in the NRL Protocol Ana.. - Meadows - 1996
2 Workshop on Formal Methods and Security Protocols (context) - Stoller, for et al. - 1999
1 Towards automatic verification of cryptographic protocols in.. (context) - Cohen - 2000
1 Athena: A new efficient model checker for security protocol .. (context) - Song - 1999
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