{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T08:08:30Z","timestamp":1767773310769},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540713142"},{"type":"electronic","value":"9783540713166"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71316-6_11","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:58:28Z","timestamp":1184590708000},"page":"141-156","source":"Crossref","is-referenced-by-count":18,"title":["Controlling the What and Where of Declassification in Language-Based Security"],"prefix":"10.1007","author":[{"given":"Heiko","family":"Mantel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Reinhard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Almeida Matos, A.: Typing secure information flow: declassification and mobility. PhD thesis, \u00c9cole Nationale Sup\u00e9rieure des Mines de Paris (2006)"},{"key":"11_CR2","unstructured":"Almeida Matos, A., Boudol, G.: On declassification and the non-disclosure policy. In: Proc. IEEE Computer Security Foundations Workshop (2005)"},{"key":"11_CR3","first-page":"297","volume-title":"Foundations of Secure Computation","author":"E. Cohen","year":"1978","unstructured":"Cohen, E.: Information transmission in sequential programs. In: Foundations of Secure Computation, pp. 297\u2013335. Academic Press, London (1978)"},{"key":"11_CR4","unstructured":"Dam, M., Giambiagi, P.: Information flow control for cryptographic applets. Presentation at Dagstuhl Seminar on Language-Based Security (2003), \n                    \n                      http:\/\/kathrin.dagstuhl.de\/03411\/Materials2\/"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Giacobazzi, R., Mastroeni, I.: Abstract non-interference: Parameterizing non-interference by abstract interpretation. In: Proc. of the 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 186\u2013197 (2004)","DOI":"10.1145\/964001.964017"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security Policies and Security Models. In: Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, USA, pp. 11\u201320 (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Li, P., Zdancewic, S.: Downgrading policies and relaxed noninterference. In: Proc. of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New York, NY, USA, pp. 158\u2013170 (2005)","DOI":"10.1145\/1040305.1040319"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Quantifying information flow. In: Proc. of the 15th IEEE Computer Security Foundations Workshop, Washington, DC, USA (2002)","DOI":"10.1109\/CSFW.2002.1021804"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"issue":"1","key":"11_CR10","doi-asserted-by":"crossref","first-page":"37","DOI":"10.3233\/JCS-2004-12103","volume":"12","author":"A. Pierro Di","year":"2004","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Approximate Non-Interference. Journal of Computer Security\u00a012(1), 37\u201381 (2004)","journal-title":"Journal of Computer Security"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/978-3-540-39866-0_27","volume-title":"Perspectives of System Informatics","author":"A. Sabelfeld","year":"2004","unstructured":"Sabelfeld, A.: Confidentiality for Multithreaded Programs via Bisimulation. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 260\u2013274. Springer, Heidelberg (2004)"},{"issue":"1","key":"11_CR12","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 Journal on Selected Areas in Communication\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communication"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Myers, A.C.: A model for delimited information release. In: Proceedings of the International Symposium on Software Security (2004)","DOI":"10.1007\/978-3-540-37621-7_9"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","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 and ETAPS 1999. LNCS, vol.\u00a01576, pp. 50\u201359. Springer, Heidelberg (1999)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Sands, D.: Probabilistic Noninterference for Multi-threaded Programs. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, Cambridge, UK, pp. 200\u2013215 (2000)","DOI":"10.1109\/CSFW.2000.856937"},{"key":"11_CR16","first-page":"255","volume-title":"Proceedings of the 18th IEEE Computer Security Foundations Workshop","author":"A. Sabelfeld","year":"2005","unstructured":"Sabelfeld, A., Sands, D.: Dimensions and Principles of Declassification. In: Proceedings of the 18th IEEE Computer Security Foundations Workshop, pp. 255\u2013269. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Zdancewic, S., Myers, A.: Robust declassification. In: 14th IEEE Computer Security Foundations Workshop (CSFW \u201901), Washington - Brussels - Tokyo, pp. 15\u201326 (2001)","DOI":"10.1109\/CSFW.2001.930133"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71316-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T21:48:31Z","timestamp":1550440111000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71316-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540713142","9783540713166"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71316-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}