{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T11:10:02Z","timestamp":1745406602664,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351815"},{"type":"electronic","value":"9783642351822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35182-2_6","type":"book-chapter","created":{"date-parts":[[2012,12,6]],"date-time":"2012-12-06T01:19:15Z","timestamp":1354756755000},"page":"66-81","source":"Crossref","is-referenced-by-count":0,"title":["Succour to the Confused Deputy"],"prefix":"10.1007","author":[{"given":"Radha","family":"Jagadeesan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corin","family":"Pitcher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Riely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"5","volume":"172","author":"M. Abadi","year":"2007","unstructured":"Abadi, M.: Access control in a core calculus of dependency. ENTCS\u00a0172, 5\u201331 (2007)","journal-title":"ENTCS"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation\u00a0148, 36\u201347 (1999)","journal-title":"Information and Computation"},{"issue":"3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program. Lang. Syst.\u00a017(3), 507\u2013535 (1995)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR4","first-page":"611","volume":"46","author":"M. Abadi","year":"1998","unstructured":"Abadi, M.: Secrecy by typing in security protocols. Journal of the ACM\u00a046, 611\u2013638 (1998)","journal-title":"Journal of the ACM"},{"issue":"1","key":"6_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/comjnl\/29.1.1","volume":"29","author":"M. Anderson","year":"1986","unstructured":"Anderson, M., Pose, R.D., Wallace, C.S.: A password-capability system. Comput. J.\u00a029(1), 1\u20138 (1986)","journal-title":"Comput. J."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Bierman, G.M., de Paiva, V.C.V.: On an intuitionistic modal logic. Studia Logica 65 (2001)","DOI":"10.1023\/A:1005291931660"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: A language with distributed scope. In: POPL, pp. 286\u2013297 (1995)","DOI":"10.1145\/199448.199516"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Castellani, I.: Process algebras with localities. In: Handbook of Process Algebra, ch. 15, pp. 945\u20131045 (2001)","DOI":"10.1016\/B978-044482830-9\/50033-3"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-540-78739-6_17","volume-title":"Programming Languages and Systems","author":"A. Cirillo","year":"2008","unstructured":"Cirillo, A., Jagadeesan, R., Pitcher, C., Riely, J.: Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 208\u2013223. Springer, Heidelberg (2008)"},{"key":"6_CR10","unstructured":"DeYoung, H., Pfenning, F.: Reasoning about the consequences of authorization policies in a linear epistemic logic. Tech. Rep. 1213, CMU (2009)"},{"key":"6_CR11","unstructured":"Drossopoulou, S.: Ten years of ownership types or the benefits of putting objects into boxes, invited talk at BCS (2008), Talk available at http:\/\/www.doc.ic.ac.uk\/~scd\/BCS.pdf"},{"key":"6_CR12","unstructured":"E: Open source distributed capabilities, http:\/\/www.erights.org"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11416-007-0068-7","volume":"4","author":"R. Feil","year":"2007","unstructured":"Feil, R., Nyffenegger, L.: Evolution of cross site request forgery attacks. Journal in Computer Virology\u00a04(1), 61\u201371 (2007)","journal-title":"Journal in Computer Virology"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gordon, A.D., Maffeis, S.: A type discipline for authorization in distributed systems. In: CSF (2007)","DOI":"10.1109\/CSF.2007.7"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gordon, A.D., Maffeis, S.: A type discipline for authorization policies. ACM Trans. Program. Lang. Syst. 29(5) (2007)","DOI":"10.1145\/1275497.1275500"},{"key":"6_CR16","first-page":"268","volume-title":"PLDI 1991","author":"T. Freeman","year":"1991","unstructured":"Freeman, T., Pfenning, F.: Refinement types for ML. In: PLDI 1991, pp. 268\u2013277. ACM, New York (1991)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/11863908_19","volume-title":"Computer Security \u2013 ESORICS 2006","author":"D. Garg","year":"2006","unstructured":"Garg, D., Bauer, L., Bowers, K.D., Pfenning, F., Reiter, M.K.: A Linear Logic of Authorization and Knowledge. In: Gollmann, D., Meier, J., Sabelfeld, A. (eds.) ESORICS 2006. LNCS, vol.\u00a04189, pp. 297\u2013312. Springer, Heidelberg (2006)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Garg, D., Pfenning, F.: Non-interference in constructive authorization logic. In: CSFW, pp. 283\u2013296 (2006)","DOI":"10.1109\/CSFW.2006.18"},{"key":"6_CR19","unstructured":"Gong, L., Mueller, M., Prafullch, H.: Going beyond the sandbox: An overview of the new security architecture in the Java Development Kit 1.2. In: USENIX Symposium on Internet Technologies and Systems, pp. 103\u2013112 (1997)"},{"key":"6_CR20","unstructured":"Gordon, A.D., Hankin, P.D.: A concurrent object calculus: Reduction and typing. In: Proceedings HLCL 1998 (1998)"},{"issue":"4","key":"6_CR21","doi-asserted-by":"crossref","first-page":"451","DOI":"10.3233\/JCS-2003-11402","volume":"11","author":"A.D. Gordon","year":"2003","unstructured":"Gordon, A.D., Jeffrey, A.: Authenticity by typing for security protocols. Journal of Computer Security\u00a011(4), 451\u2013520 (2003)","journal-title":"Journal of Computer Security"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/54289.871709","volume":"22","author":"N. Hardy","year":"1988","unstructured":"Hardy, N.: The confused deputy: (or why capabilities might have been invented). SIGOPS Oper. Syst. Rev.\u00a022, 36\u201338 (1988)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/858336.858337","volume":"19","author":"N. Hardy","year":"1985","unstructured":"Hardy, N.: KeyKOS architecture. SIGOPS Oper. Syst. Rev.\u00a019, 8\u201325 (1985)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"6_CR24","first-page":"2002","volume":"173","author":"M. Hennessy","year":"1998","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation\u00a0173, 2002 (1998)","journal-title":"Information and Computation"},{"key":"6_CR25","unstructured":"Jagadeesan, R., Pitcher, C., Riely, J.: Non interference for intuitionist necessity. Tech. Rep. 12-003, School of Computing, DePaul University (2012)"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Maffeis, S., Mitchell, J.C., Taly, A.: Object capabilities and isolation of untrusted web applications. In: IEEE Symposium on Security and Privacy, pp. 125\u2013140 (2010)","DOI":"10.1109\/SP.2010.16"},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R.D. Nicola","year":"1997","unstructured":"Nicola, R.D., Ferrari, G., Pugliese, R.: Klaim: a kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering\u00a024, 315\u2013330 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Pfenning, F., Wong, H.C.: On a modal \u03bb-calculus for S4. In: Proceedings of MFOS, New Orleans, Louisiana. ENTCS, vol.\u00a01. Elsevier (March 1995)","DOI":"10.1016\/S1571-0661(04)00028-3"},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1145\/319344.319163","volume":"33","author":"J.S. Shapiro","year":"1999","unstructured":"Shapiro, J.S., Smith, J.M., Farber, D.J.: EROS: a fast capability system. SIGOPS Oper. Syst. Rev.\u00a033, 170\u2013185 (1999)","journal-title":"SIGOPS Oper. Syst. Rev."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35182-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T10:34:52Z","timestamp":1745404492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35182-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351815","9783642351822"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35182-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}