{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:01Z","timestamp":1761611221353,"version":"3.34.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540784975"},{"type":"electronic","value":"9783540784999"}],"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-78499-9_16","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T23:02:25Z","timestamp":1207090945000},"page":"216-230","source":"Crossref","is-referenced-by-count":24,"title":["A Modal Deconstruction of Access Control Logics"],"prefix":"10.1007","author":[{"given":"Deepak","family":"Garg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"Abadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Abadi, M.: Logic in access control. In: Proceedings of the 18th Annual Symposium on Logic in Computer Science (LICS 2003), pp. 228\u2013233 (June 2003)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M.: Access control in a core calculus of dependency. Electronic Notes in Theoretical Computer Science, Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin 172, 5\u201331 (April 2007)","DOI":"10.1016\/j.entcs.2007.02.002"},{"issue":"4","key":"16_CR3","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1145\/155183.155225","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems\u00a015(4), 706\u2013734 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"M. Abadi","year":"2004","unstructured":"Abadi, M., Wobber, T.: A logical account of NGSCB. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 1\u201312. Springer, Heidelberg (2004)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-44802-0_21","volume-title":"Computer Science Logic","author":"N. Alechina","year":"2001","unstructured":"Alechina, N., Mendler, M., de Paiva, V., Ritter, E.: Categorical and kripke semantics for constructive S4 modal logic. In: Fribourg, L. (ed.) CSL 2001. LNCS, vol.\u00a02142, pp. 292\u2013307. Springer, Heidelberg (2001)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Appel, A.W., Felten, E.W.: Proof-carrying authentication. In: Proceedings of the 6th ACM Conference on Computer and Communications Security, pp. 52\u201362 (November 1999)","DOI":"10.1145\/319709.319718"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/11556992_31","volume-title":"Information Security","author":"L. Bauer","year":"2005","unstructured":"Bauer, L., Garriss, S., McCune, J.M., Reiter, M.K., Rouse, J., Rutenbar, P.: Device-enabled authorization in the Grey system. In: Zhou, J., L\u00f3pez, J., Deng, R.H., Bao, F. (eds.) ISC 2005. LNCS, vol.\u00a03650, pp. 431\u2013445. Springer, Heidelberg (2005)"},{"key":"16_CR8","unstructured":"Bauer, L.: Access Control for the Web via Proof-Carrying Authorization. PhD thesis, Princeton University (November 2003)"},{"key":"16_CR9","unstructured":"Bauer, L., Garriss, S., Reiter, M.K.: Distributed proving in access-control systems. In: Proceedings of the 2005 Symposium on Security and Privacy, pp. 81\u201395 (May 2005)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Fournet, C., Gordon, A.D.: Design and semantics of a decentralized authorization language. In: 20th IEEE Computer Security Foundations Symposium, pp. 3\u201315 (2007)","DOI":"10.1109\/CSF.2007.18"},{"issue":"2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1017\/S0956796898002998","volume":"8","author":"P.N. Benton","year":"1998","unstructured":"Benton, P.N., Bierman, G.M., de Paiva, V.C.V.: Computational types from a logical perspective. Journal of Functional Programming\u00a08(2), 177\u2013193 (1998)","journal-title":"Journal of Functional Programming"},{"key":"16_CR12","first-page":"2208","volume-title":"The Computer Science and Engineering Handbook","author":"L. Cardelli","year":"1997","unstructured":"Cardelli, L.: Type systems. In: Tucker, A.B. (ed.) The Computer Science and Engineering Handbook, ch.\u00a0103, pp. 2208\u20132236. CRC Press, Boca Raton, FL (1997)"},{"issue":"2","key":"16_CR13","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10207-007-0017-y","volume":"6","author":"J.G. Cederquist","year":"2007","unstructured":"Cederquist, J.G., Corin, R., Dekker, M.A.C., Etalle, S., den Hartog, J.I., Lenzini, G.: Audit-based compliance control. Int. J. Inf. Secur.\u00a06(2), 133\u2013151 (2007)","journal-title":"Int. J. Inf. Secur."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Cirillo, A., Jagadeesan, R., Pitcher, C., Riely, J.: Do as I SaY! programmatic access control with explicit identities. In: 20th IEEE Computer Security Foundations Symposium, pp. 16\u201330 (July 2007)","DOI":"10.1109\/CSF.2007.19"},{"issue":"4","key":"16_CR15","doi-asserted-by":"publisher","first-page":"249","DOI":"10.2307\/2266613","volume":"17","author":"H.B. Curry","year":"1952","unstructured":"Curry, H.B.: The elimination theorem when modality is present. Journal of Symbolic Logic\u00a017(4), 249\u2013265 (1952)","journal-title":"Journal of Symbolic Logic"},{"key":"16_CR16","unstructured":"DeTreville, J.: Binder, a logic-based security language. In: Proceedings of the 2002 IEEE Symposium on Security and Privacy, pp. 105\u2013113 (May 2002)"},{"issue":"1","key":"16_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2627","volume":"137","author":"M. Fairtlough","year":"1997","unstructured":"Fairtlough, M., Mendler, M.V.: Propositional lax logic. Information and Computation\u00a0137(1), 1\u201333 (1997)","journal-title":"Information and Computation"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gordon, A.D., Maffeis, S.: A type discipline for authorization in distributed systems. In: 20th IEEE Computer Security Foundations Symposium, pp. 31\u201345 (2007)","DOI":"10.1109\/CSF.2007.7"},{"key":"16_CR19","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":"16_CR20","unstructured":"Garg, D., Pfenning, F.: Non-interference in constructive authorization logic. In: Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 19), pp. 283\u2013296 (2006)"},{"key":"16_CR21","unstructured":"Girard, J.-Y.: Interpr\u00e9tation Fonctionnelle et Elimination des Coupures de l\u2019Arithm\u00e9tique d\u2019Ordre Sup\u00e9rieur. Th\u00e8se de doctorat d\u2019\u00e9tat, Universit\u00e9 Paris VII (June 1972)"},{"key":"16_CR22","first-page":"39","volume":"8","author":"K. G\u00f6del","year":"1933","unstructured":"G\u00f6del, K.: Eine Interpretation des intuitionistischen Aussagenkalkuls. Ergebnisse eines mathematischen Kolloquiums\u00a08, 39\u201340 (1933)","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"issue":"4","key":"16_CR23","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1017\/S0960129501003334","volume":"11","author":"J.M. Howe","year":"2001","unstructured":"Howe, J.M.: Proof search in lax logic. Mathematical Structures in Computer Science\u00a011(4), 573\u2013588 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR24","volume-title":"An Introduction to Modal Logic","author":"G.E. Hughes","year":"1968","unstructured":"Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic. Methuen Inc., New York (1968)"},{"issue":"3","key":"16_CR25","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"R.E. Ladner","year":"1977","unstructured":"Ladner, R.E.: The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing\u00a06(3), 467\u2013480 (1977)","journal-title":"SIAM Journal on Computing"},{"issue":"4","key":"16_CR26","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":"16_CR27","unstructured":"Lampson, B.W.: Protection. In: Proceedings of the 5th Princeton Conference on Information Sciences and Systems, pp. 437\u2013443 (1971)"},{"issue":"6","key":"16_CR28","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.2004.17","volume":"37","author":"B.W. Lampson","year":"2004","unstructured":"Lampson, B.W.: Computer security in the real world. IEEE Computer\u00a037(6), 37\u201346 (2004)","journal-title":"IEEE Computer"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Lesniewski-Laas, C., Ford, B., Strauss, J., Kaashoek, M.F., Morris, R.: Alpaca: Extensible authorization for distributed services. In: 14th ACM Conference on Computer and Communications Security, pp. 432\u2013444 (2007)","DOI":"10.1145\/1315245.1315299"},{"issue":"1","key":"16_CR30","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/605434.605438","volume":"6","author":"N. Li","year":"2003","unstructured":"Li, N., Grosof, B.N., Feigenbaum, J.: Delegation logic: A logic-based approach to distributed authorization. ACM Transactions on Information and System Security\u00a06(1), 128\u2013171 (2003)","journal-title":"ACM Transactions on Information and System Security"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Li, N., Mitchell, J.C.: Datalog with constraints: A foundation for trust management languages. In: Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages, pp. 58\u201373 (2003)","DOI":"10.1007\/3-540-36388-2_6"},{"issue":"3","key":"16_CR32","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1145\/1066100.1066103","volume":"52","author":"N. Li","year":"2005","unstructured":"Li, N., Mitchell, J.C., Winsborough, W.H.: Beyond proof-of-compliance: security analysis in trust management. J. ACM\u00a052(3), 474\u2013514 (2005)","journal-title":"J. ACM"},{"issue":"1","key":"16_CR33","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation\u00a093(1), 55\u201392 (1991)","journal-title":"Information and Computation"},{"key":"16_CR34","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1017\/S0960129501003322","volume":"11","author":"F. Pfenning","year":"2001","unstructured":"Pfenning, F., Davies, R.: A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science\u00a011, 511\u2013540 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"16_CR35","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/174613.174614","volume":"12","author":"E. Wobber","year":"1994","unstructured":"Wobber, E., Abadi, M., Burrows, M., Lampson, B.: Authentication in the Taos operating system. ACM Transactions on Computer Systems\u00a012(1), 3\u201332 (1994)","journal-title":"ACM Transactions on Computer Systems"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78499-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:22:34Z","timestamp":1558279354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78499-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540784975","9783540784999"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78499-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}