{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:42:48Z","timestamp":1774946568138,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,5]],"date-time":"2011-06-05T00:00:00Z","timestamp":1307232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,5]]},"DOI":"10.1145\/2166956.2166962","type":"proceedings-article","created":{"date-parts":[[2012,3,20]],"date-time":"2012-03-20T12:04:21Z","timestamp":1332245061000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":42,"title":["Epistemic temporal logic for information flow security"],"prefix":"10.1145","author":[{"given":"Musard","family":"Balliu","sequence":"first","affiliation":[{"name":"Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mads","family":"Dam","sequence":"additional","affiliation":[{"name":"Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gurvan","family":"Le Guernic","sequence":"additional","affiliation":[{"name":"Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,6,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.22"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1985581.1985592"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.20"},{"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.1145\/1324249.1324261"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653673"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77649"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02138-1_12"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030083.1030110"},{"key":"e_1_3_2_1_10_1","first-page":"297","volume-title":"Foundations of Secure Computation","author":"Cohen E. S.","year":"1978","unstructured":"E. S. Cohen . Information transmission in sequential programs . Foundations of Secure Computation , pages 297 -- 335 , 1978 . E. S. Cohen. Information transmission in sequential programs. Foundations of Secure Computation, pages 297--335, 1978."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"Fagin R.","year":"1995","unstructured":"R. Fagin , J. Y. Halpern , Y. Moses , and M. Y. Vardi . Reasoning about knowledge . MIT Press , Cambridge, Mass ., 1995 . R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, Mass., 1995."},{"key":"e_1_3_2_1_13_1","first-page":"479","volume-title":"CAV","author":"Gammie P.","year":"2004","unstructured":"P. Gammie and R. van der Meyden. Mck: Model checking the logic of knowledge . In CAV , pages 479 -- 483 , 2004 . P. Gammie and R. van der Meyden. Mck: Model checking the logic of knowledge. In CAV, pages 479--483, 2004."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964017"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1984.10019"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040319"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1103576.1103584"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30477-7_9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11888116_16"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_27"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.481534"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.12.010"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.14"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_26_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-540-37621-7_9","volume-title":"Proc. of the International Symp. on Software Security (ISSS'03)","author":"Sabelfeld A.","year":"2004","unstructured":"A. Sabelfeld and A. C. Myers . A model for delimited information release . In N. Y. K. Futatsugi, F. Mizoguchi, editor, Proc. of the International Symp. on Software Security (ISSS'03) , volume 3233 of Lecture Notes in Computer Science , pages 174 -- 191 , Berlin, 2004 . Springer-Verlag . A. Sabelfeld and A. C. Myers. A model for delimited information release. In N. Y. K. Futatsugi, F. Mizoguchi, editor, Proc. of the International Symp. on Software Security (ISSS'03), volume 3233 of Lecture Notes in Computer Science, pages 174--191, Berlin, 2004. Springer-Verlag."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/645393.651890"},{"key":"e_1_3_2_1_28_1","volume-title":"Declassification: Dimensions and principles. J. of Computer Security","author":"Sabelfeld A.","year":"2007","unstructured":"A. Sabelfeld and D. Sands . Declassification: Dimensions and principles. J. of Computer Security , 2007 . A. Sabelfeld and D. Sands. Declassification: Dimensions and principles. J. of Computer Security, 2007."}],"event":{"name":"PLDI '11: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"San Jose California","acronym":"PLDI '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2166956.2166962","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2166956.2166962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:48Z","timestamp":1750240488000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2166956.2166962"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,5]]},"references-count":28,"alternative-id":["10.1145\/2166956.2166962","10.1145\/2166956"],"URL":"https:\/\/doi.org\/10.1145\/2166956.2166962","relation":{},"subject":[],"published":{"date-parts":[[2011,6,5]]},"assertion":[{"value":"2011-06-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}