{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:45:57Z","timestamp":1780994757368,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,22]],"date-time":"2011-09-22T00:00:00Z","timestamp":1316649600000},"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,9,22]]},"DOI":"10.1145\/2034675.2034688","type":"proceedings-article","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T11:13:10Z","timestamp":1316776390000},"page":"95-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":93,"title":["Flexible dynamic information flow control in Haskell"],"prefix":"10.1145","author":[{"given":"Deian","family":"Stefan","sequence":"first","affiliation":[{"name":"Stanford University, Stanford, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alejandro","family":"Russo","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John C.","family":"Mitchell","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Mazi\u00e8res","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,9,22]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292555"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88313-5_22"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2228095.2228100"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005453"},{"key":"e_1_3_2_2_6_1","volume-title":"Integrity considerations for secure computer systems. ESDTR-76--372","author":"Biba K. J.","year":"1977","unstructured":"K. J. Biba . Integrity considerations for secure computer systems. ESDTR-76--372 , 1977 . K. J. Biba. Integrity considerations for secure computer systems. ESDTR-76--372, 1977."},{"key":"e_1_3_2_2_7_1","volume-title":"A. Russo, and J. Hughes. A library for secure multithreaded information flow in Haskell","author":"T.","year":"2007","unstructured":"T. chung Tsai , A. Russo, and J. Hughes. A library for secure multithreaded information flow in Haskell , July 2007 . T. chung Tsai, A. Russo, and J. Hughes. A library for secure multithreaded information flow in Haskell, July 2007."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005441"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"e_1_3_2_2_11_1","volume-title":"DoD 5200.28-STD edition","author":"System Evaluation Trusted Computer","year":"1985","unstructured":"Trusted Computer System Evaluation Criteria ( Orange Book). Department of Defense , DoD 5200.28-STD edition , December 1985 . Trusted Computer System Evaluation Criteria (Orange Book). Department of Defense, DoD 5200.28-STD edition, December 1985."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929553.1929564"},{"key":"e_1_3_2_2_13_1","volume-title":"October","author":"Efstathopoulos P.","year":"2005","unstructured":"P. Efstathopoulos , M. Krohn , S. VanDeBogart , C. Frey , D. Ziegler , E. Kohler , D. Mazieres , F. Kaashoek , and R. Morris . Labels and event processes in the Asbestos operating system , October 2005 . P. Efstathopoulos, M. Krohn, S. VanDeBogart, C. Frey, D. Ziegler, E. Kohler, D. Mazieres, F. Kaashoek, and R. Morris. Labels and event processes in the Asbestos operating system, October 2005."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73576"},{"key":"e_1_3_2_2_15_1","volume-title":"April","author":"Goguen J.","year":"1982","unstructured":"J. Goguen and J. Meseguer . Security policies and security models , April 1982 . J. Goguen and J. Meseguer. Security policies and security models, April 1982."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.6"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.19"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268976"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111045"},{"key":"e_1_3_2_2_21_1","volume-title":"October","author":"Krohn M.","year":"2007","unstructured":"M. Krohn , A. Yip , M. Brodsky , N. Cliffer , M. F. Kaashoek , E. Kohler , and R. Morris . Information flow control for standard OS abstractions , October 2007 . M. Krohn, A. Yip, M. Brodsky, N. Cliffer, M. F. Kaashoek, E. Kohler, and R. Morris. Information flow control for standard OS abstractions, October 2007."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/356850.356852"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268979"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.13"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.01.025"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863569"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266669"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/363516.363526"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503302"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2010.20"},{"key":"e_1_3_2_2_32_1","volume-title":"A library for light-weight information-flow security in Haskell","author":"Russo A.","year":"2008","unstructured":"A. Russo , K. Claessen , and J. Hughes . A library for light-weight information-flow security in Haskell , 2008 . A. Russo, K. Claessen, and J. Hughes. A library for light-weight information-flow security in Haskell, 2008."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11486-1_30"},{"key":"e_1_3_2_2_35_1","volume-title":"July","author":"Simonet V.","year":"2003","unstructured":"V. Simonet . The Flow Caml system. Software release. Located at http:\/\/cristal.inria.fr\/~simonet\/soft\/flowcaml\/ , July 2003 . V. Simonet. The Flow Caml system. Software release. Located at http:\/\/cristal.inria.fr\/~simonet\/soft\/flowcaml\/, July 2003."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016868"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095813"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/353594.353608"},{"key":"e_1_3_2_2_39_1","volume-title":"November","author":"Zeldovich N.","year":"2006","unstructured":"N. Zeldovich , S. Boyd-Wickizer , E. Kohler , and D. Mazieres . Making information flow explicit in HiStar , November 2006 . N. Zeldovich, S. Boyd-Wickizer, E. Kohler, and D. Mazieres. Making information flow explicit in HiStar, November 2006."},{"key":"e_1_3_2_2_40_1","volume-title":"April","author":"Zeldovich N.","year":"2008","unstructured":"N. Zeldovich , S. Boyd-Wickizer , and D. Mazieres . Securing distributed systems with information flow control , April 2008 . N. Zeldovich, S. Boyd-Wickizer, and D. Mazieres. Securing distributed systems with information flow control, April 2008."}],"event":{"name":"ICFP '11: ACM SIGPLAN International Conference on Functional Programming","location":"Tokyo Japan","acronym":"ICFP '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 4th ACM symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034675.2034688","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2034675.2034688","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:26Z","timestamp":1750225706000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034675.2034688"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,22]]},"references-count":39,"alternative-id":["10.1145\/2034675.2034688","10.1145\/2034675"],"URL":"https:\/\/doi.org\/10.1145\/2034675.2034688","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2096148.2034688","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,9,22]]},"assertion":[{"value":"2011-09-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}