{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:42:48Z","timestamp":1774946568143,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642044434","type":"print"},{"value":"9783642044441","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04444-1_5","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T14:34:44Z","timestamp":1252938884000},"page":"69-85","source":"Crossref","is-referenced-by-count":10,"title":["Declassification with Explicit Reference Points"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Lux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiko","family":"Mantel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"11","volume-title":"3rd IEEE Symposium on Security and Privacy","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Security Policies and Security Models. In: 3rd IEEE Symposium on Security and Privacy, pp. 11\u201320. IEEE Computer Society Press, Los Alamitos (1982)"},{"key":"5_CR2","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)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1109\/CSFW.2005.15","volume-title":"18th IEEE Computer Security Foundations Workshop","author":"A. Sabelfeld","year":"2005","unstructured":"Sabelfeld, A., Sands, D.: Dimensions and Principles of Declassification. In: 18th IEEE Computer Security Foundations Workshop, pp. 255\u2013269. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"5_CR4","first-page":"174","volume-title":"ISSS 2004","author":"A. Sabelfeld","year":"2004","unstructured":"Sabelfeld, A., Myers, A.C.: A Model for Delimited Information Release. In: ISSS 2004, pp. 174\u2013191. Springer, Heidelberg (2004)"},{"key":"5_CR5","first-page":"83","volume-title":"21st IEEE Computer Security Foundations Symposium","author":"G. Barthe","year":"2008","unstructured":"Barthe, G., Cavadini, S., Rezk, T.: Tractable Enforcement of Declassification Policies. In: 21st IEEE Computer Security Foundations Symposium, pp. 83\u201397. IEEE, Los Alamitos (2008)"},{"issue":"3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"373","DOI":"10.3233\/JCS-2007-15303","volume":"15","author":"A. Bossi","year":"2007","unstructured":"Bossi, A., Piazza, C., Rossi, S.: Compositional Information Flow Security for Concurrent Programs. Journal of Computer Security\u00a015(3), 373\u2013416 (2007)","journal-title":"Journal of Computer Security"},{"key":"5_CR7","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":"5_CR8","first-page":"53","volume-title":"Workshop on Programming Languages and Analysis for Security","author":"A. Askarov","year":"2007","unstructured":"Askarov, A., Sabelfeld, A.: Localized Delimited Release: Combining the What and Where Dimensions of Information Release. In: Workshop on Programming Languages and Analysis for Security, pp. 53\u201360. ACM Press, New York (2007)"},{"key":"5_CR9","first-page":"339","volume-title":"29th IEEE Symposium on Security and Privacy","author":"A. Banerjee","year":"2008","unstructured":"Banerjee, A., Naumann, D.A., Rosenberg, S.: Expressive Declassification Policies and Modular Static Enforcement. In: 29th IEEE Symposium on Security and Privacy, pp. 339\u2013353. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"5_CR10","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. LNCS, vol.\u00a01576, pp. 50\u201359. Springer, Heidelberg (1999)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-642-01465-9_3","volume-title":"FAST 2008","author":"A. Lux","year":"2009","unstructured":"Lux, A., Mantel, H.: Who Can Declassify? In: Degano, P., Guttman, J., Martinelli, F. (eds.) FAST 2008. LNCS, vol.\u00a05491, pp. 35\u201349. Springer, Heidelberg (2009)"},{"key":"5_CR12","first-page":"207","volume-title":"28th IEEE Symposium on Security and Privacy","author":"A. Askarov","year":"2007","unstructured":"Askarov, A., Sabelfeld, A.: Gradual Release: Unifying Declassification, Encryption and Key Release Policies. In: 28th IEEE Symposium on Security and Privacy, pp. 207\u2013221. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1109\/CSFW.2005.21","volume-title":"18th IEEE Computer Security Foundations Workshop","author":"A. Almeida Matos","year":"2005","unstructured":"Almeida Matos, A., Boudol, G.: On Declassification and the Non-Disclosure Policy. In: 18th IEEE Computer Security Foundations Workshop, pp. 226\u2013240. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"5_CR14","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)"},{"issue":"4","key":"5_CR15","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":"5_CR16","first-page":"15","volume-title":"14th IEEE Computer Security Foundations Workshop","author":"S. Zdancewic","year":"2001","unstructured":"Zdancewic, S., Myers, A.C.: Robust Declassification. In: 14th IEEE Computer Security Foundations Workshop, pp. 15\u201323. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"5_CR17","volume-title":"22nd IEEE Computer Security Foundations Symposium","author":"A. Askarov","year":"2009","unstructured":"Askarov, A., Sabelfeld, A.: Tight Enforcement of Information-Release Policies for Dynamic Languages. In: 22nd IEEE Computer Security Foundations Symposium. IEEE Computer Society Press, Los Alamitos (2009)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2009"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04444-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:17:04Z","timestamp":1559506624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04444-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044434","9783642044441"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04444-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}