{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:22Z","timestamp":1761611122595,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csfw.2003.1212702","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"14-28","source":"Crossref","is-referenced-by-count":2,"title":["Secure contexts for confidential data"],"prefix":"10.1109","author":[{"given":"A.","family":"Bossi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Macedonio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Piazza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"566","article-title":"Information Flow vs","volume":"24","author":"hennessy","year":"2002","journal-title":"Resource Access in the Asynchronous Pi-calculus ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2000.856936"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00596-0"},{"key":"ref13","first-page":"161","article-title":"Specifications for Multi-Level Security and a Hook-Up Property","author":"mccullough","year":"1987","journal-title":"Proc of the IEEE Symposium on Security and Privacy"},{"key":"ref14","first-page":"180","article-title":"Security Models and Information Flow","author":"mclean","year":"1990","journal-title":"Proc of the IEEE Symposium on Security and Privacy"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.481534"},{"article-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref16"},{"key":"ref17","first-page":"180","article-title":"A Calculus of Information Flow","author":"q'halloran","year":"1990","journal-title":"Proceedings of the Symposium on Research in Security and Privacy"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/JCS-2001-91-204","article-title":"Process Algebra and Non-Interference","volume":"9","author":"ryan","year":"2001","journal-title":"Journal of Computer Security"},{"key":"ref19","first-page":"376","article-title":"Static Confidentiality Enforcement for Distributed Programs","author":"sabelfeld","year":"0","journal-title":"Proceedings of the 9th International Static Analysis Symposium"},{"key":"ref4","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":"1994","journal-title":"Journal of Computer Security"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36206-1_8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45022-X_31"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-45608-2_6","article-title":"Classification of Security Properties (Part I: Information Flow)","author":"focardi","year":"2001","journal-title":"Foundations of Security Analysis and Design LNCS 2171"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1987.10012"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2002.1021825"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45013-0_16"},{"key":"ref1","first-page":"223","article-title":"Bisimulation and Unwinding for Verifying Possibilistic Security Properties","author":"bossi","year":"2003","journal-title":"Proc of Int Conference on Verification Model Checking and Abstract Interpretation (VMCAI'03) volume 2575 of LNCS"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/268946.268975","article-title":"Secure Information Flow in a Multi-threaded Imperative Language","author":"smith","year":"1998","journal-title":"Proc of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'98)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2000.856937"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601322"}],"event":{"name":"16th IEEE Computer Security Foundations Workshop","acronym":"CSFW-03","location":"Pacific Grove, CA, USA"},"container-title":["16th IEEE Computer Security Foundations Workshop, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8606\/27273\/01212702.pdf?arnumber=1212702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:55:04Z","timestamp":1523235304000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1212702\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/csfw.2003.1212702","relation":{},"subject":[]}}