1997 · 160 citations · 60 references
Open access
ComputingComputer ScienceCybersecurityAuthenticationComputer SecuritySecurity ProtocolsAuthentication ProtocolsAuthentication SecurityChallenge-response AuthenticationMutual AuthenticationPassword-based AuthenticationSecurity Protocol VerificationAuthentication PropertiesAuthentication SchemesFormal Verification Of Authentication ProtocolsLightweight Authentication ProtocolsSecure Authentication Protocols
this report). This report describes what sorts of protocols have been specified and outlines what methods have been used to analyse them. In addition, it provides a summary of the ways in which protocols have been found to fail. There is a large amount of material in the field and the main body of this document is intended as a concise introduction to and survey of the field. Some types of protocol are given little detailed attention, particularly those which rely on number-theoretic properties for their security. It is envisaged that future editions of this report will provide a complete coverage. An annotated bibliography is included to guide the reader. Since authentication relies heavily on encryption and decryption to achieve its goals we also provide a brief review of elements of cryptography. 1.2 A Protocols Resource
60
New directions in cryptography
Whitfield Diffie, Martin E. Hellman · IEEE Transactions on Information Theory · 1976 · 14.4K citations
Kerberos: An Authentication Service for Open Network Systems
Jennifer G. Steiner, Athena, Clifford Neuman et al. · 1988 · 1K citations