Logic and over-simplification

Proceedings - Symposium on Logic in Computer Science

Volumn 1998-June, Issue , 1998, Pages 2-3

  Needham, R M ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER PROGRAMMING; NETWORK SECURITY; STUDENTS;

BAN LOGIC; CRYPTOGRAPHIC PROTOCOLS; GRADUATE STUDENTS; SECURE CHANNELS; SECURE NETWORKS;

COMPUTER CIRCUITS;

EID: 38049017881     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.1998.705638     Document Type: Conference Paper

References (4)

1. M. Burrows, M. Abadi, and R. Needham. A Logic of Authentication, DEC SRC Technical report 39.
2. R. Needham and M. Schroeder, Using Encryption for Authentication in Large Networks of Computers, CACM, December 1978.
3. M. Abadi and R. Needham. Prudent Engineering Practice for Cryptographic Protocols, IEE Sym- posium on Security and Privacy, May 1994.
4. L. Paulson. The Inductive Approach to Verifying Cryptographic Protocols, To be published. Avail-Able via http://www.cl.cam.ac.uk.