{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:24:30Z","timestamp":1729650270155,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/milcom.2012.6415677","type":"proceedings-article","created":{"date-parts":[[2013,1,31]],"date-time":"2013-01-31T12:24:53Z","timestamp":1359635093000},"page":"1-9","source":"Crossref","is-referenced-by-count":4,"title":["A high-assurance, virtual guard architecture"],"prefix":"10.1109","author":[{"given":"Mark R.","family":"Heckman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roger R.","family":"Schell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edwards E.","family":"Reed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"52","article-title":"Subversion as a threat in information warfare","volume":"3","author":"anderson","year":"2004","journal-title":"Journal of Information Warfare"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.17487\/rfc1813"},{"key":"17","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1504\/IJES.2006.014859","article-title":"The MILS architecture for high-assurance embedded systems","volume":"2","author":"alves-foss","year":"2006","journal-title":"International Journal of Embedded Systems"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/359060.359076"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1109\/CSAC.2005.37","article-title":"Looking back at the Bell-LaPadula model","author":"bell","year":"2005","journal-title":"Proceedings of the 21st Annual Computer Security Applications Conference"},{"key":"33","article-title":"Secure computer systems: Unified exposition and multics interpretation","author":"bell","year":"1976","journal-title":"Technical Report MTR-2997"},{"journal-title":"Cross-domain Solutions for Airborne Operations","year":"2010","key":"15"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/2.241422"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2011.6127475"},{"journal-title":"Lessons learned developing cross-domain solutions on SELinux","year":"2006","author":"macmillan","key":"13"},{"journal-title":"SELinux Frequently Asked Questions (FAQ)","year":"0","key":"14"},{"journal-title":"GemSeal Guard High Assurance MLS","year":"2007","key":"37"},{"journal-title":"Raytheon High-Speed Guard","year":"0","key":"11"},{"key":"38","article-title":"Composing a highassurance infrastructure out of TCB components","author":"heckman","year":"2011","journal-title":"5th Annual Layered Assurance Workshop (LAW 2011)"},{"key":"12","article-title":"The design and implementation of a guard installation and administration framework","author":"fletcher","year":"2007","journal-title":"2007 SELinux Symposium and Developer Summit"},{"key":"21","first-page":"131","article-title":"TCB subsets for incremental evaluation","author":"shockley","year":"1987","journal-title":"Proc AIAA\/ASIS\/IEEE 3rd Aerospace Computer Security Conference"},{"journal-title":"Intel 64 and IA-32 architectures software developer's manual","year":"2011","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1995.398924"},{"journal-title":"Trusted Network Interpretation of the Trusted Computer System Evaluation Criteria","year":"1987","key":"23"},{"key":"24","first-page":"108","article-title":"Designing the GEMSOS security kernel for security and performance","author":"schell","year":"1985","journal-title":"Proceedings of the 8th DoD\/NBS Computer Security Conference"},{"journal-title":"Final Evaluation Report of Gemini Computers Incorporated Gemini Trusted Network Processor Version 1 01","year":"1995","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1992.213253"},{"journal-title":"Department of Defense Trusted Computer System Evaluation Criteria (Orange Book)","year":"1985","key":"27"},{"journal-title":"Common Criteria for Information Technology Security Evaluation Version 2 2","year":"2009","key":"28"},{"journal-title":"Cyberattacks on Iran - Stuxnet and Flame","year":"0","key":"29"},{"journal-title":"Multilevel Security in the Department of Defense The Basics","year":"1995","key":"3"},{"journal-title":"The \"72 Year Rule\" United States Census Bureau","year":"0","key":"2"},{"journal-title":"ISSE (Information Support Server Environment)","year":"0","key":"10"},{"journal-title":"National Information Assurance (IA) Glossary","year":"2010","key":"1"},{"key":"30","first-page":"18","article-title":"A practical alternative to hierarchical integrity properties","author":"boebert","year":"1985","journal-title":"Proceedings of the 8th DoD\/NBS Computer Security Conference"},{"key":"7","first-page":"137","article-title":"Evaluation criteria for trusted systems","author":"schell","year":"1995","journal-title":"Information Security An Integrated Collection of Essays"},{"journal-title":"UCDMO Cross Domain Baseline List As of 27 January 2012","year":"0","key":"6"},{"key":"32","article-title":"Integrity considerations for secure computer systems","author":"biba","year":"1977","journal-title":"Mitre Technical Report MTR-3153"},{"key":"5","article-title":"The unified cross domain management office: Bridging security domains and cultures","author":"bailey","year":"2008","journal-title":"Crosstalk The Journal of Defense Software Engineering"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1988.8106"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/358198.358210"},{"journal-title":"ITT Exelis Cross-domain Solution Approved for Deployment on U S Government Networks","year":"2012","key":"9"},{"journal-title":"Information Support Server Environment - ISSE-Guard","year":"0","key":"8"}],"event":{"name":"MILCOM 2012 - 2012 IEEE Military Communications Conference","start":{"date-parts":[[2012,10,29]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2012,11,1]]}},"container-title":["MILCOM 2012 - 2012 IEEE Military Communications Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6383191\/6415559\/06415677.pdf?arnumber=6415677","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T02:46:11Z","timestamp":1498013171000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6415677\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/milcom.2012.6415677","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}