{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:05:34Z","timestamp":1737435934869,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417910"},{"type":"electronic","value":"9783540452515"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45251-6_9","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T05:53:28Z","timestamp":1186898008000},"page":"153-172","source":"Crossref","is-referenced-by-count":32,"title":["Information Flow Control and Applications \u2014 Bridging a Gap \u2014"],"prefix":"10.1007","author":[{"given":"Heiko","family":"Mantel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,16]]},"reference":[{"key":"9_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1007\/3-540-48119-2_44","volume-title":"FM\u201999-Formal Methods","author":"R. Focardi","year":"1999","unstructured":"Riccardo Focardi and Fabio Martinelli. A Uniform Approach to the Definition of Security Properties. In FM\u201999-Formal Methods (vol. 1), LNCS 1708, pages 794\u2013813. Springer, 1999."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"J. A. Goguen and J. Meseguer. Security Policies and Security Models. In Proceedings of the IEEE Symposium on Security and Privacy, pages 11\u201320, Oakland, CA, April 26-28 1982.","DOI":"10.1109\/SP.1982.10014"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"J. A. Goguen and J. Meseguer. Inference Control and Unwinding. In Proceedings of the IEEE Symposium on Security and Privacy, pages 75\u201386, Oakland, CA, April 29-May 2 1984.","DOI":"10.1109\/SP.1984.10019"},{"key":"9_CR4","unstructured":"Dale M. Johnson and F. Javier Thayer. Security and the Composition of Machines. In Proceedings of the Computer Security Foundations Workshop, pages 72\u201389, Franconia, NH, June 1988."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Heiko Mantel. Possibilistic De_nitions of Security-An Assembly Kit-. In Proceedings of the IEEE Computer Security Foundations Workshop, pages 185\u2013199, Cambridge, UK, July 3-5 2000. IEEE Computer Society.","DOI":"10.1109\/CSFW.2000.856936"},{"key":"9_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/10722599_15","volume-title":"Unwinding Possibilistic Security Properties","author":"H. Mantel","year":"2000","unstructured":"Heiko Mantel. Unwinding Possibilistic Security Properties. In European Symposium on Research in Computer Security (ESORICS), pages 238\u2013254, LNCS 1895, Toulouse, France, October 4-6 2000. Springer."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Daryl McCullough. Specifications for Multi-Level Security and a Hook-Up Property. In Proceedings of the IEEE Symposium on Security and Privacy, pages 161\u2013166, Oakland, CA, April 27-29 1987.","DOI":"10.1109\/SP.1987.10009"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/32.481534","volume":"22","author":"J. McLean","year":"1996","unstructured":"John McLean. A General Theory of Composition for a Class of \u201cPossibilistic\u201d Security Properties. IEEE Transaction on Software Engineering, 22(1):53\u201367, January 1996.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"9_CR9","unstructured":"Colin O\u2019Halloran. A Calculus of Information Flow. In Proceedings of the European Symposium on Research in Computer Security (ESORICS), pages 147\u2013159, Toulouse, France, October 24-26 1990."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Sylvan Pinsky. Absorbing Covers and Intransitive Non-Interference. In Proceedings of the IEEE Symposium on Security and Privacy, pages 102\u2013113, Oakland, CA, May 8-10 1995.","DOI":"10.1109\/SECPRI.1995.398926"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"A.W. Roscoe and M.H. Goldsmith. What is intransitive noninterference? In Proceedings of the 12th IEEE Computer Security Foundations Workshop, pages 228\u2013238, Mordano, Italy, June 28-30 1999.","DOI":"10.1109\/CSFW.1999.779776"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"P.Y.A. Ryan and S.A. Schneider. Process Algebra and Non-interference. In Proceedings of the 12th IEEE Computer Security Foundations Workshop, pages 214\u2013227, Mordano, Italy, June 28-30 1999.","DOI":"10.1109\/CSFW.1999.779775"},{"key":"9_CR13","unstructured":"[Rus92]John Rushby. Noninterference, Transitivity, and Channel-Control Security Policies. Technical Report CSL-92-02, SRI International, 1992."},{"key":"9_CR14","volume-title":"Concurrent and real-time systems: the CSP approach","author":"S. Schneider","year":"2000","unstructured":"Steve Schneider. Concurrent and real-time systems: the CSP approach. John Wiley, Chichester, England; New York, 2000."},{"key":"9_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/10722599_2","volume-title":"Verification of a Formal Security Model for Multiapplicative Smart Cards","author":"G. Schellhorn","year":"2000","unstructured":"G. Schellhorn, W. Reif, A. Schairer, P. Karger, V. Austel, and D. Toll. Verification of a Formal Security Model for Multiapplicative Smart Cards. In European Symposium on Research in Computer Security (ESORICS), pages 17\u201336, LNCS 1895, Toulouse, France, October 4-6 2000. Springer."},{"key":"9_CR16","unstructured":"D. Sutherland. A Model of Information. In 9th National Computer Security Conference, September 1986."},{"key":"9_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"Proceedings of CONCUR\u201990, Theories of Concurrency: Unification and Extensions","author":"R.J. Glabbeek van","year":"1990","unstructured":"R.J. van Glabbeek. The Linear Time-Branching Time Spectrum. In Proceedings of CONCUR\u201990, Theories of Concurrency: Unification and Extensions, pages 278\u2013297, LNCS 458. Springer, 1990."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"J. Todd Wittbold and Dale M. Johnson. Information Flow in Nondeter-ministic Systems. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 144\u2013161, Oakland, CA, May 1990.","DOI":"10.1109\/RISP.1990.63846"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Aris Zakinthinos and E.S. Lee. A General Theory of Security Properties. In Proceedings of the IEEE Symposium on Security and Privacy, pages 94\u2013102, Oakland, CA, May 4-7 1997.","DOI":"10.1109\/SECPRI.1997.601322"}],"container-title":["Lecture Notes in Computer Science","FME 2001: Formal Methods for Increasing Software Productivity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45251-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:45:28Z","timestamp":1737362728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45251-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417910","9783540452515"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45251-6_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}