See this document in CiteSeerX!

Dolev-Yao is no better than Machiavelli (2000)  (Make Corrections)  (8 citations)
Paul Syverson, Catherine Meadows, Iliano Cervesato



  Home/Search   Context   Related

 
View or download:
stanford.edu/~iliano/pap...wits00.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  stanford.edu/~ilian...byYearmain (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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