Paul Syverson, Catherine Meadows  Home/Search
Context Related
| navy.mil/ITD/5540/...96syversonDCC.pdf navy.mil/publicati...996syversonDCC.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: counterpane.com/bibli...year1996 (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 sets of requirements for key distribution protocols and for key agreement protocols in that language. Welookatakey agreement protocol due to Aziz and Di#e that might meet those requirements and showhow to specify it in the language of the NRL Protocol Analyzer. We also show how to map our formal requirements to the language of the NRL Protocol Analyzer and use the... (Update)
Context of citations to this paper: More
...it useful for specifying some widely varying types of cryptographic protocols. These include key distribution and key agreement protocols [30, 31], complex electronic commerce protocols such as SET [22] and, most recently, group key distribution protocols [23] One...
...the most likely candidate. With that in mind, we have developed the NRL Protocol Analyzer Temporal Requirements Language (NPATRL) [10], that is intended to be used with our analysis tool, the NRL Protocol Analyzer (NPA) NPATRL has been used to specify di erent types of...
Cited by: More
A Derivation System for Security Protocols and its.. - Datta, Derek.. (2003) (Correct)
A Trace Logic for Local Security Properties - Corin, Durante, Etalle, Hartel (2003) (Correct)
A Fault-Tree Representation of NPATRL Security Requirements - Cervesato, Meadows (2003) (Correct)
Similar documents (at the sentence level):
73.4%: A Formal Language for Cryptographic Protocol Requirements - Syverson, Meadows (1995) (Correct)
24.8%: A Logical Language for Specifying Cryptographic Protocol.. - Syverson, Meadows (1993) (Correct)
6.6%: Formal Requirements for Key Distribution Protocols - Syverson, Meadows (1995) (Correct)
Active bibliography (related documents): More All
0.1: Monkeys, Gambling, And Return Times: Assessing Pseudorandomness - Wegenkittl (1999) (Correct)
0.1: Formal Verification In Hardware Design: A Survey - Kern, Greenstreet (1999) (Correct)
0.1: Singularities in Nonuniform Tensor Fields - Lavin, Levy (1997) (Correct)
Similar documents based on text: More All
0.1: Letters, Volume 35, Issue 13, 1999, Pages 1072-1073 - Ssg Shieh Shiuh-Pyng (Correct)
0.1: The MFPS XV Security Session - Meadows, Volpano (1999) (Correct)
0.1: A Formal Specification of Requirements for Payment.. - Meadows, Syverson (1998) (Correct)
Related documents from co-citation: More All
8: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
6: Formal Requirements for Key Distribution Protocols - Syverson, Meadows - 1995
6: A logical language for specifying cryptographic protocol requirements - Syverson, Meadows - 1993
BibTeX entry: (Update)
Paul Syverson and Catherine Meadows. A formal language for cryptographic protocol requirements. submitted for publication, 1995. http://citeseer.ist.psu.edu/article/syverson95formal.html More
@article{ syverson96formal,
author = "Paul F. Syverson and Catherine Meadows",
title = "A Formal Language for Cryptographic Protocol Requirements",
journal = "Designs, Codes and Cryptography",
volume = "7",
number = "1-2",
pages = "27-59",
year = "1996",
url = "citeseer.ist.psu.edu/article/syverson95formal.html" }
Citations (may not include all citations):31 second edition (context) - The - 1991
7 Los Alamitos (context) - Society - 1991
7 Los Alamitos (context) - Press - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.counterpane.com/biblio/year-1996.html): More
A Secure Environment for Untrusted Helper.. - Goldberg, Wagner.. (1996) (Correct)
How to Protect DES Against Exhaustive Key Search - Kilian, Rogaway (1996) (Correct)
Hidden Field Equations (HFE) and Isomorphisms of Polynomials.. - Patarin (1996) (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