{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T10:13:58Z","timestamp":1775470438119,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540446019","type":"print"},{"value":"9783540446057","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11863908_19","type":"book-chapter","created":{"date-parts":[[2006,9,15]],"date-time":"2006-09-15T23:28:46Z","timestamp":1158362926000},"page":"297-312","source":"Crossref","is-referenced-by-count":31,"title":["A Linear Logic of Authorization and Knowledge"],"prefix":"10.1007","author":[{"given":"Deepak","family":"Garg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lujo","family":"Bauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin D.","family":"Bowers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Pfenning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael K.","family":"Reiter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Abadi, M.: Personal communication"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1109\/LICS.2003.1210062","volume-title":"Proceedings of the 18th Annual Symposium on Logic in Computer Science (LICS 2003)","author":"M. Abadi","year":"2003","unstructured":"Abadi, M.: Logic in access control. In: Proceedings of the 18th Annual Symposium on Logic in Computer Science (LICS 2003), Ottawa, Canada, June 2003, pp. 228\u2013233. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"19_CR3","first-page":"147","volume-title":"Conference Record of the 26th Sympoisum on Principles Of Programming Languages (POPL 1999), San Antonio, Texas","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A core calculus of dependency. In: Conference Record of the 26th Sympoisum on Principles Of Programming Languages (POPL 1999), San Antonio, Texas, pp. 147\u2013160. ACM Press, New York (1999)"},{"issue":"4","key":"19_CR4","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"},{"issue":"3","key":"19_CR5","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J.-M. Andreoli","year":"1992","unstructured":"Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation\u00a02(3), 297\u2013347 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/319709.319718","volume-title":"Proceedings of the 6th Conference on Computer and Communications Security","author":"A.W. Appel","year":"1999","unstructured":"Appel, A.W., Felten, E.W.: Proof-carrying authentication. In: Tsudik, G. (ed.) Proceedings of the 6th Conference on Computer and Communications Security, Singapore, November 1999, pp. 52\u201362. ACM Press, New York (1999)"},{"key":"19_CR7","unstructured":"Bauer, L.: Access Control for the Web via Proof-Carrying Authorization. PhD thesis, Princeton University (November 2003)"},{"key":"19_CR8","unstructured":"Bauer, L., Bowers, K.D., Pfenning, F., Reiter, M.K.: Consumable credentials in logic-based access control. Technical Report CMU-CYLAB-06-002, Carnegie Mellon University (February 2006)"},{"issue":"1","key":"19_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/605434.605437","volume":"6","author":"E. Bertino","year":"2003","unstructured":"Bertino, E., Catania, B., Ferrari, E., Perlasca, P.: A logical framework for reasoning about access control models. ACM Trans. Inf. Syst. Secur.\u00a06(1), 71\u2013127 (2003)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"19_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/JCS-2005-13102","volume":"13","author":"S. Bistarelli","year":"2005","unstructured":"Bistarelli, S., Cervesato, I., Lenzini, G., Martinelli, F.: Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis. Journal of Computer Security\u00a013, 3\u201347 (2005)","journal-title":"Journal of Computer Security"},{"key":"19_CR11","unstructured":"Chang, B.-Y.E., Chaudhuri, K., Pfenning, F.: A judgmental analysis of linear logic. Extended version available as Technical Report CMU-CS-03-131R (submitted) (December 2003)"},{"issue":"1","key":"19_CR12","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1093\/comjnl\/44.2.137","volume":"44","author":"J. Crampton","year":"2001","unstructured":"Crampton, J., Loizou, G., O\u2019 Shea, G.: A logic of access control. The Computer Journal\u00a044(1), 137\u2013149 (2001)","journal-title":"The Computer Journal"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/SECPRI.2002.1004365","volume-title":"Proceedings of the 2002 Symposium on Security and Privacy (S&P 2002)","author":"J. Treville De","year":"2002","unstructured":"De Treville, J.: Binder, a logic-based security language. In: Abadi, M., Bellovin, S. (eds.) Proceedings of the 2002 Symposium on Security and Privacy (S&P 2002), Berkeley, California, May 2002, pp. 105\u2013113. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"19_CR14","volume-title":"Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 19)","author":"D. Garg","year":"2006","unstructured":"Garg, D., Pfenning, F.: Non-interference in constructive authorization logic. In: Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 19). IEEE Computer Society Press, Los Alamitos (to appear, 2006)"},{"issue":"1","key":"19_CR15","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. Trans. Inf. Syst. Secur.\u00a06(1), 128\u2013171 (2003)","journal-title":"Trans. Inf. Syst. Secur."},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-36388-2_6","volume-title":"Practical Aspects of Declarative Languages","author":"N. Li","year":"2002","unstructured":"Li, N., Mitchell, J.C.: DATALOG with constraints: A foundation for trust management languages. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 58\u201373. Springer, Heidelberg (2002)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"L\u00f3pez, P., Pfenning, F., Polakow, J., Watkins, K.: Monadic concurrent linear logic programming. In: Proceedings of the 7th International Symposium on Principles and Practice of Declarative Programming (PPDP 2005), Lisbon, Portugal (2005)","DOI":"10.1145\/1069774.1069778"},{"issue":"1\/2","key":"19_CR18","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1006\/inco.1999.2832","volume":"157","author":"F. Pfenning","year":"2000","unstructured":"Pfenning, F.: Structural cut elimination I. Intuitionistic and classical logic. Information and Computation\u00a0157(1\/2), 84\u2013141 (2000)","journal-title":"Information and Computation"},{"key":"19_CR19","unstructured":"Rue\u00df, H., Shankar, N.: Introducing Cyberlogic. In: Proceedings of the 3rd Annual High Confidence Software and Systems Conference, Baltimore, Maryland (April 2003)"},{"key":"19_CR20","first-page":"53","volume":"8","author":"W. Hoek van der","year":"2002","unstructured":"van der Hoek, W., Verbrugge, R.: Epistemic logic: A survey. Game Theory and Applications\u00a08, 53\u201394 (2002)","journal-title":"Game Theory and Applications"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2006"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11863908_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:21:05Z","timestamp":1559506865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11863908_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540446019","9783540446057"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11863908_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}