{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T21:40:04Z","timestamp":1748382004347,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319184661"},{"type":"electronic","value":"9783319184678"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-18467-8_5","type":"book-chapter","created":{"date-parts":[[2015,5,8]],"date-time":"2015-05-08T12:12:03Z","timestamp":1431087123000},"page":"67-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Strategic Noninterference"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masoud","family":"Tabatabaei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,5,9]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Allen, P.G.: A comparison of non-interference and non-deducibility using CSP. In: Proceedings of CSFW, pp. 43\u201354 (1991)","DOI":"10.1109\/CSFW.1991.151568"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Backes, M., Pfitzmann, B.: Intransitive non-interference for cryptographic purposes. In: Proceedings of S&P, pp. 140\u2013152. IEEE (2003)","DOI":"10.1109\/SECPRI.2003.1199333"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Engelhardt, K., van der Meyden, R., Zhang, C.: Intransitive noninterference in nondeterministic systems. In: Proceedings of CCS, pp. 869\u2013880 (2012)","DOI":"10.1145\/2382196.2382288"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proceedings of S&P, pp. 11\u201320. IEEE Computer Society (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Unwinding and inference control. In: IEEE Symposium on Security and Privacy, pp. 75\u201375. IEEE Computer Society (1984)","DOI":"10.1109\/SP.1984.10019"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Gray III, J.W.: Probabilistic interference. In: Proceedings of S&P, pages 170\u2013179. IEEE (1990)","DOI":"10.1109\/RISP.1990.63848"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1613\/jair.3269","volume":"41","author":"D Korzhyk","year":"2011","unstructured":"Korzhyk, D., Yin, Z., Kiekintveld, C., Conitzer, V., Tambe, M.: Stackelberg vs. Nash in security games: An extended investigation of interchangeability, equivalence, and uniqueness. Journal of Artif. Intell. Research 41, 297\u2013327 (2011)","journal-title":"Journal of Artif. Intell. Research"},{"issue":"10","key":"5_CR8","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/362375.362389","volume":"16","author":"BW Lampson","year":"1973","unstructured":"Lampson, B.W.: A note on the confinement problem. Communications of the ACM 16(10), 613\u2013615 (1973)","journal-title":"Communications of the ACM"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Li, P., Zdancewic, S.: Downgrading policies and relaxed noninterference. In: ACM SIGPLAN Notices, vol. 40, pp. 158\u2013170. ACM (2005)","DOI":"10.1145\/1047659.1040319"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"McCullough, D.: Noninterference and the composability of security properties. In: Proceedings of S&P, pp. 177\u2013186. IEEE (1988)","DOI":"10.1109\/SECPRI.1988.8110"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"McIver, A., Morgan, C.: A probabilistic approach to information hiding. Programming Methodology, pp. 441\u2013460 (2003)","DOI":"10.1007\/978-0-387-21798-7_20"},{"key":"5_CR12","unstructured":"O\u2019Halloran, C.: A calculus of information flow. In: Proceedings of ESORICS, pp. 147\u2013159 (1990)"},{"issue":"1","key":"5_CR13","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 12(1), 37\u201381 (2004)","journal-title":"Journal of Computer Security"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W.: CSP and determinism in security modelling. In: Proceedings of S&P, pp. 114\u2013127. IEEE (1995)","DOI":"10.1109\/SECPRI.1995.398927"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W., Goldsmith, M.H.: What is intransitive noninterference? In: Proceedings of CSF, pp. 228\u2013228. IEEE (1999)","DOI":"10.1109\/CSFW.1999.779776"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W., Woodcock, J.C.P., Wulf, L.: Non-interference through determinism. In: Proceedings of ESORICS, pp. 31\u201353. Springer (1994)","DOI":"10.1007\/3-540-58618-0_55"},{"key":"5_CR17","unstructured":"Rushby, J.: Noninterference, transitivity, and channel-control security policies. SRI International, Computer Science Laboratory (1992)"},{"issue":"1","key":"5_CR18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/JCS-2001-91-204","volume":"9","author":"PYA Ryan","year":"2001","unstructured":"Ryan, P.Y.A., Schneider, S.A.: Process algebra and non-interference. Journal of Computer Security 9(1), 75\u2013103 (2001)","journal-title":"Journal of Computer Security"},{"key":"5_CR19","unstructured":"Schnoebelen, Ph.: The complexity of temporal model checking. In: Advances in Modal Logics, Proceedings of AiML 2002. World Scientific (2003)"},{"issue":"1","key":"5_CR20","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1049\/iet-ifs:20080069","volume":"3","author":"F Seehusen","year":"2009","unstructured":"Seehusen, F., St\u00f8len, K.: Information flow security, abstraction and composition. IET Information Security 3(1), 9\u201333 (2009)","journal-title":"IET Information Security"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-00596-1_21","volume-title":"Foundations of Software Science and Computational Structures","author":"G Smith","year":"2009","unstructured":"Smith, G.: On the foundations of quantitative information flow. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 288\u2013302. Springer, Heidelberg (2009)"},{"key":"5_CR22","unstructured":"Sutherland, D.: A model of information. In: Proc. 9th National Computer Security Conference, pp. 175\u2013183 (1986)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Tabatabaei, M., Jamroga, W., Ryan, P.Y.: Preventing coercion in e-voting: be open and commit. In: Proceedings of the 1st Workshop on Hot issues in Security Principles and Trust (HotSpot) (2013)","DOI":"10.1007\/978-3-319-52240-1_1"},{"issue":"47","key":"5_CR24","doi-asserted-by":"publisher","first-page":"4123","DOI":"10.1016\/j.tcs.2010.08.013","volume":"411","author":"R Meyden van der","year":"2010","unstructured":"van der Meyden, R., Zhang, C.: A comparison of semantic models for noninterference. Theoretical Computer Science 411(47), 4123\u20134147 (2010)","journal-title":"Theoretical Computer Science"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-74835-9_16","volume-title":"Computer Security \u2013 ESORICS 2007","author":"R Meyden van der","year":"2007","unstructured":"van der Meyden, R.: What, Indeed, Is Intransitive Noninterference? In: Biskup, J., L\u00f3pez, J. (eds.) ESORICS 2007. LNCS, vol. 4734, pp. 235\u2013250. Springer, Heidelberg (2007)"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Wittbold, J.T., Johnson, D.M.: Information flow in nondeterministic systems. In: IEEE Symposium on Security and Privacy, pp. 144\u2013144 (1990)","DOI":"10.1109\/RISP.1990.63846"},{"issue":"4","key":"5_CR27","doi-asserted-by":"crossref","first-page":"269","DOI":"10.3233\/JCS-1994\/1995-3404","volume":"3","author":"A Zakinthinos","year":"1995","unstructured":"Zakinthinos, A., Lee, E.S.: The composability of non-interference. Journal of Computer Security 3(4), 269\u2013281 (1995)","journal-title":"Journal of Computer Security"},{"key":"5_CR28","unstructured":"Zdancewic, S.: Challenges for information-flow security. In: Proceedings of the 1st International Workshop on the Programming Language Interference and Dependence (PLID04) (2004)"}],"container-title":["IFIP Advances in Information and Communication Technology","ICT Systems Security and Privacy Protection"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-18467-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T21:22:33Z","timestamp":1748380953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-18467-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319184661","9783319184678"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-18467-8_5","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"9 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}