{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:21:37Z","timestamp":1729657297081,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/csf.2008.11","type":"proceedings-article","created":{"date-parts":[[2011,2,4]],"date-time":"2011-02-04T15:00:50Z","timestamp":1296831650000},"page":"83-97","source":"Crossref","is-referenced-by-count":17,"title":["Tractable Enforcement of Declassification Policies"],"prefix":"10.1109","author":[{"given":"Gilles","family":"Barthe","sequence":"first","affiliation":[]},{"given":"Salvador","family":"Cavadini","sequence":"additional","affiliation":[]},{"given":"Tamara","family":"Rezk","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.19"},{"year":"0","key":"35"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964017"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030629"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45789-5_27"},{"year":"0","key":"15"},{"year":"0","key":"34"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025011624925"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2008.12"},{"journal-title":"Proceedings of the 1st International Workshop on the Programming Language Interference and Dependence (PLID'04)","article-title":"challenges for information-flow security","year":"2004","author":"zdancewic","key":"37"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/11560647_24"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_13"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78739-6_19"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111045"},{"key":"22","first-page":"302","article-title":"type-based information analysis for low-level languages","author":"kobayashi","year":"2002","journal-title":"APLAS"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1002\/spe.438"},{"year":"0","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930142"},{"year":"0","key":"26"},{"year":"0","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"journal-title":"Types and Programming Languages","year":"2002","author":"pierce","key":"29"},{"key":"3","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/LICS.2001.932501","article-title":"foundational proof-carrying code","author":"appel","year":"2001","journal-title":"LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.21"},{"key":"10","doi-asserted-by":"crossref","first-page":"373","DOI":"10.3233\/JCS-2007-15303","article-title":"compositional information flow security for concurrent programs","volume":"15","author":"bossi","year":"2007","journal-title":"Computers & Security"},{"journal-title":"18th IEEE Computer Security Foundations Workshop (CSFW-18 2005) 20-22 June 2005 Aix-en-Provence France","year":"2005","key":"1"},{"article-title":"transitivity, and channel-control security policies","year":"0","author":"rushby","key":"30"},{"year":"0","key":"7"},{"year":"0","key":"6"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39866-0_27"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.20"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.29"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1255329.1255339"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74835-9_2"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.13"}],"event":{"name":"2008 21st IEEE Computer Security Foundations Symposium","start":{"date-parts":[[2008,6,23]]},"location":"Pittsburgh, PA, USA","end":{"date-parts":[[2008,6,25]]}},"container-title":["2008 21st IEEE Computer Security Foundations Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4556666\/4556667\/04556680.pdf?arnumber=4556680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T15:25:00Z","timestamp":1497885900000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4556680\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/csf.2008.11","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}