A formal framework for authentication
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 273-292
- https://doi.org/10.1007/bfb0013903
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- A system for the specification and analysis of key management protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A logic of authenticationProceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
- The Interrogator: Protocol Secuity AnalysisIEEE Transactions on Software Engineering, 1987
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978
- A high security log-in procedureCommunications of the ACM, 1974