Paul Syverson, Catherine Meadows, Iliano Cervesato  Home/Search
Context Related
| stanford.edu/~iliano/pap...wits00.ps.gz 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: stanford.edu/~ilian...byYearmain (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show that all attacks that can be mounted by a traditional Dolev-Yao intruder against common cryptographic protocols can be enacted by an apparently weaker `Machiavellian' adversary in which compromised principals will not share long-term secrets and will not send arbitrary messages. We also show that a Dolev-Yao adversary composed of multiple compromised principals is attack-equivalent to an adversary consisting of a single dishonest principal who is only willing to produce messages in... (Update)
Context of citations to this paper: More
...under consideration (e.g. perfect encryption) in the sense that it can simulate the activity of any other possible attacker. Furthermore, in [43] it has been proved that it is not restrictive to consider a single Dolev Yao intruder instead of multiple ones. 2.4 An Informal...
Cited by: More
Attacking Group Protocols - Steel, BUndy (2005) (Correct)
Inductive Methods and Contract-Signing Protocols - Chadha, Kanovich, Scedrov (2001) (Correct)
Towards a Metalogic for Security Protocol Analysis.. - Caleiro, Vigano, Basin (Correct)
Active bibliography (related documents): More All
0.2: Game Strategies in Network Security - Lye, Wing (2002) (Correct)
0.2: Probabilistic Non-Repudiation without Trusted Third Party - Markowitch, Roggeman (1999) (Correct)
0.2: Inoculation Strategies for Victims of Viruses and the.. - Aspnes, Chang.. (2004) (Correct)
Similar documents based on text: More All
0.8: Formal Specification and Analysis of the Group Domain of.. - Meadows, Syverson (2003) (Correct)
0.7: The Wolf Within - Cervesato (2002) (Correct)
0.6: A Fault-Tree Representation of NPATRL Security Requirements - Cervesato, Meadows (2003) (Correct)
Related documents from co-citation: More All
6: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
5: The inductive approach to verifying cryptographic protocols - Paulson - 1998
5: Casper: A compiler for the analysis of security protocols - Lowe - 1997
BibTeX entry: (Update)
P. Syverson, C. Meadows, and I. Cervesato. Dolev-Yao is no better than Machiavelli. In WITS'00. Workshop on Issues in the Theory of Security, 2000. http://citeseer.ist.psu.edu/syverson00dolevyao.html More
@inproceedings{ syversondolevyao,
author = "Paul Syverson and Catherine Meadows and Iliano Cervesato",
title = "Dolev-Yao is no better than Machiavelli",
url = "citeseer.ist.psu.edu/syverson00dolevyao.html" }
Citations (may not include all citations):317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
104 A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999 ACM DBLP
90 A linear logical framework - Cervesato, Pfenning - 1996 ACM DBLP
51 Programming Satan's computer - Anderson, Needham - 1995 DBLP
34 Group principals and the formalization of anonymity - Syverson, Stubblebine - 1999 ACM DBLP
5 erent look at secure distributed computation (context) - Syverson, di - 1997
1 Formal framework and evaluation method for denial of service (context) - Meadows - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://theory.stanford.edu/~iliano/byYear-main.html): More
Efficient Resource Management for Linear Logic Proof Search - Cervesato, al. (1996) (Correct)
Modal Event Calculus - Cervesato, al. (1994) (Correct)
Modal Event Calculi with Preconditions - Cervesato, Franceschet, Montanari (1997) (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