{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:54:24Z","timestamp":1725472464972},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540496083"},{"type":"electronic","value":"9783540496106"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11937807_18","type":"book-chapter","created":{"date-parts":[[2006,11,8]],"date-time":"2006-11-08T13:56:48Z","timestamp":1162994208000},"page":"225-237","source":"Crossref","is-referenced-by-count":1,"title":["A Practical Alternative to Domain and Type Enforcement Integrity Formal Models"],"prefix":"10.1007","author":[{"given":"Liuying","family":"Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sihan","family":"Qing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Boebert, W.E., Kain, R.Y.: A practical alternative to hierarchical integrity policies. In: Proceedings of the 8th National Computer Security Conference, Gaithersburg, Maryland, pp. 18\u201327 (1985)"},{"issue":"1","key":"18_CR2","first-page":"47","volume":"9","author":"L. Badger","year":"1996","unstructured":"Badger, L., Sterne, D.F., Sherman, D.L., Walker, K.M.: A domain and type enforcement UNIX prototype. USENIX Computing Systems\u00a09(1), 47\u201383 (1996)","journal-title":"USENIX Computing Systems"},{"key":"18_CR3","unstructured":"Hallyn, S.E., Kearns, P.: Domain and type enforcement for Linux. In: Proceedings of the 4th Annual Linux Showcase and Conference, pp. 247\u2013260 (October 2000)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Abrams, M.D., Joyce, M.V.: Trusted system concepts. Computers & Security\u00a014(1), 45\u201356 (1995); \u00a9Elsevier Advanced Technology 1995, Oxford, UK","DOI":"10.1016\/0167-4048(95)97025-6"},{"key":"18_CR5","unstructured":"National Security Agency. Security-Enhanced Linux (SELinux) (2001), http:\/\/www.nsa.gov\/selinux"},{"key":"18_CR6","unstructured":"Smalley, S.: Configuring the SELinux policy. NAI Labs Report #02-007 (June 2002), Available at: www.nsa.gov\/selinux"},{"key":"18_CR7","unstructured":"Loscocco, P., Smalley, S.: Meeting critical security objectives with security-enhanced Linux. In: Proceedings of the 201 Ottawa Linux Symposium (2001), Also available at: www.nsa.gov\/selinux\/papers"},{"issue":"3","key":"18_CR8","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/937527.937528","volume":"6","author":"T. Jaeger","year":"2003","unstructured":"Jaeger, T., Edward, A., Zhang, X.: Policy management using access control spaces. ACM Transactions on Information and System Security (TISSEC)\u00a06(3), 327\u2013364 (2003)","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"key":"18_CR9","unstructured":"Jaeger, T., Sailer, R., Zhang, X.: Analyzing integrity protection in the SELinux example policy. In: 12th Usenix Security Symposium, Washington, pp. 59\u201374 (August 2003)"},{"key":"18_CR10","unstructured":"Qingguang, J., Sihan, Q., Yeping, H.: Based-DTE integrity protection formal model. Science in China Ser. E Information Sciences\u00a035(6), 570\u2013587 (2005)"},{"key":"18_CR11","unstructured":"Stewart Lee, E.: Essays about computer security, Centre for Communications Systems Research Cambridge, \u00a9Cambridge (1999)"},{"key":"18_CR12","unstructured":"Bell, D., La Padula, L.: Secure computer systems: Mathematical foundations, vol. 1. Technical Report ESD-TR-73-278, Mitre Corporation (1973)"}],"container-title":["Lecture Notes in Computer Science","Information Security and Cryptology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11937807_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:48:36Z","timestamp":1619509716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11937807_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540496083","9783540496106"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11937807_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}