{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:43:13Z","timestamp":1774946593879,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,15]],"date-time":"2009-06-15T00:00:00Z","timestamp":1245024000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["IST-2005-015905MOBIUS"],"award-info":[{"award-number":["IST-2005-015905MOBIUS"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,6,15]]},"DOI":"10.1145\/1554339.1554352","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T13:34:36Z","timestamp":1245159276000},"page":"101-112","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Flow-sensitive semantics for dynamic information flow policies"],"prefix":"10.1145","author":[{"given":"Niklas","family":"Broberg","sequence":"first","affiliation":[{"name":"Chalmers University of Technology and University of Gothenburg, G\u00f6teborg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Sands","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, G\u00f6teborg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.21"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88313-5_22"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.22"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2008.11"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.20"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_13"},{"key":"e_1_3_2_1_7_1","volume-title":"Flow locks: Towards a core calculus for dynamic flow policies. Technical report","author":"Broberg N.","year":"2006","unstructured":"{BS06b} N. Broberg and D. Sands . Flow locks: Towards a core calculus for dynamic flow policies. Technical report , Chalmers University of Technology and G\u00f6teborgs University , May 2006 . Extended version of {BS06a}. {BS06b} N. Broberg and D. Sands. Flow locks: Towards a core calculus for dynamic flow policies. Technical report, Chalmers University of Technology and G\u00f6teborgs University, May 2006. Extended version of {BS06a}."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111044"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069789"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"e_1_3_2_1_13_1","volume-title":"Preproceedings of the Workshop on Formal Aspects in Security and Trust (FAST)","year":"2008","unstructured":"{LM08} Alexander Lux and Heiko Mantel. Who can declassify ? In Preproceedings of the Workshop on Formal Aspects in Security and Trust (FAST) , 2008 . {LM08} Alexander Lux and Heiko Mantel. Who can declassify? In Preproceedings of the Workshop on Formal Aspects in Security and Trust (FAST), 2008."},{"key":"e_1_3_2_1_14_1","first-page":"161","volume-title":"Proc. IEEE Symp. on Security and Privacy","author":"McCullough D.","year":"1987","unstructured":"{McC87} D. McCullough . Specifications for multi-level security and hook-up property . In Proc. IEEE Symp. on Security and Privacy , pages 161 -- 166 , April 1987 . {McC87} D. McCullough. Specifications for multi-level security and hook-up property. In Proc. IEEE Symp. on Security and Privacy, pages 161--166, April 1987."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762174.1762190"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30477-7_9"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009380.1009673"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.17"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/794200.795151"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.15"},{"key":"e_1_3_2_1_21_1","first-page":"179","volume-title":"In IEEE Symposium on Security and Privacy","year":"2004","unstructured":"{TZ04} Stephen Tse and Steve Zdancewic. Run-time principals in information-flow type systems . In In IEEE Symposium on Security and Privacy , pages 179 -- 193 , 2004 . {TZ04} Stephen Tse and Steve Zdancewic. Run-time principals in information-flow type systems. In In IEEE Symposium on Security and Privacy, pages 179--193, 2004."},{"key":"e_1_3_2_1_22_1","first-page":"6","author":"Zheng L.","year":"2007","unstructured":"{ZM07} L. Zheng and A. C. Myers . Dynamic security labels and static information flow control. International Journal of Information Security , 6 , 2007 . {ZM07} L. Zheng and A. C. Myers. Dynamic security labels and static information flow control. International Journal of Information Security, 6, 2007.","journal-title":"Dynamic security labels and static information flow control. International Journal of Information Security"}],"event":{"name":"PLDI '09: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Dublin Ireland","acronym":"PLDI '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1554339.1554352","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1554339.1554352","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:40Z","timestamp":1750253380000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1554339.1554352"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,15]]},"references-count":20,"alternative-id":["10.1145\/1554339.1554352","10.1145\/1554339"],"URL":"https:\/\/doi.org\/10.1145\/1554339.1554352","relation":{},"subject":[],"published":{"date-parts":[[2009,6,15]]},"assertion":[{"value":"2009-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}