Paul Syverson  Home/Search
Context Related
Links: DBLP | upenn.edu/~cis700...play_attacks.ps.gz navy.mil/ITD/5540/...sonfoundations.ps purdue.edu/homes/c..._Replay_Attacks.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: upenn.edu/~cis7002/ (more) From: navy.mil/ITD/5540/pub...index1994 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a taxonomy of replay attacks on cryptographic protocols in terms of message origin and destination. The taxonomy is independent of any method used to analyze or prevent such attacks. It is also complete in the sense that any replay attack is composed entirely of elements classified by the taxonomy. The classification of attacks is illustrated using both new and previously known attacks on protocols. The taxonomy is also used to discuss the appropriateness of particular... (Update)
Cited by: More
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) (Correct)
A Vulnerability Taxonomy Methodology applied to Web Services - Berghe, Riordan, Piessens (2005) (Correct)
Fast Automatic Synthesis of Security Protocols Using - Backward Search Hongbin (Correct)
Active bibliography (related documents): More All
0.6: A Method for Examining Cryptographic Protocols - Tjaden (1997) (Correct)
0.5: Limitations on Design Principles for Public Key Protocols - Syverson (1996) (Correct)
0.4: On Preventing Replay Attacks on Security Protocols - Malladi, Alves-Foss, Heckendorn (2002) (Correct)
Similar documents based on text: More All
0.3: Protocol Independence through Disjoint Encryption - Guttman, Fábrega (2000) (Correct)
0.1: Authentic Attributes with Fine-Grained Anonymity Protection - Stubblebine, Syverson (2000) (Correct)
0.1: A Unified Cryptographic Protocol Logic - Syverson, van Oorschot (1996) (Correct)
Related documents from co-citation: More All
19: Timestamps in Key Distribution Protocols (context) - Denning, Sacco - 1982
17: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
17: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
BibTeX entry: (Update)
P. Syverson. A taxonomy of replay attacks. In Computer Security Foundations Workshop VII. IEEE Computer Society Press, 1994. http://citeseer.ist.psu.edu/syverson94taxonomy.html More
@inproceedings{ ps94,
author = {Paul Syverson},
title = {A taxonomy of replay attacks},
booktitle = {Computer Security Foundations Workshop VII},
year = {1994},
publisher = {IEEE Computer Society Press},
url = {citeseer.ist.psu.edu/syverson94taxonomy.html} }
Citations (may not include all citations):176 Timestamps in Key Distribution Protocols (context) - Denning, Sacco - 1981 ACM DBLP
140 Reasoning about Belief in Cryptographic Protocols - Gong, Needham et al. - 1990 DBLP
89 The INTERROGATOR: Protocol Security Analysis (context) - Millen, Clark et al. - 1987 ACM DBLP
81 Using Encryption for Authentication in Large Networks of Com.. (context) - Needham, Schroeder - 1978 ACM DBLP
69 Applying Formal Methods to the Analysis of a Key Management .. - Meadows - 1992 DBLP
38 A Logical Language for Specifying Cryptographic Protocol Req.. - Syverson, Meadows - 1993 ACM
37 Adding Time to a Logic of Authentication - Syverson - 1993 ACM DBLP
32 A Logic of Communication in Hostile Environment (context) - Bieber - 1990
30 A System for the Specification and Analysis of Key Managemen.. (context) - Meadows - 1991
26 On Key Distribution Protocols for Repeated Authentication - Syverson - 1993 ACM DBLP
21 On Belief Evolution in Authentication Protocols - Kailar, Gligor - 1991 DBLP
12 Limitations of ChallengeResponse Entity Authentication (context) - Mitchell - 1989
11 Using Logics to Detect Implementation-Dependent Flaws (context) - Carlsen - 1993
3 Variations on the Themes of Message Freshness and Replay or - Gong - 1993
2 Systematic Design of a Family of Attack-Resistant Protocols (context) - Bird, Gopal et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~cis700-2/): More
On the Security of Two MAC Algorithms - Preneel, van Oorschot (1996) (Correct)
Protecting Poorly Chosen Secrets from Guessing Attacks - Gong, Lomas, Needham, Saltzer (1993) (Correct)
Why Cryptosystems Fail - Anderson (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