{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T06:57:44Z","timestamp":1763017064980,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229872"},{"type":"electronic","value":"9783540301080"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30108-0_14","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T18:15:03Z","timestamp":1284660903000},"page":"225-243","source":"Crossref","is-referenced-by-count":42,"title":["Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage"],"prefix":"10.1007","author":[{"given":"David","family":"von Oheimb","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Foley, S.N.: A universal theory of information flow. In: IEEE Symposium on Security and Privacy, pp. 116\u2013122 (1987)","DOI":"10.1109\/SP.1987.10012"},{"key":"14_CR2","volume-title":"Symposium on Security and Privacy","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Symposium on Security and Privacy, IEEE Computer Society Press, Los Alamitos (1982)"},{"key":"14_CR3","volume-title":"Symposium on Security and Privacy","author":"J.A. Goguen","year":"1984","unstructured":"Goguen, J.A., Meseguer, J.: Unwinding the inference control. In: Symposium on Security and Privacy, IEEE Computer Society Press, Los Alamitos (1984)"},{"key":"14_CR4","first-page":"232","volume-title":"Proc. of the Symposium on Security and Privacy","author":"J. Haigh","year":"1986","unstructured":"Haigh, J., Young, W.: Extending the non-interference version of MLS for SAT. In: Proc. of the Symposium on Security and Privacy, pp. 232\u2013239. IEEE Computer Society Press, Los Alamitos (1986)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Lotz, V., Kessler, V., Walter, G.: A Formal Security Model for Microprocessor Hardware. In: IEEE Transactions on Software Engineering, August 2000, vol.\u00a026, pp. 702\u2013712 (2000)","DOI":"10.1109\/32.879809"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/10722599_15","volume-title":"Computer Security - ESORICS 2000","author":"H. Mantel","year":"2000","unstructured":"Mantel, H.: Unwinding possibilistic security properties. In: Cuppens, F., Deswarte, Y., Gollmann, D., Waidner, M. (eds.) ESORICS 2000. LNCS, vol.\u00a01895, pp. 238\u2013254. Springer, Heidelberg (2000)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-45251-6_9","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"H. Mantel","year":"2001","unstructured":"Mantel, H.: Information Flow and Applications \u2013 Bridging a Gap. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol.\u00a02021, pp. 153\u2013172. Springer, Heidelberg (2001)"},{"key":"14_CR8","unstructured":"Mantel, H.: A Uniform Framework for the Formal Specification and Verification of Information Flow Security. PhD thesis, Univ. d. Saarlandes (2003)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"McCullough, D.: A hookup theorem for multilevel security. In: IEEE Transactions on Software Engineering, pp. 563\u2013568 (1990)","DOI":"10.1109\/32.55085"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"McLean, J.: A general theory of composition for trace sets closed under selective interleaving functions. In: IEEE Symposium on Security and Privacy, pp. 79\u201393 (1994)","DOI":"10.1109\/RISP.1994.296590"},{"key":"14_CR11","first-page":"126","volume-title":"Proc. of 14th CSFW","author":"H. Mantel","year":"2001","unstructured":"Mantel, H., Sabelfeld, A.: A Generic Approach to the Security of Multi-threaded Programs. In: Proc. of 14th CSFW, Cape Breton, Nova Scotia, Canada, pp. 126\u2013142. IEEE Computer Society, Los Alamitos (2001)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL \u2013A Proof Assistant for Higher-Order Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002), See also http:\/\/isabelle.in.tum.de\/docs.html"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"von Oheimb, D.: Isabelle theory sources: Noninfluence = Noninterference + Nonleakage (2004), http:\/\/ddvo.net\/HOL\/NI\/","DOI":"10.1007\/978-3-540-30108-0_14"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-45853-0_13","volume-title":"Computer Security - ESORICS 2002","author":"D. Oheimb von","year":"2002","unstructured":"von Oheimb, D., Lotz, V.: Formal Security Analysis with Interacting State Machines. In: Gollmann, D., Karjoth, G., Waidner, M. (eds.) ESORICS 2002. LNCS, vol.\u00a02502, pp. 212\u2013228. Springer, Heidelberg (2002), http:\/\/ddvo.net\/papers\/FSA_ISM.html"},{"key":"14_CR15","unstructured":"von Oheimb, D., Nanz, S.: ISM Homepage: Documentation, sources and distribution (2002), http:\/\/ddvo.net\/ISM\/"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Pinsky, S.: Absorbing covers and intransitive non-interference. In: IEEE Symposium on Security and Privacy, pp. 102\u2013113 (1995)","DOI":"10.1109\/SECPRI.1995.398926"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1109\/CSFW.1999.779776","volume-title":"12th Computer Security Foundations Workshop","author":"A.W. Roscoe","year":"1999","unstructured":"Roscoe, A.W., Goldsmith, M.H.: What is intransitive noninterference? In: 12th Computer Security Foundations Workshop, pp. 228\u2013238. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"14_CR18","unstructured":"Rushby, J.: Noninterference, Transitivity, and Channel-Control Security Policies. Technical Report CS-92-02, SRI International (1992)"},{"key":"14_CR19","unstructured":"Ryan, P.: A CSP formulation of non-interference and unwinding. In: Proc. of IEEE CSFW-3. Cipher (1990)"},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45608-2_1","volume-title":"Foundations of Security Analysis and Design","author":"P.Y.A. Ryan","year":"2001","unstructured":"Ryan, P.Y.A.: Mathematical models of computer security. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, p. 1. Springer, Heidelberg (2001)"},{"issue":"1","key":"14_CR21","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 J. on Selected Areas in Communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE J. on Selected Areas in Communications"},{"key":"14_CR22","unstructured":"Sutherland, D.: A model of information. In: Proc. National Computer Security Conference, pp. 175\u2013183 (1986)"},{"key":"14_CR23","unstructured":"Zakinthinos, A., Stewart Lee, E.: A general theory of security properties. In: Computer Society Symposium on Research in Security and Privacy (1997)"},{"key":"14_CR24","unstructured":"Zdancewic, S., Myers, A.C.: Robust Declassification. In: 14th IEEE Computer Security Foundations Workshop, CSFW (2001)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2004"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30108-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T21:52:18Z","timestamp":1740520338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30108-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229872","9783540301080"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30108-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}