{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:58Z","timestamp":1750307578945,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,11,24]],"date-time":"2009-11-24T00:00:00Z","timestamp":1259020800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005022","name":"Beijing Jiaotong University","doi-asserted-by":"publisher","award":["2005SM016"],"award-info":[{"award-number":["2005SM016"]}],"id":[{"id":"10.13039\/501100005022","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,11,24]]},"DOI":"10.1145\/1655925.1656007","type":"proceedings-article","created":{"date-parts":[[2009,11,24]],"date-time":"2009-11-24T15:21:10Z","timestamp":1259076070000},"page":"446-451","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Design and implementation of a tool for analyzing SELinux secure policy"],"prefix":"10.1145","author":[{"given":"Gaoshou","family":"Zhai","sequence":"first","affiliation":[{"name":"Beijing Jiaotong University, Hai Dian District, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenlin","family":"Ma","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University, Hai Dian District, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minli","family":"Tian","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University, Hai Dian District, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Na","family":"Yang","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University, Hai Dian District, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chengyu","family":"Liu","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University, Hai Dian District, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hengsheng","family":"Yang","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University, Hai Dian District, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,11,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Meeting Critical Security Objectives with Security-Enhanced Linux. Ottawa Linux Symposium.","author":"Loscocco Peter A.","year":"2001","unstructured":"Peter A. Loscocco , Stephen D. Smalley . 2001 . Meeting Critical Security Objectives with Security-Enhanced Linux. Ottawa Linux Symposium. Peter A. Loscocco, Stephen D. Smalley. 2001. Meeting Critical Security Objectives with Security-Enhanced Linux. Ottawa Linux Symposium."},{"key":"e_1_3_2_1_2_1","volume-title":"Implementing SELinux as a Linux Security Module. NAI Labs Report #01-043 (Feb","author":"Smalley Stephen","year":"2006","unstructured":"Stephen Smalley , Chris Vance , Wayne Salamon . 2006. Implementing SELinux as a Linux Security Module. NAI Labs Report #01-043 (Feb 2006 ). Stephen Smalley, Chris Vance, Wayne Salamon. 2006. Implementing SELinux as a Linux Security Module. NAI Labs Report #01-043 (Feb 2006)."},{"key":"e_1_3_2_1_3_1","volume-title":"Configuring the SELinux Policy. NAI Labs Report #02-007 (Feb","author":"Smalley Stephen","year":"2005","unstructured":"Stephen Smalley . 2005. Configuring the SELinux Policy. NAI Labs Report #02-007 (Feb 2005 ). Stephen Smalley. 2005. Configuring the SELinux Policy. NAI Labs Report #02-007 (Feb 2005)."},{"key":"e_1_3_2_1_4_1","unstructured":"Ray Spencer Stephen Smalley Peter Loscocco. 2003. The Flask Security Architecture: System Support for Diverse Security Policies. http:\/\/www.cs.utah.edu\/flux\/flask\/  Ray Spencer Stephen Smalley Peter Loscocco. 2003. The Flask Security Architecture: System Support for Diverse Security Policies. http:\/\/www.cs.utah.edu\/flux\/flask\/"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 12th USENIX Security Symposium.","author":"Jaeger Trent","year":"2003","unstructured":"Trent Jaeger , Reiner Sailer , Xiaolan Zhang . 2003 . Analyzing integrity protection in the SElinux example policy . In Proceedings of the 12th USENIX Security Symposium. Trent Jaeger, Reiner Sailer, Xiaolan Zhang. 2003. Analyzing integrity protection in the SElinux example policy. In Proceedings of the 12th USENIX Security Symposium."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/937527.937528"},{"key":"e_1_3_2_1_7_1","volume-title":"Luigi Vincenzo Mancini","author":"Zanin Giorgio","year":"2004","unstructured":"Giorgio Zanin , Luigi Vincenzo Mancini . 2004 . Towards a Formal Model for Security Policies Specification and Validation in the SELinux System. ACM. Giorgio Zanin, Luigi Vincenzo Mancini. 2004. Towards a Formal Model for Security Policies Specification and Validation in the SELinux System. ACM."}],"event":{"name":"ICIS '09: The 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human","sponsor":["AICIT","ETRI","KISTI"],"location":"Seoul Korea","acronym":"ICIS '09"},"container-title":["Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1655925.1656007","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1655925.1656007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:12Z","timestamp":1750250472000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1655925.1656007"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,24]]},"references-count":7,"alternative-id":["10.1145\/1655925.1656007","10.1145\/1655925"],"URL":"https:\/\/doi.org\/10.1145\/1655925.1656007","relation":{},"subject":[],"published":{"date-parts":[[2009,11,24]]},"assertion":[{"value":"2009-11-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}