{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T23:10:10Z","timestamp":1739315410330,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642034589"},{"type":"electronic","value":"9783642034596"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03459-6_6","type":"book-chapter","created":{"date-parts":[[2009,8,29]],"date-time":"2009-08-29T03:16:08Z","timestamp":1251515768000},"page":"88-91","source":"Crossref","is-referenced-by-count":0,"title":["Improving the Semantics of Imperfect Security"],"prefix":"10.1007","author":[{"given":"Niklas","family":"Broberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Sands","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Almeida Matos, A., Boudol, G.: On declassification and the non-disclosure policy. In: Proc. IEEE Computer Security Foundations Workshop, June 2005, pp. 226\u2013240 (2005)","DOI":"10.1109\/CSFW.2005.21"},{"key":"6_CR2","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, May 2007, pp. 207\u2013221 (2007)","DOI":"10.1109\/SP.2007.22"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Barthe, G., Cavadini, S., Rezk, T.: Tractable enforcement of declassification policies. In: Proc. IEEE Computer Security Foundations Symposium (2008)","DOI":"10.1109\/CSF.2008.11"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/11693024_13","volume-title":"Programming Languages and Systems","author":"N. Broberg","year":"2006","unstructured":"Broberg, N., Sands, D.: Flow locks: Towards a core calculus for dynamic flow policies. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 180\u2013196. Springer, Heidelberg (2006)"},{"key":"#cr-split#-6_CR5.1","doi-asserted-by":"crossref","unstructured":"Broberg, N., Sands, D.: Flow locks: Towards a core calculus for dynamic flow policies. Technical report, Chalmers University of Technology and G??teborgs University (May 2006);","DOI":"10.1007\/11693024_13"},{"key":"#cr-split#-6_CR5.2","unstructured":"Extended version of [BS06a]"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Dam, M.: Decidability and proof systems for language-based noninterference relations. In: Proc. ACM Symp. on Principles of Programming Languages (2006)","DOI":"10.1145\/1111037.1111044"},{"key":"6_CR7","unstructured":"Echahed, R., Prost, F.: Handling harmless interference. Technical Report\u00a082, Laboratoire Leibniz, IMAG (June 2003)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Echahed, R., Prost, F.: Security policy in a declarative style. In: Proceedings of the 7th International Conference on Principles and Practice of Declarative Programming (PPDP 2005), Lisboa, Portugal (July 2005)","DOI":"10.1145\/1069774.1069789"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Lux, A., Mantel, H.: Who can declassify? In: Preproceedings of the Workshop on Formal Aspects in Security and Trust (FAST) (2008)","DOI":"10.1007\/978-3-642-01465-9_3"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-540-71316-6_11","volume-title":"Programming Languages and Systems","author":"H. Mantel","year":"2007","unstructured":"Mantel, H., Reinhard, A.: Controlling the what and where of declassification in language-based security. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 141\u2013156. Springer, Heidelberg (2007)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-30477-7_9","volume-title":"Programming Languages and Systems","author":"H. Mantel","year":"2004","unstructured":"Mantel, H., Sands, D.: Controlled declassification based on intransitive noninterference. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 129\u2013145. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Foundations and Applications of Security Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03459-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T22:31:56Z","timestamp":1739313116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03459-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642034589","9783642034596"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03459-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}