{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:29:25Z","timestamp":1743132565750,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496343"},{"type":"electronic","value":"9783662496350"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49635-0_1","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T08:03:52Z","timestamp":1458547432000},"page":"3-23","source":"Crossref","is-referenced-by-count":11,"title":["Faceted Dynamic Information Flow via Control and Data Monads"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Schmitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dustin","family":"Rhodes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas H.","family":"Austin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenneth","family":"Knowles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cormac","family":"Flanagan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Austin, T.H., Flanagan, C.: Efficient purely-dynamic information flow analysis. In: PLAS 2009. ACM Press, New York (2009)","DOI":"10.1145\/1554339.1554353"},{"issue":"1","key":"1_CR2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1145\/2103621.2103677","volume":"47","author":"Thomas H. Austin","year":"2012","unstructured":"Austin, T.H., Flanagan, C.: Multiple Facets for Dynamic Information Flow. In: POPL 2012, pp. 165\u2013178. ACM Press, New York (2012)","journal-title":"ACM SIGPLAN Notices"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Austin, T.H., et al.: Faceted execution of policy-agnostic programs. In: PLAS 2013, 15\u201326. ACM Press, New York (2013)","DOI":"10.1145\/2465106.2465121"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-41488-6_8","volume-title":"Secure IT Systems","author":"P Buiras","year":"2013","unstructured":"Buiras, P., Russo, A.: Lazy programs leak secrets. In: Riis Nielson, H., Gollmann, D. (eds.) NordSec 2013. LNCS, vol. 8208, pp. 116\u2013122. Springer, Heidelberg (2013)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"De Groef, W., et al.: FlowFox: a web browser with flexible and precise information flow control. In: CCS 2012, pp. 748\u2013759. ACM Press, New York (2012)","DOI":"10.1145\/2382196.2382275"},{"issue":"5","key":"1_CR6","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"DE Denning","year":"1976","unstructured":"Denning, D.E.: A lattice model of secure information flow. Commun. ACM 19(5), 236\u2013243 (1976)","journal-title":"Commun. ACM"},{"issue":"7","key":"1_CR7","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"DE Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Commun. ACM 20(7), 504\u2013513 (1977)","journal-title":"Commun. ACM"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Devriese, D., Piessens, F.: Information Flow Enforcement in Monadic Libraries. In: TLDI 2011, pp. 59\u201372. ACM Press, New York (2011)","DOI":"10.1145\/1929553.1929564"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Devriese, D., Piessens, F.: Noninterference through secure multi-execution. In: Symposium on Security and Privacy, pp. 109\u2013124. IEEE, Los Alamitos (2010)","DOI":"10.1109\/SP.2010.15"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Dhawan, M., Ganapathy, V.: Analyzing information flow in javascript-based browser extensions. In: ACSAC. IEEE (2009)","DOI":"10.1109\/ACSAC.2009.43"},{"issue":"2","key":"1_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1093\/comjnl\/17.2.143","volume":"17","author":"JS Fenton","year":"1974","unstructured":"Fenton, J.S.: Memoryless subsystems. Comput. J. 17(2), 143\u2013147 (1974)","journal-title":"Comput. J."},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","first-page":"75","volume-title":"Advances in Computer Science - ASIAN 2006","author":"G Guernic Le","year":"2008","unstructured":"Le Guernic, G., Banerjee, A., Jensen, T., Schmidt, D.A.: Automata-based confidentiality monitoring. In: Okada, M., Satoh, I. (eds.) ASIAN 2006. LNCS, vol. 4435, pp. 75\u201389. Springer, Heidelberg (2008)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Hedin, D., Sabelfeld, A.: Information-flow security for a core of JavaScript. In: CSF, pp. 3\u201318. IEEE (2012)","DOI":"10.1109\/CSF.2012.19"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Heintze, N., Riecke, J.G.: The SLam calculus: programming with secrecy and integrity. In: POPL, pp. 365\u2013377. ACM (1998)","DOI":"10.1145\/268946.268976"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Jang, D., et al.: An empirical study of privacy-violating information flows in JavaScript web applications. In: ACM Conference on Computer and Communications Security, pp. 270\u2013283 (2010)","DOI":"10.1145\/1866307.1866339"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-29709-0_16","volume-title":"Perspectives of Systems Informatics","author":"M Jaskelioff","year":"2012","unstructured":"Jaskelioff, M., Russo, A.: Secure multi-execution in haskell. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol. 7162, pp. 170\u2013178. Springer, Heidelberg (2012)"},{"key":"1_CR17","unstructured":"Jones, M.P., Duponcheel, L.: Composing Monads. Technical report. Research Report YALEU\/DCS\/RR-1004. Yale University (1993)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-38908-5_14","volume-title":"Trust and Trustworthy Computing","author":"C Kerschbaumer","year":"2013","unstructured":"Kerschbaumer, C., Hennigan, E., Larsen, P., Brunthaler, S., Franz, M.: Towards precise and efficient information flow control in web browsers. In: Huth, M., Asokan, N., \u010capkun, S., Flechais, I., Coles-Kemp, L. (eds.) TRUST 2013. LNCS, vol. 7904, pp. 187\u2013195. Springer, Heidelberg (2013)"},{"key":"1_CR19","unstructured":"Li, P., Zdancewic, S.: Encoding information flow in haskell. In: CSFW 2006, p.12. IEEE Computer Society, Washington, DC, USA (2006)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Liang, S., Hudak, P., Jones, M.: Monad transformers and modular interpreters. In: Proceedings of 22nd ACM Symposium on Principles of Programming Languages. ACM Press, New York (1995)","DOI":"10.1145\/199448.199528"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: JFlow: practical mostly-static information flow control. In: Symposium on Principles of Programming Languages (POPL), pp. 228\u2013241. ACM (1999)","DOI":"10.1145\/292540.292561"},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/596980.596983","volume":"25","author":"F Pottier","year":"2003","unstructured":"Pottier, F., Simonet, V.: Information flow inference for ML. ACM Trans. Program. Lang. Syst. 25(1), 117\u2013158 (2003)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Rafnsson, W., Sabelfeld, A.: Secure multi-execution: fine-grained, declassification-aware, and transparent. In: IEEE 26th Computer Security Foundations Symposium (CSF), pp. 33\u201348 (2013)","DOI":"10.1109\/CSF.2013.10"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Russo, A., Claessen, K., Hughes, J.: A library for lightweight information-flow security in haskell. In: Haskell 2008, pp. 13\u201324. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1411286.1411289"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Russo, A., Sabelfeld, A.: Dynamic vs. static flow-sensitive security analysis. In: CSF 2010, pp. 186\u2013199. IEEE Computer Society, Washington, DC, USA (2010)","DOI":"10.1109\/CSF.2010.20"},{"issue":"1","key":"1_CR26","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE J. Sel. Areas in Commun. 21(1), 5\u201319 (2003)","journal-title":"IEEE J. Sel. Areas in Commun."},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-11486-1_30","volume-title":"Perspectives of Systems Informatics","author":"A Sabelfeld","year":"2010","unstructured":"Sabelfeld, A., Russo, A.: From dynamic to static and back: riding the roller coaster of information-flow control research. In: Pnueli, A., Virbitskaite, I., Voronkov, A. (eds.) PSI 2009. LNCS, vol. 5947, pp. 352\u2013365. Springer, Heidelberg (2010)"},{"issue":"5","key":"1_CR28","doi-asserted-by":"publisher","first-page":"517","DOI":"10.3233\/JCS-2009-0352","volume":"17","author":"A Sabelfeld","year":"2009","unstructured":"Sabelfeld, A., Sands, D.: Declassification: dimensions and principles. J. Comput. Secur. 17(5), 517\u2013548 (2009)","journal-title":"J. Comput. Secur."},{"key":"1_CR29","first-page":"3","volume-title":"Lecture Notes in Computer Science","author":"Thomas Schmitz","year":"2016","unstructured":"Schmitz, T., et al.: Faceted dynamic information flow via control and data monads. In: University of California, Santa Cruz, Technical report UCSC-SOE-16-01 (2016)"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Steele, G.L., Jr.: Building interpreters by composing monads. In: POPL 1994. ACM, Portland (1994)","DOI":"10.1145\/174675.178068"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Stefan, D., et al.: Flexible dynamic information flow control in haskell. In: Haskell 2011, 95\u2013106. ACM, New York (2011)","DOI":"10.1145\/2096148.2034688"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Stefan, D., et al.: Flexible dynamic information flow control in Haskell, vol. 46(12). ACM (2011)","DOI":"10.1145\/2096148.2034688"},{"issue":"2\u20133","key":"1_CR33","doi-asserted-by":"publisher","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D Volpano","year":"1996","unstructured":"Volpano, D., Irvine, C., Smith, G.: A sound type system for secure flow analysis. J. Comput. Secur. 4(2\u20133), 167\u2013187 (1996)","journal-title":"J. Comput. Secur."},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Wadler, P.: The essence of functional programming. In: POPL 1992. ACM, Albuquerque, New Mexico, USA (1992)","DOI":"10.1145\/143165.143169"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Zanarini, D., Jaskelioff, M., Russo, A.: Precise enforcement of confidentiality for reactive systems. In: CSF, pp. 18\u201332 (2013)","DOI":"10.1109\/CSF.2013.9"},{"key":"1_CR36","unstructured":"Zdancewic, S.A.: Programming languages for information security. PhD thesis. Cornell University (2002)"}],"container-title":["Lecture Notes in Computer Science","Principles of Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49635-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T17:14:46Z","timestamp":1559409286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49635-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496343","9783662496350"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49635-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}