Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
Author:
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 147-166
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An attack on the Needham-Schroeder public-key authentication protocolInformation Processing Letters, 1995
- A logic of authenticationProceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 1989
- Notes on Communicating Sequential Systems1986
- Timestamps in key distribution protocolsCommunications of the ACM, 1981
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978
- A method for obtaining digital signatures and public-key cryptosystemsCommunications of the ACM, 1978
- New directions in cryptographyIEEE Transactions on Information Theory, 1976