A logic of authentication

Summary

This paper describes the beliefs of trustworthy parties involved in authentication protocols and the evolution of these beliefs as a consequence of communication, and gives the results of the analysis of four published protocols.

Keywords

Computer science, Authentication protocol, Authentication (law), Trustworthiness, Computer security

References

A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report)Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle — 1988
Authentication: A Practical Study in Belief and ActionMichael T. Burrows, Martı́n Abadi, Roger M. Needham — 1988
A key distribution protocol using event markersRocio Bauer, Tom Berson, R. J. Feiertag — 1983
A method for obtaining digital signatures and public-key cryptosystemsRonald L. Rivest, Adi Shamir, Leonard M. Adleman — 1978
Timestamps in key distribution protocolsDorothy E. Denning, Giovanni Maria Sacco — 1981
The complexity of reasoning about knowledge and timeJoseph Y. Halpern, Moshe Y. Vardi — 1986
Knowledge and common knowledge in a distributed environmentJoseph Y. Halpern, Yoram Moses — 1984
On the security of public key protocolsDanny Dolev, A. Yao — 1981
Efficient and timely mutual authenticationDave Otway, Owen Rees — 1987
An axiomatic basis for computer programmingC. A. R. Hoare — 1969
The Interrogator: Protocol Secuity AnalysisJonathan K. Millen, Susan C. Clark, S.B. Freedman — 1987
A logic of authenticationMichael T. Burrows, M. Abadi, R. Needham — 1989
Security Mechanisms in High-Level Network ProtocolsVictor L. Voydock, Stephen Kent — 1983
Using encryption for authentication in large networks of computersRoger M. Needham, Michael Schroeder — 1978
Integrating security in a large distributed systemMahadev Satyanarayanan — 1989
Cryptographic protocolsRichard A. DeMillo, Nancy Lynch, Michael Merritt — 1982
Authentication revisitedRoger M. Needham, Michael Schroeder — 1987
Kerberos authentication and authorization systemSteve Miller, B. C. Neuman, J. Schiller — 1987
A knowledge-based analysis of zero knowledgeJoseph Y. Halpern, Yjoram Moses, Mark R. Tuttle — 1988

Cited by

Evaluation technique in the spicalculus for cryptographic protocolsHasan Al-Refai — 2009
Automatic verification of cryptographic protocols in first-order logicJihong Han, Zhiyong Zhou, Yadi Wang — 2007
Subscriber Privacy in Cellular SystemsGeir M. Køien — 2007
A formal model to express dynamic policies for access control and negotiation in a distributed environment. (Un modèle formel pour exprimer des politiques dynamiques pour contrôle d'accès et négociation dans un environnement distribué)Marwa El Houri — 2010
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by RewritingMonica Nesi, Giustina Nocera — 2006
SIMULATION BASED VALIDATION OF AUTHENTICATION PROTOCOLSKrishnan G. Indiradevi, Vivek Nair — 2004
Contributions à la détection des comportements malhonnêtes dans les réseaux ad hoc AODV par analyse de la confiance impliciteMohamed Ali Ayachi — 2011
Evaluating Cryptographic ProtocolsAlec Yasinsac, William A. Wulf — 1993
Combining Theory Generation and Model Checking for Security Protocol AnalysisNicholas Hopper, Sanjit A. Seshia, Jeannette M. Wing — 2000
Inductive analysis of security protocols in Isabelle/HOL with applications to electronic votingDenis Butin — 2012
Formal Methods for the Analysis of Authentication ProtocolsAviel D. Rubin, Peter Honeyman — 1993
Formal language for security services base modelling and analysisDenis Trček, Borka Jerman Blažič — 1995
A Static Analysis Framework for Security Properties in Mobile and Cryptographic SystemsBenyamin Y. Y. Aziz — 2003
Design of Cryptographic Protocols by Means of Genetic Algorithms TechniquesLuis Zarza, Josep Pegueroles, Miguel Soriano — 2018
Elliptic Curve Cryptography-Based Authentication with Identity Protection for Smart GridsJ.L. Barbour, R.K. Manfred, J.O. Siemssen — 2016
Detecting Intrusions in Security ProtocolsAlec Yasinsac — 2000
Some Remarks on Andrew Secure RPCSirapat Boonkrong — 2010
A Heuristic State Space Search Model for Security Protocol VerificationZ. Furqan, R. Guha, Shahabuddin Muhammad — 2004
Anonymous and secure electronic transaction protocolSrečko Brlek, Sardaouna Hamadou, John Mullins — 2005
A Technique for Remote AuthenticationWilliam A. Wulf, Alec Yasinsac, Katie S. Oliver — 1993

Related papers

Improved Strong Password Mutual Authentication Protocol to Secure on Replay AttackJun-Sub Kim, Jin Kwak — 2010
A novel dynamic user authentication schemeXuguang Ren, Xin-Wen Wu — 2012
Two‐factor authentication scheme using attribute and passwordJianghong Wei, Xuexian Hu, Wenfen Liu — 2017
A Review of Authentication ProtocolsMiss. Pratiksha M. Matkar, Miss. Priyanka V. Bhiogade, Miss. Puja P. Patle — 2018
Unilateral authentication on low-cost devicesVlastimil Člupek, Václav Zeman — 2015
Efficient message authentication protocol for WSNMoisés Salinas Rosales, Gina Gallegos-García, Gonzalo Duchen — 2009
Analysis on various factors affecting the biometrics authenticationM Ephin, J. Udhayan, N. A. Vasanthi — 2012
Authentication for distributed systemsT.Y.C. Woo, Simon S. Lam — 1997
Primitives for authentication in process algebrasChiara Bodei, Pierpaolo Degano, Riccardo Focardi — 2002
Definition of entity authenticationNaveed Ahmed, Christian D. Jensen — 2010