{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T00:58:37Z","timestamp":1794358717042,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540883128","type":"print"},{"value":"9783540883135","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88313-5_36","type":"book-chapter","created":{"date-parts":[[2008,10,4]],"date-time":"2008-10-04T00:41:44Z","timestamp":1223080904000},"page":"563-579","source":"Crossref","is-referenced-by-count":14,"title":["Code-Carrying Authorization"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Maffeis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mart\u00edn","family":"Abadi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C\u00e9dric","family":"Fournet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"36_CR1","series-title":"ENTCS","first-page":"5","volume-title":"Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin","author":"M. Abadi","year":"2007","unstructured":"Abadi, M.: Access control in a core calculus of dependency. In: Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin. ENTCS, vol.\u00a0172, pp. 5\u201331. Elsevier, Amsterdam (2007)"},{"key":"36_CR2","first-page":"213","volume-title":"POPL 1989: Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages","author":"M. Abadi","year":"1989","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically-typed language. In: POPL 1989: Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages, pp. 213\u2013227. ACM, New York (1989)"},{"key":"36_CR3","doi-asserted-by":"publisher","first-page":"1","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. Inf. and Comp.\u00a0148, 1\u201370 (1999)","journal-title":"Inf. and Comp."},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Appel, A.W., Felten, E.W.: Proof-carrying authentication. In: CCS 1999: Proceedings of the 6th ACM Conference on Computer and Communications Security, pp. 52\u201362 (1999)","DOI":"10.1145\/319709.319718"},{"key":"36_CR5","unstructured":"Bauer, L., Schneider, M.A., Felten, E.W.: A general and flexible access-control system for the Web. In: Proceedings of the 11th USENIX Security Symposium, pp. 93\u2013108 (2002)"},{"key":"36_CR6","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/CSF.2008.27","volume-title":"21st IEEE Computer Security Foundations Symposium (CSF 2008)","author":"J. Bengtson","year":"2008","unstructured":"Bengtson, J., Bhargavan, K., Fournet, C., Gordon, A.D., Maffeis, S.: Refinement types for secure implementations. In: 21st IEEE Computer Security Foundations Symposium (CSF 2008), June 2008, pp. 17\u201332. IEEE, Los Alamitos (2008)"},{"issue":"1","key":"36_CR7","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S. Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about Datalog (and never dared to ask). IEEE Trans. Knowl. Data Eng.\u00a01(1), 146\u2013166 (1989)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"36_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1040294.1040295","volume-title":"ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2005)","author":"B.-Y.E. Chang","year":"2005","unstructured":"Chang, B.-Y.E., Chlipala, A.J., Necula, G.C., Schneck, R.R.: The Open Verifier framework for foundational verifiers. In: ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2005), pp. 1\u201312. ACM, New York (2005)"},{"key":"36_CR9","first-page":"16","volume-title":"CSF 2007: 20th IEEE Computer Security Foundation Symposium","author":"A. Cirillo","year":"2007","unstructured":"Cirillo, A., Jagadeesan, R., Pitcher, C., Riely, J.: Do As I SaY! Programmatic access control with explicit identities. In: CSF 2007: 20th IEEE Computer Security Foundation Symposium, pp. 16\u201330. IEEE, Los Alamitos (2007)"},{"key":"36_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-78663-4_13","volume-title":"Trustworthy Global Computing","author":"A. Cirillo","year":"2008","unstructured":"Cirillo, A., Riely, J.: Access control based on code identity for open distributed systems. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol.\u00a04912, pp. 169\u2013185. Springer, Heidelberg (2008)"},{"key":"36_CR11","first-page":"105","volume-title":"IEEE Computer Society Symposium on Research in Security and Privacy","author":"J. DeTreville","year":"2002","unstructured":"DeTreville, J.: Binder, a logic-based security language. In: IEEE Computer Society Symposium on Research in Security and Privacy, pp. 105\u2013113. IEEE, Los Alamitos (2002)"},{"issue":"5","key":"36_CR12","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1275497.1275500","volume":"29","author":"C. Fournet","year":"2007","unstructured":"Fournet, C., Gordon, A.D., Maffeis, S.: A type discipline for authorization policies. ACM Trans. Program. Lang. Syst.\u00a029(5), 25 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"36_CR13","first-page":"31","volume-title":"CSF 2007: 20th IEEE Computer Security Foundation Symposium","author":"C. Fournet","year":"2007","unstructured":"Fournet, C., Gordon, A.D., Maffeis, S.: A type discipline for authorization policies in distributed systems. In: CSF 2007: 20th IEEE Computer Security Foundation Symposium, pp. 31\u201345. IEEE, Los Alamitos (2007)"},{"issue":"4-5","key":"36_CR14","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s00236-005-0178-y","volume":"42","author":"M. Hennessy","year":"2005","unstructured":"Hennessy, M., Rathke, J., Yoshida, N.: SafeDpi: a language for controlling mobile code. Acta Inf.\u00a042(4-5), 227\u2013290 (2005)","journal-title":"Acta Inf."},{"key":"36_CR15","first-page":"432","volume-title":"CCS 2007: Proceedings of the 14th ACM conference on Computer and communications security","author":"C. Lesniewski-Laas","year":"2007","unstructured":"Lesniewski-Laas, C., Ford, B., Strauss, J., Morris, R., Kaashoek, M.F.: Alpaca: extensible authorization for distributed services. In: CCS 2007: Proceedings of the 14th ACM conference on Computer and communications security, pp. 432\u2013444. ACM, New York (2007)"},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"Maffeis, S., Abadi, M., Fournet, C., Gordon, A.D.: Code-carrying authorization. Long version (2008), \n                    \n                      http:\/\/www.doc.ic.ac.uk\/~maffeis\/cca.pdf","DOI":"10.1007\/978-3-540-88313-5_36"},{"key":"36_CR17","first-page":"106","volume-title":"POPL 1997: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"G.C. Necula","year":"1997","unstructured":"Necula, G.C.: Proof-carrying code. In: POPL 1997: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 106\u2013119. ACM, New York (1997)"},{"issue":"3-4","key":"36_CR18","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/B:JARS.0000021016.61054.3b","volume":"31","author":"J. Riely","year":"2003","unstructured":"Riely, J., Hennessy, M.: Trust and partial typing in open systems of mobile agents. J. Autom. Reas.\u00a031(3-4), 335\u2013370 (2003)","journal-title":"J. Autom. Reas."},{"key":"36_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-56610-4_62","volume-title":"TAPSOFT \u201993: Theory and Practice of Software Development","author":"D. Sangiorgi","year":"1993","unstructured":"Sangiorgi, D.: From pi-calculus to higher-order pi-calculus - and back. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol.\u00a0668, pp. 151\u2013166. Springer, Heidelberg (1993)"},{"key":"36_CR20","first-page":"163","volume-title":"21st IEEE Computer Security Foundations Symposium (CSF 2008)","author":"J.A. Vaughan","year":"2008","unstructured":"Vaughan, J.A., Jia, L., Mazurak, K., Zdancewic, S.: Evidence-based audit. In: 21st IEEE Computer Security Foundations Symposium (CSF 2008), June 2008, pp. 163\u2013176. IEEE, Los Alamitos (2008)"}],"container-title":["Lecture Notes in Computer Science","Computer Security - ESORICS 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88313-5_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:13:52Z","timestamp":1559506432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88313-5_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540883128","9783540883135"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88313-5_36","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-88313-5","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}