{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T07:40:28Z","timestamp":1743579628454,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642311123"},{"type":"electronic","value":"9783642311130"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31113-0_4","type":"book-chapter","created":{"date-parts":[[2012,6,20]],"date-time":"2012-06-20T05:04:11Z","timestamp":1340168651000},"page":"25-47","source":"Crossref","is-referenced-by-count":5,"title":["Scheduler-Independent Declassification"],"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"}]},{"given":"Matthias","family":"Perner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"4_CR1","doi-asserted-by":"crossref","first-page":"549","DOI":"10.3233\/JCS-2009-0355","volume":"17","author":"A. Almeida Matos","year":"2009","unstructured":"Almeida Matos, A., Boudol, G.: On Declassification and the Non-Disclosure Policy. Journal of Computer Security\u00a017(5), 549\u2013597 (2009)","journal-title":"Journal of Computer Security"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Askarov, A., Sabelfeld, A.: Gradual Release: Unifying Declassification, Encryption and Key Release Policies. In: IEEE Symposium on Security and Privacy, pp. 207\u2013221 (2007)","DOI":"10.1109\/SP.2007.22"},{"key":"4_CR3","doi-asserted-by":"crossref","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 (2007)","DOI":"10.1145\/1255329.1255339"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Askarov, A., Sabelfeld, A.: Tight Enforcement of Information-Release Policies for Dynamic Languages. In: IEEE Computer Security Foundations Symposium, pp. 43\u201359 (2009)","DOI":"10.1109\/CSF.2009.22"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Banerjee, A., Naumann, D.A., Rosenberg, S.: Expressive Declassification Policies and Modular Static Enforcement. In: IEEE Symposium on Security and Privacy, pp. 339\u2013353 (2008)","DOI":"10.1109\/SP.2008.20"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Barthe, G., Cavadini, S., Rezk, T.: Tractable Enforcement of Declassification Policies. In: IEEE Computer Security Foundations Symposium, pp. 83\u201397 (2008)","DOI":"10.1109\/CSF.2008.11"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-74835-9_2","volume-title":"Computer Security \u2013 ESORICS 2007","author":"G. Barthe","year":"2007","unstructured":"Barthe, G., Rezk, T., Russo, A., Sabelfeld, A.: Security of Multithreaded Programs by Compilation. In: Biskup, J., L\u00f3pez, J. (eds.) ESORICS 2007. LNCS, vol.\u00a04734, pp. 2\u201318. Springer, Heidelberg (2007)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Bell, D.E., LaPadula, L.: Secure Computer Systems: Unified Exposition and Multics Interpretation. Tech. Rep. MTR-2997, MITRE (1976)","DOI":"10.21236\/ADA023588"},{"issue":"3","key":"4_CR9","doi-asserted-by":"crossref","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":"4_CR10","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":"4_CR11","doi-asserted-by":"crossref","unstructured":"Broberg, N., Sands, D.: Paralocks: Role-based Information Flow Control and Beyond. In: ACM Symposium on Principles of Programming Languages, pp. 431\u2013444 (2010)","DOI":"10.1145\/1707801.1706349"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security Policies and Security Models. In: IEEE Symposium on Security and Privacy, pp. 11\u201320 (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Huisman, M., Worah, P., Sunesen, K.: A Temporal Logic Characterisation of Observational Determinism. In: IEEE Computer Security Foundations Workshop, pp. 3\u201315 (2006)","DOI":"10.1109\/CSFW.2006.6"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Jacob, J.: On the Derivation of Secure Components. In: IEEE Symposium on Security and Privacy, pp. 242\u2013247 (1989)","DOI":"10.1109\/SECPRI.1989.36298"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Li, P., Zdancewic, S.: Downgrading Policies and Relaxed Noninterference. In: ACM Symposium on Principles of Programming Languages, pp. 158\u2013170 (2005)","DOI":"10.1145\/1047659.1040319"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-04444-1_5","volume-title":"Computer Security \u2013 ESORICS 2009","author":"A. Lux","year":"2009","unstructured":"Lux, A., Mantel, H.: Declassification with Explicit Reference Points. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 69\u201385. Springer, Heidelberg (2009)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-01465-9_3","volume-title":"Formal Aspects in Security and Trust","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":"4_CR18","doi-asserted-by":"crossref","unstructured":"Mantel, H.: Preserving Information Flow Properties under Refinement. In: IEEE Symposium on Security and Privacy, pp. 78\u201391 (2001)","DOI":"10.1109\/SECPRI.2001.924289"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Mantel, H.: Information Flow and Noninterference. In: van Tilborg, H.C.A., Jajodia, S. (eds.) Encyclopedia of Cryptography and Security, 2nd edn., pp. 605\u2013607. Springer (2011)","DOI":"10.1007\/978-1-4419-5906-5_874"},{"key":"4_CR20","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":"4_CR21","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":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-15497-3_8","volume-title":"Computer Security \u2013 ESORICS 2010","author":"H. Mantel","year":"2010","unstructured":"Mantel, H., Sudbrock, H.: Flexible Scheduler-Independent Security. In: Gritzalis, D., Preneel, B., Theoharidou, M. (eds.) ESORICS 2010. LNCS, vol.\u00a06345, pp. 116\u2013133. Springer, Heidelberg (2010)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"McCullough, D.: Specifications for Multi-Level Security and a Hook-Up Property. In: IEEE Symposium on Security and Privacy, pp. 161\u2013166 (1987)","DOI":"10.1109\/SP.1987.10009"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/11783596_21","volume-title":"Mathematics of Program Construction","author":"C. Morgan","year":"2006","unstructured":"Morgan, C.: The Shadow Knows: Refinement of Ignorance in Sequential Programs. In: Yu, H.-J. (ed.) MPC 2006. LNCS, vol.\u00a04014, pp. 359\u2013378. Springer, Heidelberg (2006)"},{"issue":"4","key":"4_CR25","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":"4_CR26","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3233\/JCS-2006-14203","volume":"14","author":"A.C. Myers","year":"2006","unstructured":"Myers, A.C., Sabelfeld, A., Zdancewic, S.: Enforcing Robust Declassification and Qualified Robustness. Journal of Computer Security\u00a014, 157\u2013196 (2006)","journal-title":"Journal of Computer Security"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","first-page":"33","volume-title":"Computer Security - ESORICS 94","author":"A.W. Roscoe","year":"1994","unstructured":"Roscoe, A.W., Woodcock, J.C.P., Wulf, L.: Non-interference through Determinism. In: Gollmann, D. (ed.) ESORICS 1994. LNCS, vol.\u00a0875, pp. 33\u201353. Springer, Heidelberg (1994)"},{"issue":"7","key":"4_CR28","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1016\/j.jlap.2008.09.003","volume":"78","author":"A. Russo","year":"2009","unstructured":"Russo, A., Sabelfeld, A.: Securing Interaction between Threads and the Scheduler in the Presence of Synchronization. Journal of Logic and Algebraic Programming\u00a078(7), 593\u2013618 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-37621-7_9","volume-title":"Software Security - Theories and Systems","author":"A. Sabelfeld","year":"2004","unstructured":"Sabelfeld, A., Myers, A.C.: A Model for Delimited Information Release. In: Futatsugi, K., Mizoguchi, F., Yonezaki, N. (eds.) ISSS 2003. LNCS, vol.\u00a03233, pp. 174\u2013191. Springer, Heidelberg (2004)"},{"key":"4_CR30","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\u201359. Springer, Heidelberg (1999)"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Sands, D.: Probabilistic Noninterference for Multi-threaded Programs. In: IEEE Computer Security Foundations Workshop, pp. 200\u2013215 (2000)","DOI":"10.1109\/CSFW.2000.856937"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Sands, D.: Dimensions and Principles of Declassification. In: IEEE Computer Security Foundations Workshop, pp. 255\u2013269 (2005)","DOI":"10.1109\/CSFW.2005.15"},{"issue":"5","key":"4_CR33","doi-asserted-by":"crossref","first-page":"517","DOI":"10.3233\/JCS-2009-0352","volume":"17","author":"A. Sabelfeld","year":"2009","unstructured":"Sabelfeld, A., Sands, D.: Declassification: Dimensions and Principles. Journal of Computer Security\u00a017(5), 517\u2013548 (2009)","journal-title":"Journal of Computer Security"},{"key":"4_CR34","unstructured":"Sutherland, D.: A Model of Information. In: National Computer Security Conference (1986)"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Volpano, D., Smith, G.: Probabilistic Noninterference in a Concurrent Language. In: IEEE Computer Security Foundations Workshop, pp. 34\u201343 (1998)","DOI":"10.1109\/CSFW.1998.683153"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Zdancewic, S., Myers, A.C.: Observational Determinism for Concurrent Program Security. In: IEEE Computer Security Foundations Workshop, pp. 29\u201343 (2003)","DOI":"10.1109\/CSFW.2003.1212703"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31113-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T07:27:35Z","timestamp":1743578855000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-31113-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642311123","9783642311130"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31113-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}