{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:10:05Z","timestamp":1745939405861,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360381"},{"type":"electronic","value":"9783642360398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36039-8_17","type":"book-chapter","created":{"date-parts":[[2012,12,21]],"date-time":"2012-12-21T08:54:23Z","timestamp":1356080063000},"page":"185-196","source":"Crossref","is-referenced-by-count":0,"title":["Noninterference for Intuitionist Necessity"],"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":"17_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":"17_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A core calculus of dependency. In: POPL, pp. 147\u2013160 (1999)","DOI":"10.1145\/292540.292555"},{"issue":"4","key":"17_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.W., Plotkin, G.D.: A calculus for access control in distributed systems. ACM Trans. Program. Lang. Syst.\u00a015(4), 706\u2013734 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"17_CR4","first-page":"135","volume":"249","author":"S. Abramsky","year":"2009","unstructured":"Abramsky, S., Jagadeesan, R.: Game semantics for access control. ENTCS\u00a0249, 135\u2013156 (2009)","journal-title":"ENTCS"},{"key":"17_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":"17_CR6","doi-asserted-by":"crossref","unstructured":"Bierman, G.M., de Paiva, V.C.V.: On an intuitionistic modal logic. Studia Logica\u00a065 (2000, 2001)","DOI":"10.1023\/A:1005291931660"},{"key":"17_CR7","unstructured":"DeYoung, H., Pfenning, F.: Reasoning about the consequences of authorization policies in a linear epistemic logic. Technical Report 1213, CMU-CS (2009)"},{"key":"17_CR8","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":"17_CR9","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"},{"issue":"2","key":"17_CR10","doi-asserted-by":"crossref","first-page":"137","DOI":"10.4310\/HHA.2003.v5.n2.a6","volume":"5","author":"J. Goubault-Larrecq","year":"2003","unstructured":"Goubault-Larrecq, J., Goubault, E.: On the geometry of intutionist s4 proofs. Homology, Homotopy and Applications\u00a05(2), 137\u2013209 (2003)","journal-title":"Homology, Homotopy and Applications"},{"key":"17_CR11","unstructured":"Hughes, G.E., Cresswell, M.J.: An introduction to modal logic (1972)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Malecha, G., Chong, S.: A more precise security type system for dynamic security tests. In: Proceedings of the 5th ACM SIGPLAN PLAS Workshop, PLAS 2010, pp. 4:1\u20134:12 (2010)","DOI":"10.1145\/1814217.1814221"},{"key":"17_CR13","unstructured":"Nanevski, A.: A Modal Calculus for Exception Handling. In: Intuitionistic Modal Logics and Applications Workshop (IMLA 2005), Chicago, IL (June 2005)"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Pfenning, F., Wong, H.-C.: On a modal \u03bb-calculus for S4. In: Proc. of the Eleventh MFPS. ENTCS, vol.\u00a01 (1995)","DOI":"10.1016\/S1571-0661(04)00028-3"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Tse, S., Zdancewic, S.: Translating dependency into parametricity. In: Proc. of the Ninth ACM ICFP, ICFP 2004, pp. 115\u2013125 (2004)","DOI":"10.1145\/1016848.1016868"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36039-8_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T14:49:09Z","timestamp":1745938149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36039-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360381","9783642360398"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36039-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}