{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,26]],"date-time":"2026-04-26T07:12:17Z","timestamp":1777187537767,"version":"3.51.4"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1109\/csf54842.2022.9919690","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T01:29:20Z","timestamp":1667525360000},"page":"243-259","source":"Crossref","is-referenced-by-count":3,"title":["IFCIL: An Information Flow Configuration Language for SELinux"],"prefix":"10.1109","author":[{"given":"Lorenzo","family":"Ceragioli","sequence":"first","affiliation":[{"name":"Università di Pisa,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Letterio","family":"Galletta","sequence":"additional","affiliation":[{"name":"IMT School for Advanced Studies Lucca,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[{"name":"Università di Pisa,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Basin","sequence":"additional","affiliation":[{"name":"ETH Zurich,Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","year":"0","journal-title":"The SELinux Notebook - Kernel Policy Language"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0052-x"},{"key":"ref12","year":"0","journal-title":"SELinux Project"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2015.10"},{"key":"ref15","year":"0","journal-title":"The SELinux Notebook - CIL Reference Guide (commit 2b3b4ee on 6 Jul 2020)"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjjip.18.201"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596983"},{"key":"ref31","first-page":"1","article-title":"Policy analysis for security-enhanced linux","author":"sarna-starosta","year":"0","journal-title":"Procs 2004 Workshop on Issues in the Theory of Security"},{"key":"ref30","year":"0","journal-title":"Android Open Source Project"},{"key":"ref11","author":"ceragioli","year":"2022","journal-title":"Ifcil An information flow configuration language for selinux (extended version)"},{"key":"ref33","author":"spengler","year":"2004","journal-title":"Increasing performance and granularity in rolebased access control systems"},{"key":"ref10","author":"grift","year":"0","journal-title":"SELinux example policy dspp5 (commit cf4dd60 on 16 Dec 2021)"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.29"},{"key":"ref2","author":"grift","year":"0","journal-title":"openWRT SELinux policy (commit aa59f95 on 3 Dec 2021)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.E92.D.2196"},{"key":"ref17","author":"ceragioli","year":"0","journal-title":"Bug (?) report for secilc and cil semantics some unexpected behaviours"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3408987"},{"key":"ref16","year":"0","journal-title":"sepolicy"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-15805"},{"key":"ref19","author":"carter","year":"0","journal-title":"[patch 1\/3] libsepol\/cil Make name resolution in macros work as documented"},{"key":"ref18","author":"ceragioli","year":"0","journal-title":"[bug report?] other unexpected behaviours in secilc and cil semantics"},{"key":"ref24","article-title":"Information flow analysis in security enhanced linux","author":"thomsen","year":"0","journal-title":"CERIAS Security Seminar"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2005-13105"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"ref20","first-page":"330","article-title":"Model-checking: A tutorial introduction","author":"m\u00fcller-olm","year":"1999","journal-title":"Procs 6th Static Analysis Symposium LNCS 1694"},{"key":"ref42","year":"0","journal-title":"The SELinux Notebook - MLS Statements"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706349"},{"key":"ref22","article-title":"Analyzing integrity protection in the selinux example policy","author":"jaeger","year":"2003","journal-title":"Procs 12th USENIX Security Symposium Washington D C USA 2003"},{"key":"ref21","year":"0"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.5220\/0006126600470058"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2020.101816"},{"key":"ref8","first-page":"359","article-title":"Nusmv 2: An opensource tool for symbolic model checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"14th CAV"},{"key":"ref7","year":"0","journal-title":"Selinux ifcil tool"},{"key":"ref9","author":"grift","year":"0","journal-title":"SELinux example policy cilpolicy (commit 562a8a2 on 8 Sep 2015)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274709"},{"key":"ref3","article-title":"Security Enhanced (SE) Android: Bringing Flexible MAC to Android","author":"smalley","year":"2013","journal-title":"Symposium on Network and Distributed System Security"},{"key":"ref6","article-title":"Lobster: A domain specific language for selinux policies","author":"hurd","year":"2008","journal-title":"Tech Rep"},{"key":"ref5","author":"stephensmalley","year":"2018","journal-title":"Add support for a source policy hll"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-15791"}],"event":{"name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","location":"Haifa, Israel","start":{"date-parts":[[2022,8,7]]},"end":{"date-parts":[[2022,8,10]]}},"container-title":["2022 IEEE 35th Computer Security Foundations Symposium (CSF)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9919409\/9919636\/09919690.pdf?arnumber=9919690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T23:12:39Z","timestamp":1699485159000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9919690\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/csf54842.2022.9919690","relation":{},"subject":[],"published":{"date-parts":[[2022,8]]}}}