Ralf C. Hauser, E. Stewart Lee,  Home/Search
Context Related
| ibm.com/security/publicat...HL92a.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: ibm.com/security/publicati...1992 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: With the emergence of numerous distributed services, the importance of electronic authentication in networks is rapidly increasing. Since more than a decade, authentication protocols have been proposed and discussed. Because of various flaws which were found late, Burrows, Abadi and Needham [BAN] created a logic of authentication to formally verify authentication protocols by the end of the 80's.This so called BAN logic has been subject to considerable critique and several extensions have... (Update)
Context of citations to this paper: More
.... extensions has resulted in the development of several tools for machine aided analysis of protocols by using BAN or BAN like logics [10, 11, 12, 13]. The appeal of tools for mechanical validation is clear, but such tools can also assist in examining the role played by protocol...
Cited by: More
On the Automation of GNY Logic - Mathuria, Safavi-Naini, al. (1995) (Correct)
Similar documents based on text: More All
1.0: Reducing the Proliferation of Passwords in Distributed Systems - Hauser, Lee (Correct)
0.5: Using EVES to Analyze Authentication Protocols - Craigen, Saaltink (1996) (Correct)
0.5: Formal Methods for the Analysis of Authentication Protocols - Rubin, Honeyman (1993) (Correct)
Related documents from co-citation: More All
2: A Logic of Authentication - Burrows, Abadi et al. - 1990
BibTeX entry: (Update)
R. C. Hauser and E. S. Lee, "Verification and Modelling of Authentication Protocols, " in Computer Security - ESORICS 92 (Y. Deswarte, G. Eizenberg, and J.-J. Quisquater, eds.), LNCS 648, pp. 141--154, Springer-Verlag, 1992. http://citeseer.ist.psu.edu/hauser92verification.html More
@inproceedings{ hauser92verification,
author = "Ralf C. Hauser and E. Stewart Lee",
title = "Verification and Modelling of Authentication Protocols",
booktitle = "{ESORICS}",
pages = "141-154",
year = "1992",
url = "citeseer.ist.psu.edu/hauser92verification.html" }
Citations not processed or no citations identified.
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