{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:40Z","timestamp":1725489520551},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425663"},{"type":"electronic","value":"9783540448105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44810-1_2","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T04:36:35Z","timestamp":1187238995000},"page":"5-13","source":"Crossref","is-referenced-by-count":1,"title":["Mergers and Principals"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Gollmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,20]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/JCS-1998-61-202","volume":"6","author":"M. Abadi","year":"1998","unstructured":"Mart\u00edn Abadi. On SDSI\u2019s linked local name spaces. Journal of Computer Security, 6:3\u201321, 1998.","journal-title":"Journal of Computer Security"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Andrew D. Birrell, Butler W. Lampson, Roger M. Needham, and Michael D. Schroeder. A global authentication service without global trust. In Proceedings of the 1986 IEEE Symposium on Research in Security and Privacy, pages 223\u2013230, 1986.","DOI":"10.1109\/SP.1986.10009"},{"key":"2_CR3","unstructured":"Michael Burrows, Mart\u00edn Abadi, and Roger Needham. Authentication: A practical study in belief and action. In M. Y. Vardi, editor, Theoretical Aspects of Reasoning About Knowledge, pages 325\u2013342, 1988."},{"key":"2_CR4","unstructured":"Michael Burrows, Mart\u00edn Abadi, and Roger Needham. A logic of authentication. DEC Systems Research Center, Report 39, revised February 22 1990."},{"key":"2_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/3-540-49135-X_7","volume-title":"Security Protocols","author":"J. Feigenbaum","year":"1998","unstructured":"Joan Feigenbaum. Overview of the AT&T Labs trust-management project. In Security Protocols, LNCS 1550, pages 45\u201350. Springer Verlag, 1998."},{"key":"2_CR6","unstructured":"M. Gasser. The role of naming in secure distributed systems. In Proceedings of the CS\u201990 Symposium on Computer Security, pages 97\u2013109, Rome, Italy, November 1990."},{"key":"2_CR7","unstructured":"M. Gasser, A. Goldstein, C. Kaufman, and B. Lampson. The digital distributed system security architecture. In Proceedings of the 1989 National Computer Security Conference, 1989."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Dieter Gollmann. On the verification of cryptographic protocols-a tale of two committees. In S. Schneider, editor, ENTCS Proceedings of the DERA\/RHBNC workshops on Secure Architectures and Information Flow, 1999. Elsevier, 2000. http:\/\/www.elsevier.nl\/locate\/entcs\/volume32.html .","DOI":"10.1016\/S1571-0661(04)00094-5"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Dieter Gollmann. Whither authentication. In M. Roe, editor, Proceedings of the 1999 Cambridge Security Protocols Workshop. Springer Verlag, to appear.","DOI":"10.1007\/10720107_9"},{"key":"2_CR10","volume-title":"Inside Java 2 Platform Security","author":"L. Gong","year":"1999","unstructured":"Li Gong. Inside Java 2 Platform Security. Addison-Wesley, Reading, MA, 1999."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and R. van der Meyden. A logic for SDSI linked local name spaces. In Proceedings of the 12th IEEE Computer Security Foundations Workshop, pages 111\u2013122, 1999.","DOI":"10.1109\/CSFW.1999.779767"},{"key":"2_CR12","unstructured":"Himanshu Khurana and Virgil D. Gligor. Review and revocation of access privileges distributed with PKI certificates. In this proceedings."},{"key":"2_CR13","unstructured":"J. T. Kohl. The evolution of the kerberos authentication service. In Spring 1991 EurOpen Conference, Troms\u00f8, Norway, 1991."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Butler Lampson, Mart\u00edn Abadi, Michael Burrows, and Edward Wobber. Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems, 10(4):265\u2013310, November 1992.","DOI":"10.1145\/138873.138874"},{"key":"2_CR15","volume-title":"Technical report","author":"S. P. Miller","year":"1987","unstructured":"S. P. Miller, B. C. Neuman, J. I. Schiller, and J. H. Saltzer. Section E.2.1: Kerberos authentication and authorization system. Technical report, MIT Project Athena, Cambridge, MA, 1987."},{"key":"2_CR16","unstructured":"Ron Rivest and Butler Lampson. SDSI-a simple distributed security infrastructure. Technical report, 1996. http:\/\/theory.lcs.mit.edu\/~cis\/sdsi.html ."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"A. W. Roscoe. Intensional specifications of security protocols. In Proceedings of the 9th IEEE Computer Security Foundations Workshop, pages 28\u201338, 1996.","DOI":"10.1109\/CSFW.1996.503688"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"J. J. Tardo and K. Alagappan. SPX-global authentication using public-key certificates. In Proceedings of the 1991 IEEE Symposium on Research in Security and Privacy, pages 232\u2013244, 1991.","DOI":"10.1109\/RISP.1991.130791"}],"container-title":["Lecture Notes in Computer Science","Security Protocols"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44810-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:18:03Z","timestamp":1556756283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44810-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425663","9783540448105"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44810-1_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}