{"id":"https://openalex.org/W2019320005","doi":"https://doi.org/10.1109/milcom.2012.6415673","title":"The Xenon separation VMM: Secure virtualization infrastructure for military clouds","display_name":"The Xenon separation VMM: Secure virtualization infrastructure for military clouds","publication_year":2012,"publication_date":"2012-10-01","ids":{"openalex":"https://openalex.org/W2019320005","doi":"https://doi.org/10.1109/milcom.2012.6415673","mag":"2019320005"},"language":"en","primary_location":{"id":"doi:10.1109/milcom.2012.6415673","is_oa":false,"landing_page_url":"https://doi.org/10.1109/milcom.2012.6415673","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"MILCOM 2012 - 2012 IEEE Military Communications Conference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111511141","display_name":"John McDermott","orcid":null},"institutions":[{"id":"https://openalex.org/I1288214837","display_name":"United States Naval Research Laboratory","ror":"https://ror.org/04d23a975","country_code":"US","type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028"]},{"id":"https://openalex.org/I4388482696","display_name":"Naval Research Laboratory Information Technology Division","ror":"https://ror.org/04xfp8b22","country_code":null,"type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028","https://openalex.org/I4388482696"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. McDermott","raw_affiliation_strings":["Naval Research Laboratory, Center for High Assurance Computer Systems, Washington D.C., DC, USA","Naval Research Laboratory, Center for High Assurance Computer Systems, Washington, DC 20375"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Naval Research Laboratory, Center for High Assurance Computer Systems, Washington D.C., DC, USA","institution_ids":["https://openalex.org/I1288214837","https://openalex.org/I4388482696"]},{"raw_affiliation_string":"Naval Research Laboratory, Center for High Assurance Computer Systems, Washington, DC 20375","institution_ids":["https://openalex.org/I1288214837","https://openalex.org/I4388482696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006461935","display_name":"Bruce Montrose","orcid":null},"institutions":[{"id":"https://openalex.org/I1288214837","display_name":"United States Naval Research Laboratory","ror":"https://ror.org/04d23a975","country_code":"US","type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028"]},{"id":"https://openalex.org/I4388482696","display_name":"Naval Research Laboratory Information Technology Division","ror":"https://ror.org/04xfp8b22","country_code":null,"type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028","https://openalex.org/I4388482696"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"B. Montrose","raw_affiliation_strings":["Naval Research Laboratory, Center for High Assurance Computer Systems, Washington D.C., DC, USA","Naval Research Laboratory, Center for High Assurance Computer Systems, Washington, DC 20375"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Naval Research Laboratory, Center for High Assurance Computer Systems, Washington D.C., DC, USA","institution_ids":["https://openalex.org/I1288214837","https://openalex.org/I4388482696"]},{"raw_affiliation_string":"Naval Research Laboratory, Center for High Assurance Computer Systems, Washington, DC 20375","institution_ids":["https://openalex.org/I1288214837","https://openalex.org/I4388482696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077117525","display_name":"M. Li","orcid":null},"institutions":[{"id":"https://openalex.org/I1288214837","display_name":"United States Naval Research Laboratory","ror":"https://ror.org/04d23a975","country_code":"US","type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028"]},{"id":"https://openalex.org/I4388482696","display_name":"Naval Research Laboratory Information Technology Division","ror":"https://ror.org/04xfp8b22","country_code":null,"type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028","https://openalex.org/I4388482696"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. Li","raw_affiliation_strings":["Naval Research Laboratory, Center for High Assurance Computer Systems, Washington D.C., DC, USA","Naval Research Laboratory, Center for High Assurance Computer Systems, Washington, DC 20375"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Naval Research Laboratory, Center for High Assurance Computer Systems, Washington D.C., DC, USA","institution_ids":["https://openalex.org/I1288214837","https://openalex.org/I4388482696"]},{"raw_affiliation_string":"Naval Research Laboratory, Center for High Assurance Computer Systems, Washington, DC 20375","institution_ids":["https://openalex.org/I1288214837","https://openalex.org/I4388482696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045985704","display_name":"James Kirby","orcid":"https://orcid.org/0000-0002-0502-5245"},"institutions":[{"id":"https://openalex.org/I1288214837","display_name":"United States Naval Research Laboratory","ror":"https://ror.org/04d23a975","country_code":"US","type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028"]},{"id":"https://openalex.org/I4388482696","display_name":"Naval Research Laboratory Information Technology Division","ror":"https://ror.org/04xfp8b22","country_code":null,"type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028","https://openalex.org/I4388482696"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Kirby","raw_affiliation_strings":["Naval Research Laboratory, Center for High Assurance Computer Systems, Washington D.C., DC, USA","Naval Research Laboratory, Center for High Assurance Computer Systems, Washington, DC 20375"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Naval Research Laboratory, Center for High Assurance Computer Systems, Washington D.C., DC, USA","institution_ids":["https://openalex.org/I1288214837","https://openalex.org/I4388482696"]},{"raw_affiliation_string":"Naval Research Laboratory, Center for High Assurance Computer Systems, Washington, DC 20375","institution_ids":["https://openalex.org/I1288214837","https://openalex.org/I4388482696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110256832","display_name":"M.H. Kang","orcid":null},"institutions":[{"id":"https://openalex.org/I1288214837","display_name":"United States Naval Research Laboratory","ror":"https://ror.org/04d23a975","country_code":"US","type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028"]},{"id":"https://openalex.org/I4388482696","display_name":"Naval Research Laboratory Information Technology Division","ror":"https://ror.org/04xfp8b22","country_code":null,"type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028","https://openalex.org/I4388482696"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. Kang","raw_affiliation_strings":["Naval Research Laboratory, Center for High Assurance Computer Systems, Washington D.C., DC, USA","Naval Research Laboratory, Center for High Assurance Computer Systems, Washington, DC 20375"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Naval Research Laboratory, Center for High Assurance Computer Systems, Washington D.C., DC, USA","institution_ids":["https://openalex.org/I1288214837","https://openalex.org/I4388482696"]},{"raw_affiliation_string":"Naval Research Laboratory, Center for High Assurance Computer Systems, Washington, DC 20375","institution_ids":["https://openalex.org/I1288214837","https://openalex.org/I4388482696"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7540194392204285},{"id":"https://openalex.org/keywords/hypervisor","display_name":"Hypervisor","score":0.6898194551467896},{"id":"https://openalex.org/keywords/separation-of-concerns","display_name":"Separation of concerns","score":0.6306142807006836},{"id":"https://openalex.org/keywords/virtualization","display_name":"Virtualization","score":0.6163266897201538},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.557987630367279},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.5173503756523132},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.5101156830787659},{"id":"https://openalex.org/keywords/separation","display_name":"Separation (statistics)","score":0.4575485587120056},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.31918543577194214}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7540194392204285},{"id":"https://openalex.org/C112904061","wikidata":"https://www.wikidata.org/wiki/Q1077480","display_name":"Hypervisor","level":4,"score":0.6898194551467896},{"id":"https://openalex.org/C76214141","wikidata":"https://www.wikidata.org/wiki/Q2465506","display_name":"Separation of concerns","level":3,"score":0.6306142807006836},{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.6163266897201538},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.557987630367279},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5173503756523132},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.5101156830787659},{"id":"https://openalex.org/C2776061190","wikidata":"https://www.wikidata.org/wiki/Q7451805","display_name":"Separation (statistics)","level":2,"score":0.4575485587120056},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.31918543577194214},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/milcom.2012.6415673","is_oa":false,"landing_page_url":"https://doi.org/10.1109/milcom.2012.6415673","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"MILCOM 2012 - 2012 IEEE Military Communications Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1550115315","https://openalex.org/W1711831130","https://openalex.org/W1847647515","https://openalex.org/W1964962870","https://openalex.org/W2005945323","https://openalex.org/W2025789985","https://openalex.org/W2033229657","https://openalex.org/W2037216577","https://openalex.org/W2098592421","https://openalex.org/W2108255910","https://openalex.org/W2119028650","https://openalex.org/W2122744503","https://openalex.org/W2150210903","https://openalex.org/W2161515940","https://openalex.org/W2166320453","https://openalex.org/W2166506472","https://openalex.org/W2167911131","https://openalex.org/W2170548563","https://openalex.org/W4246472322","https://openalex.org/W6678435697","https://openalex.org/W6684410126","https://openalex.org/W6838336854"],"related_works":["https://openalex.org/W2148749405","https://openalex.org/W2104105430","https://openalex.org/W1515917392","https://openalex.org/W2613320081","https://openalex.org/W1973516247","https://openalex.org/W2179519055","https://openalex.org/W2743348030","https://openalex.org/W2145292010","https://openalex.org/W2747005099","https://openalex.org/W2086039693"],"abstract_inverted_index":{"In":[0],"conventional":[1,211],"military":[2,48],"computing,":[3],"security":[4,43],"separation":[5,19,44,51,64,80,83,106,134,139,142,153,179,189,214,237,242],"is":[6,24,45,56,81,136,247],"provided":[7,25],"by":[8,26,68,201],"cryptography,":[9],"for":[10,20,33,47,184],"data":[11,15,21,35,53],"in":[12],"motion":[13],"and":[14,97,115,148,165,194,208,230],"at":[16],"rest.":[17],"Security":[18],"under":[22,36,54],"computation":[23,55],"separate":[27],"hardware.":[28,259],"Cloud":[29],"computing":[30],"shares":[31],"hardware":[32,114,164],"all":[34,172],"computation,":[37],"so":[38,62],"a":[39,132,137,138,152,217],"new":[40],"approach":[41],"to":[42,100,125,131,158,161,197],"needed":[46],"clouds.":[49],"Cryptographic":[50],"of":[52,78,151,173,176,243],"not":[57],"practical":[58],"with":[59,249],"current":[60],"technology,":[61],"the":[63,71,82,110,145,174,240],"must":[65],"be":[66,101,159,198],"accomplished":[67],"software,":[69],"i.e.":[70,204],"virtualization":[72],"infrastructure.":[73],"The":[74,128],"strongest":[75,241],"known":[76],"means":[77],"software":[79],"kernel.":[84],"Separation":[85],"kernels":[86,107],"are":[87,94,123,181,191,206],"special":[88],"virtual":[89,117],"machine":[90,118],"monitors":[91],"(VMMs)":[92],"that":[93,122,222,246],"small":[95,192],"enough":[96,99,157,193,196],"simple":[98,195],"mathematically":[102],"verified.":[103],"Unfortunately,":[104],"strict":[105,133,146],"cannot":[108],"virtualize":[109],"complex":[111,251,257],"modern":[112],"commodity":[113,163,177,252,258],"guest":[116,166,225],"(VM)":[119],"operating":[120,167,253],"systems":[121],"essential":[124],"cloud":[126,244],"computing.":[127],"best":[129],"alternative":[130],"kernel":[135,154],"VMM.":[140],"A":[141,213,236],"VMM":[143,215,238],"relaxes":[144],"size":[147],"simplicity":[149],"goals":[150],"just":[155],"far":[156],"able":[160],"support":[162],"systems.":[168],"Because":[169],"they":[170,205],"address":[171],"features":[175],"hardware,":[178],"VMMs":[180,190],"too":[182],"large":[183],"formal":[185],"mathematical":[186],"verification.":[187],"However,":[188],"completely":[199],"specified":[200],"semiformal":[202],"means,":[203],"smaller":[207],"simpler":[209],"than":[210],"VMMs.":[212],"has":[216],"complete":[218],"systematic":[219],"assurance":[220],"argument":[221],"it":[223],"isolates":[224],"VMs":[226,245],"from":[227,234],"each":[228],"other":[229],"strongly":[231],"protects":[232],"itself":[233],"tampering.":[235],"provides":[239],"consistent":[248],"virtualizing":[250],"systems,":[254],"on":[255],"shared":[256]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}