A Logic of Authentication, from Proceedings of the Royal Society, Volume 426, Number 1871, 1989

by: Michael Burrows, Martín Abadi, Roger Needham

(1996)

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

wzqiang, jkominek, muli

Find related articles with these CiteULike tags

authentication, classic, cryptography, infosec, protocol, readme, security, sigops-hall-of-fame

摘要

Authentication protocols form the basis of security in many distributed systems, making it imperative to ensure the proper functioning of these protocols. A simple logic is presented that allows the answering of certain questions including whether the protocol works, whether it can be made to work, what the protocol achieves, whether it needs more assumptions than another protocol, and whether the protocol does anything unnecessary. The application of this logic to four published protocols is...

@incollection{citeulike:813951, abstract = {Authentication protocols form the basis of security in many distributed systems, making it imperative to ensure the proper functioning of these protocols. A simple logic is presented that allows the answering of certain questions including whether the protocol works, whether it can be made to work, what the protocol achieves, whether it needs more assumptions than another protocol, and whether the protocol does anything unnecessary. The application of this logic to four published protocols is...}, author = {Burrows, Michael and Abadi, Mart\'in and Needham, Roger }, booktitle = {William Stallings, Practical Cryptography for Data Internetworks, IEEE Computer Society Press, 1996}, citeulike-article-id = {813951}, keywords = {authentication}, posted-at = {2006-08-23 17:28:30}, priority = {4}, title = {A Logic of Authentication, from Proceedings of the Royal Society, Volume 426, Number 1871, 1989}, url = {http://citeseer.ist.psu.edu/burrows90logic.html}, year = {1996} }

RIS record

TY - CHAP ID - citeulike:813951 L3 - citeulike-article-id:813951 N2 - Authentication protocols form the basis of security in many distributed systems, making it imperative to ensure the proper functioning of these protocols. A simple logic is presented that allows the answering of certain questions including whether the protocol works, whether it can be made to work, what the protocol achieves, whether it needs more assumptions than another protocol, and whether the protocol does anything unnecessary. The application of this logic to four published protocols is... TI - A Logic of Authentication, from Proceedings of the Royal Society, Volume 426, Number 1871, 1989 T2 - William Stallings, Practical Cryptography for Data Internetworks, IEEE Computer Society Press, 1996 KW - authentication AU - Burrows, Michael AU - Abadi, Mart\'in AU - Needham, Roger PY - 1996/// UR - http://citeseer.ist.psu.edu/burrows90logic.html ER -

RIS BibTeX