{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T06:53:20Z","timestamp":1773557600260,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662466650","type":"print"},{"value":"9783662466667","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46666-7_3","type":"book-chapter","created":{"date-parts":[[2015,3,30]],"date-time":"2015-03-30T18:57:12Z","timestamp":1427741832000},"page":"32-52","source":"Crossref","is-referenced-by-count":18,"title":["Very Static Enforcement of Dynamic Policies"],"prefix":"10.1007","author":[{"given":"Bart","family":"van Delft","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Hunt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Sands","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-27864-1_10","volume-title":"Static Analysis","author":"T. Amtoft","year":"2004","unstructured":"Amtoft, T., Banerjee, A.: Information Flow Analysis in Logical Form. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol.\u00a03148, pp. 100\u2013115. Springer, Heidelberg (2004)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Askarov, A., Chong, C.: Learning is change in knowledge: Knowledge-based security for dynamic policies. In: Computer Security Foundations Symposium, pp. 308\u2013322. IEEE (2012)","DOI":"10.1109\/CSF.2012.31"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-88313-5_22","volume-title":"Computer Security - ESORICS 2008","author":"A. Askarov","year":"2008","unstructured":"Askarov, A., Hunt, S., Sabelfeld, A., Sands, D.: Termination-Insensitive Noninterference Leaks More Than Just a Bit. In: Jajodia, S., Lopez, J. (eds.) ESORICS 2008. LNCS, vol.\u00a05283, pp. 333\u2013348. Springer, Heidelberg (2008)"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/357084.357088","volume":"2","author":"G.R. Andrews","year":"1980","unstructured":"Andrews, G.R., Reitman, R.P.: An axiomatic approach to information flow in programs. TOPLAS\u00a02(1), 56\u201375 (1980)","journal-title":"TOPLAS"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Askarov, A., Sabelfeld, A.: Gradual release: Unifying declassification, encryption and key release policies. In: Proc. IEEE Symp. on Security and Privacy, pp. 207\u2013221 (May 2007)","DOI":"10.1109\/SP.2007.22"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-58618-0_56","volume-title":"Computer Security - ESORICS 94","author":"J.-P. Ban\u00e2tre","year":"1994","unstructured":"Ban\u00e2tre, J.-P., Bryce, C., Le M\u00e9tayer, D.: Compile-time detection of information flow in sequential programs. In: Gollmann, D. (ed.) ESORICS 1994. LNCS, vol.\u00a0875, pp. 55\u201373. Springer, Heidelberg (1994)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Balliu, M., Dam, M., Le Guernic, G.: Epistemic temporal logic for information flow security. In: Programming Languages and Analysis for Security, PLAS 2011, pp. 6:1\u20136:12. ACM (2011)","DOI":"10.1145\/2166956.2166962"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Balliu, M., Dam, M., Le Guernic, G.: Encover: Symbolic exploration for information flow security. In: 2012 IEEE 25th Computer Security Foundations Symposium (CSF), pp. 30\u201344. IEEE (2012)","DOI":"10.1109\/CSF.2012.24"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Banerjee, A., Naumann, D., Rosenberg, S.: Expressive declassification policies and modular static enforcement. In: Proc. IEEE Symp. on Security and Privacy, pp. 339\u2013353. IEEE Computer Society (2008)","DOI":"10.1109\/SP.2008.20"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Broberg, N., David, S.: Flow-Sensitive Semantics for Dynamic Information Flow Policies. In: Programming Languages and Analysis for Security (2009)","DOI":"10.1145\/1554339.1554352"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Broberg, N., Sands, D.: Paralocks \u2013 role-based information flow control and beyond. In: Symposium on Principles of Programming Languages. ACM (2010)","DOI":"10.1145\/1706299.1706349"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-319-03542-0_16","volume-title":"Programming Languages and Systems","author":"N. Broberg","year":"2013","unstructured":"Broberg, N., van Delft, B., Sands, D.: Paragon for Practical Programming with Information-Flow Control. In: Shan, C.-c. (ed.) APLAS 2013. LNCS, vol.\u00a08301, pp. 217\u2013232. Springer, Heidelberg (2013)"},{"issue":"1","key":"3_CR13","first-page":"3","volume":"28","author":"D. Clark","year":"2002","unstructured":"Clark, D., Hankin, C., Hunt, S.: Information flow for Algol-like languages. Journal of Computer Languages\u00a028(1), 3\u201328 (2002)","journal-title":"Journal of Computer Languages"},{"issue":"7","key":"3_CR14","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":"3_CR15","doi-asserted-by":"crossref","unstructured":"van Delft, B., Hunt, S., Sands, D.: Very Static Enforcement of Dynamic Policies. Technical Report 1501.02633, arXiv (2015)","DOI":"10.1007\/978-3-662-46666-7_3"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proc. IEEE Symp. on Security and Privacy, April 1982, pp. 11\u201320 (April 1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Unwinding and inference control. In: Proc. IEEE Symp. on Security and Privacy, pp. 75\u201386 (April 1984)","DOI":"10.1109\/SP.1984.10019"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Hunt, S., Sands, D.: On Flow-sensitive Security Types. In: Symposium on Principles of Programming Languages, pp. 79\u201390. ACM (2006)","DOI":"10.1145\/1111320.1111045"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-19718-5_16","volume-title":"Programming Languages and Systems","author":"S. Hunt","year":"2011","unstructured":"Hunt, S., Sands, D.: From Exponential to Polynomial-Time Security Typing via Principal Types. In: Barthe, G. (ed.) ESOP 2011. LNCS, vol.\u00a06602, pp. 297\u2013316. Springer, Heidelberg (2011)"},{"key":"3_CR20","unstructured":"Hicks, M., Tse, S., Hicks, B., Zdancewic, S.: Dynamic updating of information-flow policies. In: Foundations of Computer Security Workshop, pp. 7\u201318 (2005)"},{"key":"3_CR21","unstructured":"Indus homepage, \n                      \n                        http:\/\/indus.projects.cis.ksu.edu\/\n                      \n                      \n                     (accessed: January 09, 2015)"},{"key":"3_CR22","unstructured":"JOANA homepage, \n                      \n                        http:\/\/pp.ipd.kit.edu\/projects\/joana\/\n                      \n                      \n                     (accessed: January 09, 2015)"},{"key":"3_CR23","unstructured":"Swamy, N., Hicks, M., Tse, S., Zdancewic, S.: Managing Policy Updates in Security-Typed Languages. In: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006)"},{"key":"3_CR24","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":"3","key":"3_CR25","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano, D., Smith, G., Irvine, C.: A sound type system for secure flow analysis. J. Computer Security\u00a04(3), 167\u2013187 (1996)","journal-title":"J. Computer Security"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-30065-3_14","volume-title":"Trustworthy Global Computing","author":"C. Zhang","year":"2012","unstructured":"Zhang, C.: Conditional Information Flow Policies and Unwinding Relations. In: Bruni, R., Sassone, V. (eds.) TGC 2011. LNCS, vol.\u00a07173, pp. 227\u2013241. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Principles of Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46666-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:56:56Z","timestamp":1559138216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46666-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466650","9783662466667"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46666-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}