Insider fraud

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1550, Issue , 1998, Pages 213-219

  Gollmann, Dieter ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

SECURITY ISSUES; SECURITY MODEL; SECURITY PROTOCOLS;

NETWORK SECURITY;

EID: 84957808033     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49135-X_29     Document Type: Conference Paper

References (9)

1. Michael Burrows, Martín Abadi, and Roger Needham. A logic of authentication. DEC Systems Research Center, Report 39, revised February 22 1990.
2. Dieter Gollmann. What do we mean by entity authentication? In Proceedings of the 1996 IEEE Symposium on Security and Privacy, pages 46-54, 1996.
3. Gavin Lowe. An attack on the Needham-Schroeder public-key authentication protocol. Information Processing Letters, 56(3):131-133, 1995.
4. Gavin Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proceedings of TACAS, pages 147-166. Springer LNCS 1055, 1996.
5. Gavin Lowe. Some new attacks upon security protocols. In Proceedings of the 9th IEEE Computer Security Foundations Workshop, pages 162-169, 1996.
6. Roger M. Needham and M.D. Schroeder. Using encryption for authentication in large networks of computers. CACM, 21:993-999, 1978.
7. Lawrence C. Paulson. The inductive approach to verifying cryptographic protocols. Technical Report 443, Computer Laboratory, University of Cambridge, February 1998.
8. A.W. Roscoe. Intensional specifications of security protocols. In Proceedings of the 9th IEEE Computer Security Foundations Workshop, pages 28-38, 1996.
9. Paul Syverson. Adding time to a logic of authentication. In Proceedings of the 1st ACM Conference on Computer and Communications Security, pages 97-101, 1993.