Abstract-Virtualization är allmänt antagen i dagens datorsystem. Dess unika säkerhetsfördelar i att isolera och introspektera råvaruoperativsystem som virtuella maskiner (VMs) har möjliggjort ett brett spektrum av applikationer. Ett vanligt, grundläggande antagande är emellertid närvaron av en pålitlig hypervisor. Tyvärr ifrågasätter den stora kodbasen för varuhypervisorer och nyligen lyckade hypervisorattacker (t.ex. VM-flykt) allvarligt giltigheten av detta antagande. I detta papper presenterar vi HyperSafe, en lätt metod som ger befintliga Typ-I bare-metal hypervisors med en unik självskyddande förmåga att ge livstid kontrollflöde integritet. Vi föreslår i synnerhet två nyckeltekniker. Den första - non-bypassable minne lockdown - pålitligt skyddar hypervisor kod och statiska data från att äventyras även i närvaro av exploaterbara minneskorruption buggar (t.ex. buffertspill), därför framgångsrikt ger hypervisor kod integritet. Den andra, begränsade indexeringen av pekare, introducerar ett indirekt skikt för att omvandla kontrolldata till index för pekare. Dessa index är begränsade så att motsvarande mål för anrop/retur strikt följer flödeskurvan för hypervisorkontroll och därmed utökar skyddet till kontrollflödesintegritet. Vi har byggt en prototyp och använt den för att skydda två open-source Type-I hypervisors: BitVisor och Xen. De experimentella resultaten med syntetiska hypervisor utnyttjar och benchmarking program visar HyperSafe kan tillförlitligt aktivera hypervisor självskydd och ge integritetsgarantin med en liten prestanda overhead.
I REF föreslog författarna HyperSafe, som är en lätt metod som ger befintliga hypervisors med en självskyddande förmåga att ge livstidsflöde integritet.
HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity
{'venue': '2010 IEEE Symposium on Security and Privacy', 'journal': '2010 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science']}