{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T23:13:29Z","timestamp":1776122009181,"version":"3.50.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319035413","type":"print"},{"value":"9783319035420","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03542-0_16","type":"book-chapter","created":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T16:31:54Z","timestamp":1386606714000},"page":"217-232","source":"Crossref","is-referenced-by-count":39,"title":["Paragon for Practical Programming with Information-Flow Control"],"prefix":"10.1007","author":[{"given":"Niklas","family":"Broberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"van Delft","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Sands","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Paragon website (July 2013), \n                    http:\/\/www.cse.chalmers.se\/research\/group\/paragon"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Sunshine, J., Saini, D., Sparks, Z.: Typestate-oriented programming. In: OOPSLA Companion, pp. 1015\u20131022 (2009)","DOI":"10.1145\/1639950.1640073"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11555827_12","volume-title":"Computer Security \u2013 ESORICS 2005","author":"A. Askarov","year":"2005","unstructured":"Askarov, A., Sabelfeld, A.: Security-typed languages for implementation of cryptographic protocols: A case study. In: di Vimercati, S.d.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol.\u00a03679, pp. 197\u2013221. Springer, Heidelberg (2005)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Fournet, C., Gordon, A.D.: Design and semantics of a decentralized authorization language. In: Proc. IEEE Computer Security Foundations Symposium, pp. 3\u201315. IEEE Computer Society (2007)","DOI":"10.1109\/CSF.2007.18"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Broberg, N., Sands, D.: Paralocks \u2013 role-based information flow control and beyond. In: POPL 2010, Proceedings of the 37th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (2010)","DOI":"10.1145\/1706299.1706349"},{"issue":"4","key":"16_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1046191.1032305","volume":"24","author":"R. Chapman","year":"2004","unstructured":"Chapman, R., Hilton, A.: Enforcing security and safety models with an information flow analysis tool. ACM SIGAda Ada Letters\u00a024(4), 39\u201346 (2004)","journal-title":"ACM SIGAda Ada Letters"},{"issue":"5","key":"16_CR7","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"D.E. Denning","year":"1976","unstructured":"Denning, D.E.: A lattice model of secure information flow. Comm. of the ACM\u00a019(5), 236\u2013243 (1976)","journal-title":"Comm. of the ACM"},{"issue":"7","key":"16_CR8","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D.E. Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Comm. of the ACM\u00a020(7), 504\u2013513 (1977)","journal-title":"Comm. of the ACM"},{"key":"16_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/11814771_51","volume-title":"Automated Reasoning","author":"D.J. Dougherty","year":"2006","unstructured":"Dougherty, D.J., Fisler, K., Adsul, B.: Specifying and reasoning about dynamic access-control policies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 632\u2013646. Springer, Heidelberg (2006)"},{"issue":"6","key":"16_CR10","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10207-009-0086-1","volume":"8","author":"C. Hammer","year":"2009","unstructured":"Hammer, C., Snelting, G.: Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. International Journal of Information Security\u00a08(6), 399\u2013422 (2009)","journal-title":"International Journal of Information Security"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Hicks, B., Ahmadizadeh, K., McDaniel, P.D.: From languages to systems: Understanding practical application development in security-typed languages. In: ACSAC. IEEE Computer Society (2006)","DOI":"10.1109\/ACSAC.2006.30"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Jia, L., Zdancewic, S.: Encoding information flow in aura. In: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (2009)","DOI":"10.1145\/1554339.1554344"},{"key":"16_CR13","unstructured":"Jim, T.: SD3: A trust management system with certified evaluation. In: Proc. IEEE Symp. on Security and Privacy (2001)"},{"key":"16_CR14","unstructured":"Li, N., Mitchell, J.C., Winsborough, W.H.: Design of a role-based trust-management framework. In: IEEE Symposium on Security and Privacy, pp. 114\u2013130 (2002)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Li, P., Zdancewic, S.: Arrows for secure information flow. Theor. Comput. Sci.\u00a0411(19) (2010)","DOI":"10.1016\/j.tcs.2010.01.025"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Morgenstern, J., Licata, D.R.: Security-typed programming within dependently-typed programming. In: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (2010)","DOI":"10.1145\/1863543.1863569"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: JFlow: Practical mostly-static information flow control. In: Proc. ACM Symp. on Principles of Programming Languages, pp. 228\u2013241 (January 1999)","DOI":"10.1145\/292540.292561"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Myers, A.C., Liskov, B.: A decentralized model for information flow control. In: Proc. ACM Symp. on Operating System Principles, pp. 129\u2013142 (October 1997)","DOI":"10.1145\/269005.266669"},{"issue":"4","key":"16_CR19","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/363516.363526","volume":"9","author":"A.C. Myers","year":"2000","unstructured":"Myers, A.C., Liskov, B.: Protecting privacy using the decentralized label model. ACM Transactions on Software Engineering and Methodology\u00a09(4), 410\u2013442 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"16_CR20","unstructured":"Myers, A.C., Zheng, L., Zdancewic, S., Chong, S., Nystrom, N.: Jif: Java information flow. Software release (2001\u20132013), \n                    http:\/\/www.cs.cornell.edu\/jif"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/3-540-61739-6_48","volume-title":"Static Analysis","author":"J. Rehof","year":"1996","unstructured":"Rehof, J., Mogensen, T.: Tractable constraints in finite semilattices. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, pp. 285\u2013300. Springer, Heidelberg (1996)"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Russo, A., Claessen, K., Hughes, J.: A library for light-weight information-flow security in haskell. In: Proceedings of the 1st ACM SIGPLAN Symposium on Haskell (2008)","DOI":"10.1145\/1411286.1411289"},{"issue":"5","key":"16_CR23","doi-asserted-by":"crossref","first-page":"517","DOI":"10.3233\/JCS-2009-0352","volume":"15","author":"A. Sabelfeld","year":"2009","unstructured":"Sabelfeld, A., Sands, D.: Declassification: Dimensions and principles. Journal of Computer Security\u00a015(5), 517\u2013548 (2009)","journal-title":"Journal of Computer Security"},{"key":"16_CR24","unstructured":"Simonet, V.: The Flow Caml system. Software release (July 2003), \n                    http:\/\/cristal.inria.fr\/~simonet\/soft\/flowcaml"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Stefan, D., Russo, A., Mitchell, J.C., Mazi\u00e8res, D.: Flexible dynamic information flow control in Haskell. In: Proceedings of the 4th ACM Symposium on Haskell (2011)","DOI":"10.1145\/2034675.2034688"},{"issue":"1","key":"16_CR26","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R.E. Strom","year":"1986","unstructured":"Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Software Eng.\u00a012(1), 157\u2013171 (1986)","journal-title":"IEEE Trans. Software Eng."},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Swamy, N., Chen, J., Fournet, C., Strub, P., Bharagavan, K., Yang, J.: Secure distributed programming with value-dependent types. In: The 16th ACM SIGPLAN International Conference on Functional Programming (2011)","DOI":"10.1145\/2034773.2034811"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"Swamy, N., Corcoran, B.J., Hicks, M.: Fable: A language for enforcing user-defined security policies. In: Proc. IEEE Symp. on Security and Privacy, pp. 369\u2013383 (2008)","DOI":"10.1109\/SP.2008.29"},{"key":"16_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-38004-4_20","volume-title":"Security and Trust Management","author":"B. van Delft","year":"2013","unstructured":"van Delft, B., Broberg, N., Sands, D.: A datalog semantics for paralocks. In: J\u00f8sang, A., Samarati, P., Petrocchi, M. (eds.) STM 2012. LNCS, vol.\u00a07783, pp. 305\u2013320. Springer, Heidelberg (2013)"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Whaley, J., Rinard, M.: Compositional pointer and escape analysis for Java programs. In: Proceedings of the 14th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA 1999, pp. 187\u2013206. ACM (1999)","DOI":"10.1145\/320384.320400"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Yang, J., Yessenov, K., Solar-Lezama, A.: A language for automatically enforcing privacy policies. In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM (2012)","DOI":"10.1145\/2103656.2103669"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Zheng, L., Myers, A.C.: Dynamic security labels and static information flow control. International Journal of Information Security\u00a06 (2007)","DOI":"10.1007\/s10207-007-0019-9"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03542-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T14:02:12Z","timestamp":1674828132000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-03542-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319035413","9783319035420"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03542-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}