{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T19:21:41Z","timestamp":1792869701240,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540205838","type":"print"},{"value":"9783540400424","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40042-4_6","type":"book-chapter","created":{"date-parts":[[2010,9,3]],"date-time":"2010-09-03T20:35:00Z","timestamp":1283546100000},"page":"192-202","source":"Crossref","is-referenced-by-count":2,"title":["Facets of Security"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Gollmann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Needham, R.: Prudent engineering pratice for cryptographic protocols. In: Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy, pp. 122\u2013136 (1994)","DOI":"10.1109\/RISP.1994.296587"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Aura, T., Roe, M., Arkko, J.: Security of Internet location management. In: Proceedings of the 18th Annual Computer Security Applications Conference, December 2002, pp. 78\u201387 (2002)","DOI":"10.1109\/CSAC.2002.1176281"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Bell, D., LaPadula, L.: Secure computer system: Unified exposition and Multics interpretation. Technical Report ESD-TR-75-306, The MITRE Corporation, Bedford, MA (1975)","DOI":"10.21236\/ADA023588"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Blaze, M., Feigenbaum, J., Ioannidis, J., Keromytis, A.D.: The KeyNote Trust-Management System Version 2, RFC 2704 (September 1999)","DOI":"10.17487\/rfc2704"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: Proceedings of the 1996 IEEE Symposium on Security and Privacy, pp. 164\u2013173 (1996)","DOI":"10.1109\/SECPRI.1996.502679"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. DEC Systems Research Center, Report 39, February 22 (1990) (revised)","DOI":"10.1145\/74850.74852"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"DeTreville, J.: Binder, a logic-based security language. In: Proceedings of the 2002 IEEE Symposium on Security and Privacy, pp. 105\u2013113 (2002)","DOI":"10.1109\/SECPRI.2002.1004365"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Ellison, C.M., Frantz, B., Lampson, B., Rivest, R., Thomas, B.M., Ylonen, T.: SPKI Certificate Theory, RFC 2693 (September 1999)","DOI":"10.17487\/rfc2693"},{"key":"6_CR9","unstructured":"International Organisation for Standardization. Basic Reference Model for Open Systems Interconnection (OSI) Part 2: Security Architecture. Gen\u00e8ve, Switzerland (1989)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Gollmann, D.: What do we mean by entity authentication? In: Proceedings of the 1996 IEEE Symposium on Security and Privacy, pp. 46\u201354 (1996)","DOI":"10.1109\/SECPRI.1996.502668"},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/JSAC.2002.806132","volume":"21","author":"D. Gollmann","year":"2003","unstructured":"Gollmann, D.: Authentication by correspondence. IEEE Journal on Selected. Areas in Communications\u00a021(1), 88\u201395 (2003)","journal-title":"Areas in Communications"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-40981-6_8","volume-title":"Formal Aspects of Security","author":"D. Gollmann","year":"2003","unstructured":"Gollmann, D.: Analysing security protocols. In: Abdallah, A.E., Ryan, P.Y.A., Schneider, S. (eds.) FASec 2002. LNCS, vol.\u00a02629, pp. 71\u201380. Springer, Heidelberg (2003)"},{"key":"6_CR13","volume-title":"Inside Java 2 Platform Security","author":"L. Gong","year":"1999","unstructured":"Gong, L.: Inside Java 2 Platform Security. Addison-Wesley, Reading (1999)"},{"key":"6_CR14","unstructured":"Harkins, D., Kaufman, C., Kivinen, T., Kent, S., Perlman, R.: Design Rationale for IKEv2, Internet Draft, draft-ietf-ipsec-ikev2-rationale-00.txt (February 2002)"},{"key":"6_CR15","unstructured":"International Organization for Standardization. Information technology \u2013 Security techniques \u2013 Entity authentication mechanisms; Part 1: General model. Gen\u00e8ve, Switzerland, ISO\/IEC 9798-1, 2nd edn. (September 1991)"},{"key":"6_CR16","unstructured":"Kaufman, C.: Internet Key Exchange (IKEv2) Protocol, Internet Draft, draft-ietf-ipsec-ikev2-04.txt (January 2003)"},{"key":"6_CR17","volume-title":".NET Framework Security","author":"B. LaMacchia","year":"2002","unstructured":"LaMacchia, B., Lange, S., Lyons, M., Martin, R., Price, K.:.NET Framework Security. Addison Wesley Professional, Reading (2002)"},{"issue":"4","key":"6_CR18","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/138873.138874","volume":"10","author":"B. Lampson","year":"1992","unstructured":"Lampson, B., Abadi, M., Burrows, M., Wobber, E.: Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems\u00a010(4), 265\u2013310 (1992)","journal-title":"ACM Transactions on Computer Systems"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-45807-7_10","volume-title":"Security Protocols","author":"S. M\u00e4ki","year":"2002","unstructured":"M\u00e4ki, S., Aura, T.: Towards a survivable security architecture for ad-hoc networks. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds.) Security Protocols 2001. LNCS, vol.\u00a02467, pp. 63\u201373. Springer, Heidelberg (2002)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Meadows, C.A.: Analysis of the Internet Key Exchange protocol using the NRL Protocol Analyzer. In: Proceedings of the 1999 IEEE Symposium on Security and Privacy, pp. 216\u2013231 (1999)","DOI":"10.21236\/ADA465466"},{"key":"6_CR21","volume-title":"Handbook of Applied Cryptography","author":"A.J. Menezes","year":"1997","unstructured":"Menezes, A.J., van Oorschot, P.C., Vanstone, S.A.: Handbook of Applied Cryptography. CRC Press, Boca Raton (1997)"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10720107_1","volume-title":"Security Protocols","author":"R. Needham","year":"2000","unstructured":"Needham, R.: Keynote address: The changing environment (transcript of discussion). In: Malcolm, J.A., Christianson, B., Crispo, B., Roe, M. (eds.) Security Protocols 1999. LNCS, vol.\u00a01796, pp. 1\u20135. Springer, Heidelberg (2000)"},{"key":"6_CR23","unstructured":"US Department of Defense. DoD Trusted Computer System Evaluation Criteria, DOD 5200.28-STD (1985)"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/10722599_3","volume-title":"Computer Security - ESORICS 2000","author":"K. Rannenberg","year":"2000","unstructured":"Rannenberg, K.: How much details and negotiations can users handle? In: Cuppens, F., Deswarte, Y., Gollmann, D., Waidner, M. (eds.) ESORICS 2000. LNCS, vol.\u00a01895, pp. 37\u201354. Springer, Heidelberg (2000)"},{"issue":"4","key":"6_CR25","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/641205.641229","volume":"46","author":"P. Samuelson","year":"2003","unstructured":"Samuelson, P.: DRM {and, or, vs.} the Law. Communications of the ACM\u00a046(4), 41\u201345 (2003)","journal-title":"Communications of the ACM"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Schaefer, M.: Symbol security condition considered harmful. In: Proceedings of the 1989 IEEE Symposium on Security and Privacy, pp. 20\u201346 (1989)","DOI":"10.1109\/SECPRI.1989.36275"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Sterne, D.F.: On the buzzword \u201cSecurity Policy\u201d. In: Proceedings of the 1991 IEEE Symposium on Research in Security and Privacy, pp. 219\u2013230 (1991)","DOI":"10.1109\/RISP.1991.130789"},{"issue":"13","key":"6_CR28","doi-asserted-by":"publisher","first-page":"1072","DOI":"10.1049\/el:19990747","volume":"35","author":"J. Zhou","year":"1999","unstructured":"Zhou, J.: Fixing a security flaw in IKE protocols. Electronics Letters\u00a035(13), 1072\u20131073 (1999)","journal-title":"Electronics Letters"}],"container-title":["Lecture Notes in Computer Science","Global Computing. Programming Environments, Languages, Security, and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40042-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T01:00:12Z","timestamp":1636333212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40042-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205838","9783540400424"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40042-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}