{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:06:45Z","timestamp":1743044805435,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642255595"},{"type":"electronic","value":"9783642255601"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25560-1_24","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T22:28:46Z","timestamp":1320877726000},"page":"352-369","source":"Crossref","is-referenced-by-count":5,"title":["A Semantic Hierarchy for Erasure Policies"],"prefix":"10.1007","author":[{"given":"Filippo","family":"Del Tedesco","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":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/11787006_10","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"2006","unstructured":"Alur, R., \u010cern\u00fd, P., Zdancewic, S.: Preserving Secrecy Under Refinement. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds.) ICALP 2006. LNCS, vol.\u00a04052, pp. 107\u2013118. Springer, Heidelberg (2006)"},{"key":"24_CR2","first-page":"207","volume-title":"Proceedings of the 2007 IEEE Symposium on Security and Privacy, SP 2007","author":"A. Askarov","year":"2007","unstructured":"Askarov, A., Sabelfeld, A.: Gradual release: Unifying declassification, encryption and key release policies. In: Proceedings of the 2007 IEEE Symposium on Security and Privacy, SP 2007, pp. 207\u2013221. IEEE Computer Society, Washington, DC, USA (2007)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Balliu, M., Dam, M., Le Guernic, G.: Epistemic temporal logic for information flow security. In: ACM SIGPLAN Sixth Workshop on Programming Languages and Analysis for Security (June 2011)","DOI":"10.1145\/2166956.2166962"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Banerjee, A.: Expressive declassification policies and modular static enforcement. In: Proc. IEEE Symp. on Security and Privacy, pp. 339\u2013353 (2008)","DOI":"10.1109\/SP.2008.20"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Broberg, N., Sands, D.: Flow-sensitive semantics for dynamic information flow policies. In: ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (PLAS 2009), June 15. ACM (2009)","DOI":"10.1145\/1554339.1554352"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Cheney, J.: A formal framework for provenance security. In: The 24th IEEE Computer Security Foundations Symposium (June 2011)","DOI":"10.1109\/CSF.2011.26"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Chong, S., Myers, A.: Language-based information erasure. In: 18th IEEE Workshop on Computer Security Foundations, CSFW-18 2005, pp. 241\u2013254 (June 2005)","DOI":"10.1109\/CSFW.2005.19"},{"key":"24_CR8","unstructured":"Chong, S.: Expressive and Enforceable Information Security Policies. Ph.D. thesis, Cornell University (August 2008)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Chong, S., Myers, A.C.: End-to-end enforcement of erasure and declassification. In: CSF, pp. 98\u2013111. IEEE Computer Society (2008)","DOI":"10.1109\/CSF.2008.12"},{"key":"24_CR10","unstructured":"Cohen, E.S.: Information transmission in sequential programs. In: DeMillo, R.A., Dobkin, D.P., Jones, A.K., Lipton, R.J. (eds.) Foundations of Secure Computation, pp. 297\u2013335. Academic Press (1978)"},{"key":"24_CR11","first-page":"303","volume-title":"Program Flow Analysis: Theory and Applications, ch.10","author":"P. Cousot","year":"1981","unstructured":"Cousot, P.: Semantic foundations of program analysis. In: Muchnick, S., Jones, N. (eds.) Program Flow Analysis: Theory and Applications, ch.10, pp. 303\u2013342. Prentice-Hall, Inc., Englewood Cliffs (1981)"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. ACM Symp. on Principles of Programming Languages, pp. 238\u2013252 (January 1977)","DOI":"10.1145\/512950.512973"},{"key":"24_CR13","unstructured":"Del Tedesco, F., Hunt, S., Sands, D.: A semantic hierarchy for erasure policies (extended version). In: International Conference on Information System Security (2011), \n                    \n                      http:\/\/arxiv.org\/abs\/1109.6914"},{"key":"24_CR14","series-title":"LNCS","volume-title":"The 15th Nordic Conference in Secure IT Systems","author":"F. Tedesco Del","year":"2010","unstructured":"Del Tedesco, F., Russo, A., Sands, D.: Implementing erasure policies using taint analysis. In: Aura, T. (ed.) The 15th Nordic Conference in Secure IT Systems. LNCS. Springer, Heidelberg (October 2010)"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Del Tedesco, F., Sands, D.: A user model for information erasure. In: 7th International Workshop on Security Issues in Concurrency (SECCO 2009), pp. 16\u201330 (2009)","DOI":"10.4204\/EPTCS.7.2"},{"issue":"1","key":"24_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R. Focardi","year":"1995","unstructured":"Focardi, R., Gorrieri, R.: A classification of security properties for process algebras. J. Computer Security\u00a03(1), 5\u201333 (1995)","journal-title":"J. Computer Security"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Giacobazzi, R., Mastroeni, I.: Abstract non-interference: Parameterizing non-interference by abstract interpretation. In: Proc. ACM Symp. on Principles of Programming Languages, pp. 186\u2013197 (January 2004)","DOI":"10.1145\/964001.964017"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-78739-6_19","volume-title":"Programming Languages and Systems","author":"S. Hunt","year":"2008","unstructured":"Hunt, S., Sands, D.: Just Forget it \u2013 The Semantics and Enforcement of Information Erasure. In: Gairing, M. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 239\u2013253. Springer, Heidelberg (2008)"},{"key":"24_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11547662_13","volume-title":"Static Analysis","author":"S. Hunt","year":"2005","unstructured":"Hunt, S., Mastroeni, I.: The Per Model of Abstract Non-Interference. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol.\u00a03672, pp. 171\u2013185. Springer, Heidelberg (2005)"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Landauer, J., Redmond, T.: A lattice of information. In: Proc. IEEE Computer Security Foundations Workshop, pp. 65\u201370 (June 1993)","DOI":"10.1109\/CSFW.1993.246638"},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/11575467_27","volume-title":"Programming Languages and Systems","author":"I. Mastroeni","year":"2005","unstructured":"Mastroeni, I.: On the R\u00f4le of Abstract Non-Interference in Language-Based Security. In: Yi, K. (ed.) APLAS 2005. LNCS, vol.\u00a03780, pp. 418\u2013433. Springer, Heidelberg (2005)"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"McLean, J.: Security models and information flow. In: Proc. IEEE Symp. on Security and Privacy, pp. 180\u2013187 (May 1990)","DOI":"10.21236\/ADA462529"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Nanevski, A., Banerjee, A., Garg, D.: Verification of information flow and access control policies with dependent types. In: Proc. IEEE Symp. on Security and Privacy (2011)","DOI":"10.1109\/SP.2011.12"},{"key":"24_CR24","first-page":"190","volume-title":"CSFW 2006: Proceedings of the 19th IEEE Workshop on Computer Security Foundations","author":"K.R. O\u2019Neill","year":"2006","unstructured":"O\u2019Neill, K.R., Clarkson, M.R., Chong, S.: Information-flow security for interactive programs. In: CSFW 2006: Proceedings of the 19th IEEE Workshop on Computer Security Foundations, pp. 190\u2013201. IEEE Computer Society, Washington, DC, USA (2006)"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D.: A powerdomain construction. SIAM J. Comput. pp. 452\u2013487 (1976)","DOI":"10.1137\/0205035"},{"key":"24_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-49099-X_4","volume-title":"Programming Languages and Systems","author":"A. Sabelfeld","year":"1999","unstructured":"Sabelfeld, A., Sands, D.: A Per Model of Secure Information Flow in Sequential Programs. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 40\u201358. Springer, Heidelberg (1999)"},{"issue":"1","key":"24_CR27","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1011553200337","volume":"14","author":"A. Sabelfeld","year":"2001","unstructured":"Sabelfeld, A., Sands, D.: A per model of secure information flow in sequential programs. Higher-Order and Symbolic Computation\u00a014(1), 59\u201391 (2001)","journal-title":"Higher-Order and Symbolic Computation"},{"issue":"5","key":"24_CR28","doi-asserted-by":"publisher","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":"24_CR29","unstructured":"Sutherland, D.: A model of information. In: Proc. National Computer Security Conference, pp. 175\u2013183 (September 1986)"},{"key":"24_CR30","unstructured":"Wei, M.Y.C., Grupp, L.M., Spada, F.E., Swanson, S.: Reliably erasing data from flash-based solid state drives. In: 9th USENIX Conference on File and Storage Technologies, San Jose, CA, USA, February 15-17, pp. 105\u2013117. USENIX (2011)"},{"key":"24_CR31","doi-asserted-by":"crossref","unstructured":"Wittbold, J.T., Johnson, D.M.: Information flow in nondeterministic systems. In: IEEE Symposium on Security and Privacy, pp. 144\u2013161 (1990)","DOI":"10.1109\/RISP.1990.63846"}],"container-title":["Lecture Notes in Computer Science","Information Systems Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25560-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T07:00:22Z","timestamp":1555398022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25560-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642255595","9783642255601"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25560-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}