{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:21:19Z","timestamp":1729657279403,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/milcom.2012.6415698","type":"proceedings-article","created":{"date-parts":[[2013,1,31]],"date-time":"2013-01-31T12:24:53Z","timestamp":1359635093000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["MUSHI: Toward Multiple Level Security cloud with strong Hardware level Isolation"],"prefix":"10.1109","author":[{"given":"Ning","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenjing","family":"Lou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y. Thomas","family":"Hou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1145\/945445.945464"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/SP.2010.17"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1145\/1294261.1294294"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1145\/1629575.1629596"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1145\/1755913.1755935"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1145\/2046707.2046754"},{"year":"0","journal-title":"Pci Sig Pci-sig Single Root I\/o Virtualization","key":"14"},{"key":"11","article-title":"Cloudburst: A vmware guest to host escape","author":"kortchinsky","year":"2009","journal-title":"Black Hat Conference"},{"key":"12","article-title":"How to hack vmware vcenter server in 60 seconds","author":"minozhenko","year":"2012","journal-title":"DefCon"},{"key":"21","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1145\/1357010.1352625","article-title":"Flicker: An execution infrastructure for tcb minimization","volume":"42","author":"mccune","year":"2008","journal-title":"SIGOPS Oper Syst Rev"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/SP.2010.30"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1145\/2046707.2046752"},{"key":"23","article-title":"Secureswitch: Bios-assisted isolation and switch between trusted and untrusted commodity oses","author":"kun sun","year":"2011","journal-title":"Tech Rep GMU-CS-TR-2011-7 Department of Computer Science George Mason University"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1145\/1815961.1816010"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1145\/1866307.1866313"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1109\/SP.2012.42"},{"volume":"2","year":"2007","journal-title":"Advanced Micro Devices amd64 Architecture Programmers Manual","key":"27"},{"year":"0","journal-title":"Trusted Computing Group","key":"28"},{"year":"0","journal-title":"Core Boot","key":"29"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/DASC.2008.4702758"},{"year":"2011","journal-title":"Federal Cloud Computing Strategy","key":"2"},{"key":"10","article-title":"Xen 0wning triology","author":"wojtczuk jr","year":"2008","journal-title":"Black Hat Conference"},{"year":"0","journal-title":"High-priority Requirements to Further Usg Agency Cloud Computing Adoption","key":"1"},{"year":"2009","author":"wojtczuk","journal-title":"Attacking SMM Memory Via Intel CPU Cache Poisoning","key":"30"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1145\/800216.806586"},{"year":"1972","author":"anderson","journal-title":"Computer Security Technology Planning Study Technical Report esd-tr-73-51 Us Air Force","key":"6"},{"year":"0","journal-title":"Department of Defense Trusted Computer System Evaluation Criteria Department of Defense DOD 5200 28-STD","key":"5"},{"year":"0","journal-title":"Uefi Specification","key":"31"},{"key":"4","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/3-540-11494-7_23","article-title":"Proof of separability: A verification technique for a class of a security kernels","author":"rushby","year":"1982","journal-title":"Proceedings of the 5th Colloquium on International Symposium on Programming"},{"year":"0","journal-title":"National Vulnerability Database","key":"9"},{"year":"2012","journal-title":"Vulnerability Report for Xen 4 x","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\/06415698.pdf?arnumber=6415698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T02:46:03Z","timestamp":1498013163000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6415698\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/milcom.2012.6415698","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}