{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:38:45Z","timestamp":1775054325140,"version":"3.50.1"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/icnss.2011.6060002","type":"proceedings-article","created":{"date-parts":[[2011,11,1]],"date-time":"2011-11-01T20:59:24Z","timestamp":1320181164000},"page":"208-215","source":"Crossref","is-referenced-by-count":10,"title":["Model-based safety analysis of SELinux security policies"],"prefix":"10.1109","author":[{"given":"Peter","family":"Amthor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Winfried E.","family":"Kuhnhauser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anja","family":"Polck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","article-title":"Policy Analysis for Security-Enhanced Linux","author":"sarna-starosta","year":"2004","journal-title":"Proc 2004 Workshop on Issues in the Theory of Security"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/11908739_28","article-title":"Information Flow Query and Verification for Security Policy of Security-Enhanced Linux","volume":"4266","author":"chen","year":"2006","journal-title":"Advances in Information and Computer Security LNCS"},{"key":"ref31","article-title":"Information Flow in Operating Systems: Eager Formal Methods","author":"guttman","year":"2003","journal-title":"Proc of Workshop on Issues in the Theory of Security"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/937527.937528"},{"key":"ref34","article-title":"Modellbasierte Analyse von SELinux-Sicherheitspolitiken (in German)","author":"amthor","year":"2010","journal-title":"Masters Thesis Ilmenau Univ of Technology"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1992.213266"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/990036.990059"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352624"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1998441.1998453"},{"key":"ref15","first-page":"337","article-title":"Monotonic Protection Systems","author":"harrison","year":"1978","journal-title":"Foundations of Secure Computation"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/42282.42286"},{"key":"ref17","first-page":"59","article-title":"Analyzing Integrity Protection in the SELinux Example Policy","author":"jaeger","year":"2003","journal-title":"Proc 12th USENIX Security Symp"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.70225"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2011.30"},{"key":"ref28","first-page":"49","article-title":"Analyse von Zugriffss-teuerungssystemen (in German)","author":"amthor","year":"2009","journal-title":"D·A·CH Security"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2008.18"},{"key":"ref27","first-page":"49","article-title":"Efficient Algorithmic Safety Analysis of HRU Security Models","author":"fischer","year":"2010","journal-title":"Proc Int Conf Security and Cryptography"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2006.15"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1998441.1998461"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/775265.775268","article-title":"Protection","volume":"8","author":"lampson","year":"1974","journal-title":"Operating Systems Review"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2010.18"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360333"},{"key":"ref7","article-title":"Secure Computer Systems: Mathematical Foundations","author":"bell","year":"1973","journal-title":"MITRE Bedford MA Tech Rep AD 770 768"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2005.2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2005.24"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1996.503697"},{"key":"ref22","article-title":"Meeting Critical Security Objectives with Security-Enhanced Linux","author":"loscocco","year":"2001","journal-title":"Proceedings of the 2001 Ottawa Linux Symposium"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1998441.1998454"},{"key":"ref24","first-page":"29","article-title":"Integrating Flexible Support for Security Policies into the Linux Operating System","author":"loscocco","year":"2001","journal-title":"Proc 2001 Usenix Annual Technical Conference"},{"key":"ref23","article-title":"The Flask Security Architecture: System Support for Diverse Security Policies","author":"spencer","year":"1999","journal-title":"Proc 8th Usenix Security Symp"},{"key":"ref26","first-page":"367","article-title":"On Synchronization and Security","author":"lipton","year":"1978","journal-title":"Foundations of Secure Computation"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1067629.806517"}],"event":{"name":"2011 5th International Conference on Network and System Security (NSS)","location":"Milan, Italy","start":{"date-parts":[[2011,9,6]]},"end":{"date-parts":[[2011,9,8]]}},"container-title":["2011 5th International Conference on Network and System Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6044613\/6059944\/06060002.pdf?arnumber=6060002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:56:08Z","timestamp":1497948968000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6060002\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icnss.2011.6060002","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}