Facets of security

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

Volumn 2874, Issue , 2003, Pages 192-202

  Gollmann, Dieter ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CLOSED SYSTEMS; FUNDAMENTAL CHANGES; SECURITY ANALYSIS; SECURITY DESIGN; SECURITY REQUIREMENTS;

INFORMATION USE;

EID: 0348216661     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40042-4_6     Document Type: Article

References (28)

1. Martín Abadi and Roger Needham. Prudent engineering pratice for cryptographic protocols. In Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy, pages 122-136, 1994.
2. Tuomas Aura, Michael Roe, and Jari Arkko. Security of Internet location management. In Proceedings of the 18th Annual Computer Security Applications Conference, pages 78-87, December 2002.
3. David Bell and Leonard LaPadula. Secure computer system: Unified exposition and Multics interpretation. Technical Report ESD-TR-75-306, The MITRE Corporation, Bedford, MA, 1975.
4. Matt Blaze, Joan Feigenbaum, John Ioannidis, and Angelos D. Keromytis. The KeyNote Trust-Management System Version 2, September 1999. RFC 2704.
5. Matt Blaze, Joan Feigenbaum, and Jack Lacy. Decentralized trust management. In Proceedings of the 1996 IEEE Symposium on Security and Privacy, pages 164-173, 1996.
6. Michael Burrows, Martín Abadi, and Roger Needham. A logic of authentication. DEC Systems Research Center, Report 39, revised February 22 1990.
7. John DeTreville. Binder, a logic-based security language. In Proceedings of the 2002 IEEE Symposium on Security and Privacy, pages 105-113, 2002.
8. Carl M. Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian M. Thomas, and Tatu Ylonen. SPKI Certificate Theory, September 1999. RFC 2693.
9. International Organisation for Standardization. Basic Reference Model for Open Systems Interconnection (OSI) Part 2: Security Architecture. Genève, Switzerland, 1989.
10. Dieter Gollmann. What do we mean by entity authentication? In Proceedings of the 1996 IEEE Symposium on Security and Privacy, pages 46-54, 1996.
11. Dieter Gollmann. Authentication by correspondence. IEEE Journal on Selected Areas in Communications, 21(1):88-95, January 2003.
12. Dieter Gollmann. Analysing security protocols. In A. Abdallah, editor, formal Aspects of Security, LNCS 2629. Springer Verlag, to appear.
13. Li Gong. Inside Java 2 Platform Security. Addison-Wesley, Reading, MA, 1999.
14. Dan Harkins, Charlie Kaufman, Tero Kivinen, Stephen Kent, and Radia Perlman. Design Rationale for IKEv2, February 2002. Internet Draft, draft-ietf-ipsec-ikev2-rationale-00.txt.
15. International Organization for Standardization. Information technology - Security techniques - Entity authentication mechanisms; Part 1: General model. Genève, Switzerland, September 1991. ISO/IEC 9798-1, Second Edition.
16. Charlie Kaufman. Internet Key Exchange (IKEv2) Protocol, January 2003. Internet Draft, draft-ietf-ipsec-ikev2-04.txt.
17. Brian LaMacchia, Sebastian Lange, Matthew Lyons, Rudi Martin, and Kevin Price. .NET Framework Security. Addison Wesley Professional, 2002.
18. Butler Lampson, Martín Abadi, Michael Burrows, and Edward Wobber. Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems, 10(4):265-310, November 1992.
19. Silja Mäki and Tuomas Aura. Towards a survivable security architecture for ad-hoc networks. In B. Christiansen et al., editor, Security Protocols, 9th International Workshop, Cambridge, LNCS 2467, pages 63-73. Springer Verlag, 2002.
20. Catherine A. Meadows. Analysis of the Internet Key Exchange protocol using the NRL Protocol Analyzer. In Proceedings of the 1999 IEEE Symposium on Security and Privacy, pages 216-231, 1999.
21. Alfred J. Menezes, Paul C. van Oorschot, and Scott A. Vanstone. Handbook of Applied Cryptography. CRC Press, Boca Raton, FA, 1997.
22. Roger Needham. Keynote address: The changing environment (transcript of discussion). In B. Christiansen et al., editor, Security Protocols, 7th International Workshop, Cambridge, LNCS 1796, pages 1-5. Springer Verlag, 2000.
23. US Department of Defense. DoD Trusted Computer System Evaluation Criteria, 1985. DOD 5200.28-STD.
24. Kai Rannenberg. How much details and negotiations can users handle? In F. Cuppens et al., editor, ESORICS 2000, LNCS 1895, pages 37-54. Springer Verlag, 2000.
25. Pamela Samuelson. DRM {and, or, vs.} the Law. Communications of the ACM, 46(4):41-45, April 2003.
26. Marvin Schaefer. Symbol security condition considered harmful. In Proceedings of the 1989 IEEE Symposium on Security and Privacy, pages 20-46, 1989.
27. Daniel F. Sterne. On the buzzword "Security Policy". In Proceedings of the 1991 IEEE Symposium on Research in Security and Privacy, pages 219-230, 1991.
28. Jianying Zhou. Fixing a security flaw in IKE protocols. Electronics Letters, 35(13):1072-1073, June 1999.