Paul Syverson, Catherine Meadows  Home/Search
Context Related
| navy.mil/ITD/5540/...1993syversonsp.ps navy.mil/publicati...1993syversonsp.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 present a formal language for specifying and reasoning about cryptographic protocol requirements. We give examples of simple sets of requirements in that language. We look at two versions of a protocol that might meet those requirements and show how to specify them in the language of the NRL Protocol Analyzer. [Mea91] [Mea92] We also show how to map one of our sets of formal requirements to the language of the NRL Protocol Analyzer and use the Analyzer to show that one version... (Update)
Context of citations to this paper: More
...properties. These two types of requirements later turned out to be more closely related than one might think (both Syverson and Meadows [32] and Schneider [28] define secrecy requirements as a type of correspondence requirement) but for the moment we shall treat them as...
Cited by: More
Formal Specification and Analysis of the Group - Domain Of Intrepretation (Correct)
Low-level Ideal Signatures and General Integrity Idealization - Backes, Pfitzmann, Waidner (2004) (Correct)
Watermarking Schemes and Protocols for Protecting Rightful.. - Qiao, Nahrstedt (1998) (Correct)
Similar documents (at the sentence level):
45.8%: A Formal Language for Cryptographic Protocol Requirements - Syverson, Meadows (1995) (Correct)
5.3%: Formal Requirements for Key Distribution Protocols - Syverson, Meadows (1995) (Correct)
Active bibliography (related documents): More All
0.5: The NRL Protocol Analyzer: An Overview - Meadows (1996) (Correct)
0.2: Epistemology of Information Flow in the Multilevel Security .. - Gray, III, Syverson (1995) (Correct)
0.2: Formal Verification of Cryptographic Protocols: A Survey - Meadows (1995) (Correct)
Similar documents based on text: More All
0.5: Formal Specification and Analysis of the Group Domain of.. - Meadows, Syverson (2003) (Correct)
0.3: Towards a Hierarchy of Cryptographic Protocol Models - Catherine Meadows Center (2003) (Correct)
0.2: Environmental Requirements for Authentication - Canetti, Meadows, Syverson (2002) (Correct)
Related documents from co-citation: More All
18: Applying formal methods to the analysis of a key management protocol - Meadows - 1992
16: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
14: Formal Requirements for Key Distribution Protocols - Syverson, Meadows - 1995
BibTeX entry: (Update)
Paul Syverson and Catherine Meadows. A logical language for specifying cryptographic protocol requirements. Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, pages 165--177, May 1993. http://citeseer.ist.psu.edu/syverson93logical.html More
@inproceedings{ syverson93logical,
author = "Paul Syverson and Catherine Meadows",
title = "A Logical Language for Specifying Cryptographic Protocol Requirements",
booktitle = "{RSP}: {IEEE} Computer Society Symposium on Research in Security and Privacy",
year = "1993",
url = "citeseer.ist.psu.edu/syverson93logical.html" }
Citations (may not include all citations):317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
76 Kluwer Academic Publishers (context) - van Bentham, of et al. - 1991
69 Applying Formal Methods to the Analysis of a Key Management .. - Meadows - 1992
49 volume 7 of CSLI Lecture Notes (context) - Goldblatt, Time et al. - 1992
41 The Use of Logic in the Analysis of Cryptographic Protocols (context) - Syverson - 1991
40 On Message Integrity in Cryptographic Protocols (context) - Stubblebine, Gligor - 1992
36 Digital Systems Research Center (context) - Lamport, logic et al. - 1990
30 A System for the Specification and Analysis of Key Managemen.. (context) - Meadows - 1991
26 Information Technology -- Security Techniques -- Entity Auth.. (context) - IEC, SC - 1991
19 Operating Systems Review (context) - Nessett, of et al. - 1990
15 A Semantics for a Logic of Authentication (context) - Abadi, Tuttle - 1991
13 Operating Systems Review (context) - Burrows, Abadi et al. - 1990
4 An Axiomatization of Lamport 's Temporal Logic of Action (context) - Abadi - 1990
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)
CAPSL Interface for the NRL Protocol Analyzer - Brackin, Meadows, Millen (1999) (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