Li Gong, Paul Syverson  Home/Search
Context Related
| javasoft.com/peopl...opprotocols.ps.gz sri.com/users/gong...opprotocols.ps.gz navy.mil/ITD/5540/...yverson5thDCCA.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: javasoft.com/people/gong...pubs95 (more) From: sri.com/users/gong/publi...pubs95 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a methodology to facilitate the design and analysis of secure cryptographic protocols. We advocate the general approach, and a new avenue for research, of restricting protocol designs to well-defined practices, instead of ever increasing the complexity of protocol security analysis mechanisms to deal with every newly discovered attack and the endless variations in protocol construction. In particular, we propose a novel notion of a fail-stop protocol, which automatically halts in... (Update)
Cited by: More
Modelling Denial of Service Attacks on JFK with Meadows's - Cost-Based Framework Smith (Correct)
Feasibility of Multi-Protocol Attacks - Cremers (Correct)
Verification of Multi-Protocol Attacks - Cremers (Correct)
Similar documents (at the sentence level):
29.8%: Fail-Stop Protocols: An Approach to Designing Secure Protocols - Gong (1994) (Correct)
Active bibliography (related documents): More All
0.5: Cryptographic Protocols over Open Distributed Systems: A.. - Gritzalis, Spinellis (1997) (Correct)
0.3: Reasoning about Message Integrity - Rajashekar Kailar (1994) (Correct)
0.3: Formal Methods for the Analysis of Authentication Protocols - Rubin, Honeyman (1993) (Correct)
Similar documents based on text: More All
0.2: The Paradoxical Value of Privacy - Paul Syverson Naval (2003) (Correct)
0.2: Byzantine Generals In Action: Implementing Fail-Stop Processors - Schmeider (1983) (Correct)
0.2: Fail-Stop Processors: An Approach to Designing.. - Schlichting, Schneider (1983) (Correct)
Related documents from co-citation: More All
16: The Photuris session key management protocol (context) - Karn, Simpson - 1997
13: Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1996
12: A formal framework and evaluation method for network denial of service - Meadows - 1999
BibTeX entry: (Update)
Li Gong and Paul Syverson. Fail-stop protocols: An approach to designing secure protocols. In R. K. Iyer, M. Morganti, Fuchs W. K, and V. Gligor, editors, Dependable Computing for Critical Applications 5, pages 79--100. IEEE Computer Society, 1998. http://citeseer.ist.psu.edu/gong95failstop.html More
@inproceedings{ gong95failstop,
author = "Li Gong and Paul Syverson",
title = "Fail-Stop Protocols: An Approach to Designing Secure Protocols",
booktitle = "Proceedings of the 5th International Working Conference on Dependable Computing for Critical Applications ({DCCA-5})",
pages = "44--55",
year = "1995",
url = "citeseer.ist.psu.edu/gong95failstop.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
917 and the Ordering of Events in a Distributed System (context) - Lamport, Clocks - 1978
450 Using Encryption for Authentication in Large Networks of Com.. (context) - Needham, Schroeder - 1978 ACM DBLP
428 IEEE Transactions on Information Theory (context) - Diffie, Hellman et al. - 1976
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
178 Kerberos: An Authentication Service for Computer Networks (context) - Neuman, Ts'o - 1994
177 Fail-Stop Processors: An Approach to Designing Fault-Toleran.. - Schlichting, Schneider - 1983
171 Prudent Engineering Practice for Cryptographic Protocols - Abadi, Needham - 1994 ACM DBLP
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
140 Reasoning about Belief in Cryptographic Protocols - Gong, Needham et al. - 1990 DBLP
128 Why Cryptosystems Fail - Anderson - 1994 ACM DBLP
121 Three Systems for Cryptographic Protocol Analysis (context) - Kemmerer, Meadows et al. - 1994
88 Protecting Poorly Chosen Secrets from Guessing Attacks - Gong, Lomas et al. - 1993 DBLP
79 A Semantics for a logic for Authentication - Abadi, Tuttle - 1991
78 On Unifying Some Cryptographic Protocol Logics - Syverson, van Oorschot - 1994 ACM
75 Byzantine Generals in Action: Implementing Fail-Stop Process.. - Schneider - 1984
53 Automatically Increasing the Fault-Tolerance of Distributed .. (context) - Neiger, Toueg - 1989 ACM DBLP
51 Formal Methods and the Certification of Critical Systems - Rushby - 1993
47 Fail-Stop Protocols: An Approach to Designing Secure Protoco.. - Gong - 1994
43 Secure Communications Using Remote Procedure Calls (context) - Birrell - 1985
40 On Message Integrity in Cryptographic Protocols (context) - Stubblebine, Gligor - 1992 ACM
37 Adding Time to a Logic of Authentication - Syverson - 1993 ACM DBLP
37 A Model for Secure Protocols and Their Compositions - Heintze, Tygar - 1994 ACM DBLP
18 Exploring the BAN Approach to Protocol Analysis (context) - Snekkenes - 1991
15 ACM Operating Systems Review (context) - Nessett, of et al. - 1990
9 The Search for Tractable Ways of Reasoning about Programs - Jones - 1992
7 ACM Operating Systems Review (context) - Burrows, Abadi et al. - 1990
6 the Security Effectiveness of Cryptographic Protocols - Kailar, Gligor et al. - 1994
4 Protecting the Integrity of Privacy-enhanced Electronic Mail.. (context) - Stubblebine, Gligor - 1993
2 Belief and Semantics in the Analysis of Cryptographic Protoc.. (context) - Syverson - 1992
1 and Implementation of Security Protocols (context) - Gong, Cryptographic et al. - 1993
1 Initial Thought on Secure Protocols Interaction (context) - Gong - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.javasoft.com/people/gong/papers/pubs95.html): More
Multicast Security and Its Extension to a Mobile Environment - Gong, Shacham (1995) (Correct)
Efficient Network Authentication Protocols: Lower Bounds and.. - Gong (1995) (Correct)
Trade-offs in Routing Private Multicast Traffic - Li Gong (1995) (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