Logic and over-simplification
- 27 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Prudent engineering practice for cryptographic protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1994
- A logic of authenticationPublished by Association for Computing Machinery (ACM) ,1989
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978