Paul C. van Oorschot  Home/Search
Context
Related
| scs.carleton.ca/~paulv/pape...Euro93.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: scs.carleton.ca/~paulv/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Boyd and Mao ("On a Limitation of BAN Logic", in these proceedings) suggest that it is easy to use the authentication logic of Burrows, Abadi and Needham to approve protocols that are in practice unsound, and present two examples. We illustrate that the problem in the first example can be traced to a violation of pre-conditions in the BAN analysis (involving ill-founded trust in a trusted server), while in the second the idealization is simply incorrect. For the latter, a general... (Update)
Active bibliography (related documents): More All
0.4: A Method for Examining Cryptographic Protocols - Tjaden (1997) (Correct)
0.4: A Formal Semantics for Evaluating Cryptographic Protocols - Yasinsac (1996) (Correct)
0.2: Authentication and Authenticated Key Exchanges - Diffie, van Oorschot, Wiener (1992) (Correct)
Similar documents based on text: More All
0.4: On the Security of Two MAC Algorithms - Preneel, van Oorschot (1996) (Correct)
0.4: MDx-MAC and Building Fast MACs from Hash Functions - Preneel, van Oorschot (1995) (Correct)
0.3: On Unifying Some Cryptographic Protocol Logics - Syverson, van Oorschot (1994) (Correct)
BibTeX entry: (Update)
@article{ vanoorschot94alternate,
author = "Paul C. van Oorschot",
title = "An Alternate Explanation of Two {BAN}-Logic ``Failures''",
journal = "Lecture Notes in Computer Science",
volume = "765",
pages = "443--??",
year = "1994",
url = "citeseer.ist.psu.edu/734168.html" }
Citations (may not include all citations):302 A logic of authentication - Burrows, Abadi et al. - 1990
140 Reasoning about belief in cryptographic protocols - Gong, Needham et al. - 1990
79 A semantics for a logic of authentication - Abadi, Tuttle - 1991
17 a Limitation of BAN Logic - Boyd, Mao - 1993
13 Extending cryptographic logics of belief to key agreement pr.. (context) - Van Oorschot - 1993
11 Logics for cryptographic protocols --- virtues and limitatio.. - Gligor, Kailar et al. - 1991
8 A critique of the Burrows, Abadi and Needham logic (context) - Nessett - 1990
4 Applying a formal analysis technique to CCITT X.509 strong t.. (context) - Gaarder, Snekkenes - 1991
Documents on the same site (http://www.scs.carleton.ca/~paulv/papers/): More
Authentication and Authenticated Key Exchanges - Diffie, van Oorschot, Wiener (1992) (Correct)
Addressing Online Dictionary Attacks with Login.. - Stubblebine, van.. (2004) (Correct)
Security Analysis of the Message Authenticator Algorithm.. - Preneel, Rijmen, van.. (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