Paul Syverson  Home/Search
Context Related
| navy.mil/ITD/5540/...yversonoakland.ps terato.hanyang.ac.kr/~sangji...Syv96.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/pub...index1996 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recent papers have taken a new look at cryptographic protocols from the perspective of proposing design principles. For years the main approach to cryptographic protocols has been logical, and a number of papers have examined the limitations of those logics. This paper takes a similar cautionary look at the design principal approach. Limitations and exceptions are offered on some of the previously given basic design principals. The focus is primarily on public key protocols, especially on the... (Update)
Context of citations to this paper: More
...of the ways in which they might not apply, as a caution against applying them blindly. Comments in this section are mostly drawn from [Syv96] Building on the above principles, Anderson and Needham set out further principles speci cally focused on public key protocols. Their...
.... Encrypting a message and then signing it (EtS) conflicts with the widely accepted design principle Sign then Encrypt (StE) of [AN95, AN96,Sy96]. We agree that one must be cautious in signing an encrypted document. This is certainly true of applications (like ours) where the...
Cited by: More
Secrecy by Typing in Security Protocols - Abadi (1998) (Correct)
Watermarking Schemes and Protocols for Protecting Rightful.. - Qiao, Nahrstedt (1998) (Correct)
The Application of Software and Safety Engineering Techniques to.. - Foster (2003) (Correct)
Active bibliography (related documents): More All
0.5: Formal Methods for the Analysis of Authentication Protocols - Rubin, Honeyman (1993) (Correct)
0.5: A Taxonomy of Replay Attacks - Syverson (1994) (Correct)
0.5: Formal Verification of Cryptographic Protocols: A Survey - Meadows (1995) (Correct)
Similar documents based on text: More All
0.2: Multi-Dimensional Inference and Confidential Data Protection .. - Decision Tree Methods (2002) (Correct)
0.2: Group Principals and the Formalization of Anonymity - Syverson, Stubblebine (1999) (Correct)
0.1: Formalizing GDOI Group Key Management Requirements in NPATRL - Meadows, Syverson.. (2001) (Correct)
Related documents from co-citation: More All
11: Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1996
7: Robustness principles for public key protocols - Anderson, Needham - 1995
7: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
BibTeX entry: (Update)
P. Syverson. Limitations on Design Principles for Public Key Protocols. In Proceedings of the 1996 IEEE Symposium on Security and Privacy, pages 62--73, Oakland, CA, May 1996. http://citeseer.ist.psu.edu/syverson96limitation.html More
@inproceedings{ syverson96limitations,
author = "Paul Syverson",
title = "Limitations on Design Principles for Public Key Protocols",
booktitle = "{IEEE} Symposium on Security and Privacy",
publisher = "IEEE Computer Society Press",
address = "Oakland, CA",
pages = "62--73",
year = "1996",
url = "citeseer.ist.psu.edu/syverson96limitation.html" }
Citations (may not include all citations):704 Applied Cryptography (context) - Schneier - 1994
601 A Public-Key Cryptosystem and a Signature Scheme Based on Di.. (context) - ElGamal - 1985
171 Prudent Engineering Practice for Cryptographic Protocols - Abadi, Needham - 1994
150 Encrypted Key Exchange: Password-Based Protocols Secure Agai.. - Bellovin, Merritt - 1992
102 Robustness Principles for Public Key Protocols - Anderson, Needham - 1995
92 Proxy-based Authorization and Accounting for Distributed Sys.. - Neuman - 1993
70 The Design and Implementation of a Secure Auction Service - Franklin, Reiter - 1995
51 Augmented Encrypted Key Exchange: A Password-Based Protocol .. - Bellovin, Merritt - 1993
47 Fail-Stop Protocols: An Approach to Designing Secure Protoco.. - Gong, Syverson - 1995
47 Protocol Failures in Cryptosystems (context) - Moore - 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
38 A Logical Language for Specifying Cryptographic Protocol Req.. - Syverson, Meadows - 1993
37 Adding Time to a Logic of Authentication - Syverson - 1993
36 Cryptographic Protocols - DeMillo, Lynch et al. - 1982
31 Optimal Authentication Protocols Resistant to Password Guess.. - Gong - 1995
26 Recent-Secure Authentication: Enforcing Revocation in Distri.. - Stubblebine - 1995
22 Reasoning About Accountability in Protocols for Electronic C.. (context) - Kailar - 1995
18 Exploring the BAN Approach to Protocol Analysis (context) - Snekkenes - 1991
17 Formal Requirements for Key Distribution Protocols - Syverson, Meadows - 1995
17 a Limitation of BAN Logic - Boyd, Mao - 1994
15 Georgia Institute of Technology (context) - Merritt, PhD - 1983
12 Undetectable On-line Password Guessing Attacks - Ding, Horster - 1995
11 Logics for Cryptographic Protocols --- Virtues and Limitatio.. - Gligor, Kailar et al. - 1991
6 A Method for Obtaining Digital Signatures (context) - Rivest, Shamir et al. - 1978
4 The Internet Billing Server: Transaction Protocol Alternativ.. (context) - O'Toole - 1994
4 Public Key Cryptography (context) - Nechvatal - 1992
3 Separating the Specification and Implementation Phases in Cr.. (context) - Toussaint - 1992
3 An Alternate Explanation of two BAN-logic (context) - van Oorschot - 1994
2 Systematic Design of a Family of Attack-Resistant Protocols (context) - Bird, Gopal et al. - 1993
2 Protecting Poorly Chosen Secrets Against Guessing Attacks (context) - Gong, Lomas et al. - 1993
1 Controverial Issue: Trapdoor Primes and Moduli (context) - Desmedt, Landrock et al. - 1993
1 of Information Systems and Computer Science (context) - Tsang, John et al. - 1987
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/1996/index1996.html): More
An Analysis of the Timed Z-channel - Moskowitz, Greenwald, Kang (1996) (Correct)
Controlled Link Sharing and Quality of Service Data Transfer for.. - Macker (1996) (Correct)
Applying the SCR Requirements Specification Method to.. - Bharadwaj, Heitmeyer (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