{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:18Z","timestamp":1750221318370,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,30]],"date-time":"2017-10-30T00:00:00Z","timestamp":1509321600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS1423168"],"award-info":[{"award-number":["CNS1423168"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,30]]},"DOI":"10.1145\/3139337.3139342","type":"proceedings-article","created":{"date-parts":[[2017,10,31]],"date-time":"2017-10-31T13:41:56Z","timestamp":1509457316000},"page":"91-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Sequent Calculus for Counterfactual Reasoning"],"prefix":"10.1145","author":[{"given":"McKenna","family":"McCall","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lay Kuan","family":"Loh","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Limin","family":"Jia","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Serge Abiteboul Richard Hull and Victor Vianu. 1994. Foundations of Databases. Pearson Cambridge MA USA.  Serge Abiteboul Richard Hull and Victor Vianu. 1994. Foundations of Databases. Pearson Cambridge MA USA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33353-8_2"},{"key":"e_1_3_2_1_3_1","unstructured":"Horacio Arlo-Costa. 2014. The Logic of Conditionals. The Stanford Encyclopedia of Philosophy (bibinfoeditionsummer 2014 ed.) bibfieldeditorEdward N. Zalta (Ed.).  Horacio Arlo-Costa. 2014. The Logic of Conditionals. The Stanford Encyclopedia of Philosophy (bibinfoeditionsummer 2014 ed.) bibfieldeditorEdward N. Zalta (Ed.)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Moritz Becker Cedric Fournet and Andrew Gordon. 2007. Design and Semantics of a Decentralized Authorization Language Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF\u00bb07).  Moritz Becker Cedric Fournet and Andrew Gordon. 2007. Design and Semantics of a Decentralized Authorization Language Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF\u00bb07).","DOI":"10.1109\/CSF.2007.18"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.20"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1996.502679"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_2"},{"volume-title":"Strictly Declarative Specification of Sophisticated Points-to Analyses Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA \u00bb09)","year":"2009","author":"Bravenboer Martin","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77649"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"J. Collins E. Hall and L. Paul 2004. Causation and Counterfactuals. MIT Press Cambridge Mass.  J. Collins E. Hall and L. Paul 2004. Causation and Counterfactuals. MIT Press Cambridge Mass.","DOI":"10.7551\/mitpress\/1752.001.0001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/2273315"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2002.1004365"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA476803"},{"key":"e_1_3_2_1_14_1","unstructured":"Ari Fogel Stanley Fung Luis Pedrosa Meg Walraed-Sullivan Ramesh Govindan Ratul Mahajan and Todd Millstein 2015. A General Approach to Network Configuration Analysis Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation (NSDI\u00bb15).  Ari Fogel Stanley Fung Luis Pedrosa Meg Walraed-Sullivan Ramesh Govindan Ratul Mahajan and Todd Millstein 2015. A General Approach to Network Configuration Analysis Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation (NSDI\u00bb15)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78499-9_16"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Valerio Genovese Laura Giordano Valentina Gliozzi and Gian Luca Pozzato 2011. A Conditional Constructive Logic for Access Control and Its Sequent Calculus Automated Reasoning with Analytic Tableaux and Related Methods (Lecture Notes in Computer Science) Vol. Vol. 6793. Springer 164--179.  Valerio Genovese Laura Giordano Valentina Gliozzi and Gian Luca Pozzato 2011. A Conditional Constructive Logic for Access Control and Its Sequent Calculus Automated Reasoning with Analytic Tableaux and Related Methods (Lecture Notes in Computer Science) Vol. Vol. 6793. Springer 164--179.","DOI":"10.1007\/978-3-642-22119-4_14"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093634402"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1507244.1507251"},{"key":"e_1_3_2_1_19_1","unstructured":"Joseph Y. Halpern. 2000. Hypothetical Knowledge and Counterfactual Reasoning Very Large Data Bases.  Joseph Y. Halpern. 2000. Hypothetical Knowledge and Counterfactual Reasoning Very Large Data Bases."},{"key":"e_1_3_2_1_20_1","unstructured":"Trevor Jim. 2001. SD3: A Trust Management System with Certified Evaluation Proceedings of the 2001 IEEE Symposium on Security and Privacy (SP\u00bb01).  Trevor Jim. 2001. SD3: A Trust Management System with Certified Evaluation Proceedings of the 2001 IEEE Symposium on Security and Privacy (SP\u00bb01)."},{"volume-title":"Logics in Artificial Intelligence (Lecture Notes in Computer Science)","author":"Lellmann Bj\u00f6rn","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","unstructured":"David Lewis. 1973. Counterfactuals. Blackwell Oxford.  David Lewis. 1973. Counterfactuals. Blackwell Oxford."},{"key":"e_1_3_2_1_23_1","unstructured":"Ninghui Li Benjamin Grosof and Joan Feigenbaum. 2000. A Practically Implementable and Tractable Delegation Logic Proceedings of the 2000 IEEE Symposium on Security and Privacy (SP \u00bb00).  Ninghui Li Benjamin Grosof and Joan Feigenbaum. 2000. A Practically Implementable and Tractable Delegation Logic Proceedings of the 2000 IEEE Symposium on Security and Privacy (SP \u00bb00)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142485"},{"key":"e_1_3_2_1_26_1","unstructured":"Peter Menzies. 2014. Counterfactual Theories of Causation. The Stanford Encyclopedia of Philosophy (bibinfoeditionspring 2014 ed.) bibfieldeditorEdward N. Zalta (Ed.).  Peter Menzies. 2014. Counterfactual Theories of Causation. The Stanford Encyclopedia of Philosophy (bibinfoeditionspring 2014 ed.) bibfieldeditorEdward N. Zalta (Ed.)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(89)90031-9"}],"event":{"name":"CCS '17: 2017 ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Dallas Texas USA","acronym":"CCS '17"},"container-title":["Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3139337.3139342","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3139337.3139342","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3139337.3139342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:49Z","timestamp":1750212829000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3139337.3139342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,30]]},"references-count":26,"alternative-id":["10.1145\/3139337.3139342","10.1145\/3139337"],"URL":"https:\/\/doi.org\/10.1145\/3139337.3139342","relation":{},"subject":[],"published":{"date-parts":[[2017,10,30]]},"assertion":[{"value":"2017-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}