{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:42:48Z","timestamp":1774946568086,"version":"3.50.1"},"reference-count":37,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/secpri.2002.1004364","type":"proceedings-article","created":{"date-parts":[[2005,8,25]],"date-time":"2005-08-25T03:23:34Z","timestamp":1124940214000},"page":"88-101","source":"Crossref","is-referenced-by-count":55,"title":["On the composition of secure systems"],"prefix":"10.1109","author":[{"given":"H.","family":"Mantel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1990.63846"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/129393.129396"},{"key":"ref31","article-title":"A Model of Information","author":"sutherland","year":"1986","journal-title":"National Computer Security Conference"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2000.856937"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1998.683161"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601322"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1109\/CSFW.1996.503694","article-title":"How and Why Feedback Composition Fails","author":"zakinthinos","year":"1996","journal-title":"IEEE Computer Security Foundations Workshop"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/CSFW.1995.518546","article-title":"The Composability of Non-Interference","author":"zakinthinos","year":"1995","journal-title":"IEEE Computer Security Foundations Workshop"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44618-4_29"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2000.856936"},{"key":"ref12","first-page":"238","article-title":"Unwinding Possibilistic Security Properties","author":"mantel","year":"2000","journal-title":"European Symposium on Research in Computer Security (ESORICS) LNCS 1895"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-45251-6_9","article-title":"Information Flow Control and Applications - Bridging a Gap","author":"mantel","year":"2001","journal-title":"FME 2001 Formal Methods for Increasing Software Productivity LNCS 2021"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2001.924289"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.230844"},{"key":"ref16","first-page":"161","article-title":"Specifications for Multi-Level Security and a Hook-Up Property","author":"mccullough","year":"1987","journal-title":"IEEE Symposium on Security and Privacy"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/32.55085"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"37","DOI":"10.3233\/JCS-1992-1103","article-title":"Proving Noninterference and Functional Correctness using Traces","volume":"1","author":"mclean","year":"1992","journal-title":"Journal of Computer Security"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1994.296590"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80064-7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"ref27","first-page":"19","article-title":"A CSP Formulation of Non-Interference and Unwinding","author":"ryan","year":"1991","journal-title":"Cipher"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/203095.201069"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930141"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","article-title":"A Classification of Security Properties for Process Algebras","volume":"3","author":"focardi","year":"1995","journal-title":"Journal of Computer Security"},{"key":"ref8","first-page":"34","article-title":"What Needs Securing?","author":"guttman","year":"1988","journal-title":"IEEE Computer Security Foundations Workshop"},{"key":"ref7","first-page":"75","article-title":"Inference Control and Unwinding","author":"goguen","year":"1984","journal-title":"IEEE Symposium on Security and Privacy"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325702"},{"key":"ref9","first-page":"72","article-title":"Security and the Composition of Machines","author":"johnson","year":"1988","journal-title":"IEEE Computer Security Foundations Workshop"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292555"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/32.481534"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930142"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1994.315952"},{"key":"ref24","first-page":"147","article-title":"A Calculus of Information Flow","author":"o'halloran","year":"1990","journal-title":"European Symposium on Research in Computer Security (ESORICS)"},{"key":"ref23","article-title":"A Unifying Approach to the Security of Distributed and Multi-threaded Programs","author":"mantel","year":"2001","journal-title":"submitted"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1995.518547"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1999.779775"}],"event":{"name":"2002 IEEE Symposium on Security and Privacy","location":"Berkeley, CA, USA","acronym":"SECPRI-02"},"container-title":["Proceedings 2002 IEEE Symposium on Security and Privacy"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7873\/21681\/01004364.pdf?arnumber=1004364","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T06:57:32Z","timestamp":1552892252000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1004364\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/secpri.2002.1004364","relation":{},"subject":[]}}