{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:42:58Z","timestamp":1774946578620,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642154966","type":"print"},{"value":"9783642154973","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15497-3_8","type":"book-chapter","created":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T10:51:46Z","timestamp":1283338306000},"page":"116-133","source":"Crossref","is-referenced-by-count":18,"title":["Flexible Scheduler-Independent Security"],"prefix":"10.1007","author":[{"given":"Heiko","family":"Mantel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henning","family":"Sudbrock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_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, Los Alamitos (1982)"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1109\/SECPRI.1989.36298","volume-title":"10th IEEE Symposium on Security and Privacy","author":"J. Jacob","year":"1989","unstructured":"Jacob, J.: On the Derivation of Secure Components. In: 10th IEEE Symposium on Security and Privacy, pp. 242\u2013247. IEEE, Los Alamitos (1989)"},{"issue":"2,3","key":"8_CR3","doi-asserted-by":"crossref","first-page":"231","DOI":"10.3233\/JCS-1999-72-305","volume":"7","author":"D. Volpano","year":"1999","unstructured":"Volpano, D., Smith, G.: Probabilistic Noninterference in a Concurrent Language. Journal of Computer Security\u00a07(2,3), 231\u2013253 (1999)","journal-title":"Journal of Computer Security"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-540-77505-8_10","volume-title":"Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues","author":"A. Russo","year":"2008","unstructured":"Russo, A., Hughes, J., Naumann, D.A., Sabelfeld, A.: Closing Internal Timing Channels by Transformation. In: Okada, M., Satoh, I. (eds.) ASIAN 2006. LNCS, vol.\u00a04435, pp. 120\u2013135. Springer, Heidelberg (2008)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/268946.268975","volume-title":"25th ACM Symposium on Principles of Programming Languages","author":"G. Smith","year":"1998","unstructured":"Smith, G., Volpano, D.: Secure Information Flow in a Multi-threaded Imperative Language. In: 25th ACM Symposium on Principles of Programming Languages, pp. 355\u2013364. ACM, New York (1998)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/CSFW.2003.1212703","volume-title":"16th IEEE Computer Security Foundations Workshop","author":"S. Zdancewic","year":"2003","unstructured":"Zdancewic, S., Myers, A.C.: Observational Determinism for Concurrent Program Security. In: 16th IEEE Computer Security Foundations Workshop, pp. 29\u201343. IEEE, Los Alamitos (2003)"},{"key":"8_CR7","first-page":"200","volume-title":"13th IEEE Computer Security Foundations Workshop","author":"A. Sabelfeld","year":"2000","unstructured":"Sabelfeld, A., Sands, D.: Probabilistic Noninterference for Multi-threaded Programs. In: 13th IEEE Computer Security Foundations Workshop, pp. 200\u2013214. IEEE, Los Alamitos (2000)"},{"issue":"1-2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0304-3975(02)00010-5","volume":"281","author":"G. Boudol","year":"2002","unstructured":"Boudol, G., Castellani, I.: Noninterference for Concurrent Programs and Thread Systems. Theoretical Computer Science\u00a0281(1-2), 109\u2013130 (2002)","journal-title":"Theoretical Computer Science"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1109\/CSFW.2006.29","volume-title":"19th IEEE Computer Security Foundations Workshop","author":"A. Russo","year":"2006","unstructured":"Russo, A., Sabelfeld, A.: Securing Interaction between Threads and the Scheduler. In: 19th IEEE Computer Security Foundations Workshop, pp. 177\u2013189. IEEE, Los Alamitos (2006)"},{"key":"8_CR10","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)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/CSFW.2003.1212701","volume-title":"16th IEEE Computer Security Foundations Workshop","author":"G. Smith","year":"2003","unstructured":"Smith, G.: Probabilistic Noninterference through Weak Probabilistic Bisimulation. In: 16th IEEE Computer Security Foundations Workshop, pp. 3\u201313. IEEE, Los Alamitos (2003)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","first-page":"50","volume-title":"ESOP 1999","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)"},{"issue":"2,3","key":"8_CR13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano, D., Smith, G., Irvine, C.: A Sound Type System for Secure Flow Analysis. Journal of Computer Security\u00a04(2,3), 167\u2013188 (1996)","journal-title":"Journal of Computer Security"},{"key":"8_CR14","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":"8_CR15","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1109\/CSFW.2001.930141","volume-title":"14th IEEE Computer Security Foundations Workshop","author":"G. Smith","year":"2001","unstructured":"Smith, G.: A New Type System for Secure Information Flow. In: 14th IEEE Computer Security Foundations Workshop, pp. 115\u2013125. IEEE, Los Alamitos (2001)"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.jlap.2007.02.009","volume":"72","author":"A.A. Matos","year":"2007","unstructured":"Matos, A.A., Boudol, G., Castellani, I.: Typing Noninterference for Reactive Programs. Journal of Logic and Algebraic Programming\u00a072(2), 124\u2013156 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"1","key":"8_CR17","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":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-45575-2_22","volume-title":"Perspectives of System Informatics","author":"A. Sabelfeld","year":"2001","unstructured":"Sabelfeld, A.: The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. In: Bj\u00f8rner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol.\u00a02244, pp. 225\u2013239. Springer, Heidelberg (2001)"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/CSFW.2004.1310735","volume-title":"17th IEEE Computer Security Foundations Workshop","author":"G. Barthe","year":"2004","unstructured":"Barthe, G., D\u2019Argenio, P.R., Rezk, T.: Secure Information Flow by Self-Composition. In: 17th IEEE Computer Security Foundations Workshop, pp. 100\u2013114. IEEE, Los Alamitos (2004)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-540-71410-1_8","volume-title":"Logic-Based Program Synthesis and Transformation","author":"H. Mantel","year":"2007","unstructured":"Mantel, H., Sudbrock, H., Krau\u00dfer, T.: Combining Different Proof Techniques for Verifying Information Flow Security. In: Puebla, G. (ed.) LOPSTR 2006. LNCS, vol.\u00a04407, pp. 94\u2013110. Springer, Heidelberg (2007)"},{"key":"8_CR21","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":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/978-3-540-70881-0_43","volume-title":"Perspectives of Systems Informatics","author":"A. Russo","year":"2007","unstructured":"Russo, A., Sabelfeld, A.: Security for Multithreaded Programs under Cooperative Scheduling. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.\u00a04378, pp. 474\u2013480. Springer, Heidelberg (2007)"},{"issue":"1","key":"8_CR23","doi-asserted-by":"crossref","first-page":"37","DOI":"10.3233\/JCS-1992-1103","volume":"1","author":"J.D. McLean","year":"1992","unstructured":"McLean, J.D.: Proving Noninterference and Functional Correctness using Traces. Journal of Computer Security\u00a01(1), 37\u201357 (1992)","journal-title":"Journal of Computer Security"},{"key":"8_CR24","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)"},{"key":"8_CR25","first-page":"114","volume-title":"16th IEEE Symposium on Security and Privacy","author":"A.W. Roscoe","year":"1995","unstructured":"Roscoe, A.W.: CSP and Determinism in Security Modelling. In: 16th IEEE Symposium on Security and Privacy, pp. 114\u2013127. IEEE, Los Alamitos (1995)"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/CSFW.2006.6","volume-title":"19th IEEE Computer Security Foundations Workshop","author":"M. Huisman","year":"2006","unstructured":"Huisman, M., Worah, P., Sunesen, K.: A Temporal Logic Characterisation of Observational Determinism. In: 19th IEEE Computer Security Foundations Workshop, pp. 3\u201315. IEEE, Los Alamitos (2006)"},{"issue":"4","key":"8_CR27","doi-asserted-by":"crossref","first-page":"615","DOI":"10.3233\/JCS-2003-11406","volume":"11","author":"H. Mantel","year":"2003","unstructured":"Mantel, H., Sabelfeld, A.: A Unifying Approach to the Security of Distributed and Multi-threaded Programs. Journal of Computer Security\u00a011(4), 615\u2013676 (2003)","journal-title":"Journal of Computer Security"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-3-540-31982-5_19","volume-title":"Foundations of Software Science and Computational Structures","author":"R. Focardi","year":"2005","unstructured":"Focardi, R., Rossi, S., Sabelfeld, A.: Bridging Language-Based and Process Calculi Security. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 299\u2013315. Springer, Heidelberg (2005)"},{"issue":"2-3","key":"8_CR29","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10207-007-0016-z","volume":"6","author":"B. K\u00f6pf","year":"2007","unstructured":"K\u00f6pf, B., Mantel, H.: Transformational Typing and Unification for Automatically Correcting Insecure Programs. International Journal of Information Security\u00a06(2-3), 107\u2013131 (2007)","journal-title":"International Journal of Information Security"},{"key":"8_CR30","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":"8_CR31","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., Lopez, J. (eds.) ESORICS 2007. LNCS, vol.\u00a04734, pp. 2\u201318. Springer, Heidelberg (2007)"},{"issue":"7","key":"8_CR32","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":"8_CR33","first-page":"301","volume-title":"21st IEEE Computer Security Foundations Symposium","author":"R. Meyden van der","year":"2008","unstructured":"van der Meyden, R., Zhang, C.: Information Flow in Systems with Schedulers. In: 21st IEEE Computer Security Foundations Symposium, pp. 301\u2013312. IEEE, Los Alamitos (2008)"},{"key":"8_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-74407-8_4","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"K. Chatzikokolakis","year":"2007","unstructured":"Chatzikokolakis, K., Palamidessi, C.: Making Random Choices Invisible to the Scheduler. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 42\u201358. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2010"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15497-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:29:36Z","timestamp":1559507376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15497-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642154966","9783642154973"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15497-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}