2010 · 178 citations · 29 references
ComputingComputer EngineeringComputer ScienceComputer SecurityHardware SecuritySecurity ArchitectureEmbedded System SecurityHardware VirtualizationMemory Protection HardwareMicroarchitectural SecuritySecure System DesignTrusted Platform ModulesHardware Security ArchitectureHardware Security ModulesHardware-software IntegrationHypervisor DesignPersistent StorageSecure Memory ArchitectureSecure Memory ProtectionTrusted Computing
We present Bastion, a new hardware-software architecture for protecting security-critical software modules in an untrusted software stack. Our architecture is composed of enhanced microprocessor hardware and enhanced hypervisor software. Each trusted software module is provided with a secure, fine-grained memory compartment and its own secure persistent storage area. Bastion is the first architecture to provide direct hardware protection of the hypervisor from both software and physical attacks, before employing the hypervisor to provide the same protection to security-critical OS and application modules. Our implementation demonstrates the feasibility of bypassing an untrusted commodity OS to provide application security and shows better security with higher performance when compared to the Trusted Platform Module (TPM), the current industry state-of-the-art security chip. We provide a proof-of-concept implementation on the OpenSPARC platform.
29
Xen and the art of virtualization
Paul Barham, Boris Dragovic, Keir Fraser et al. · ACM SIGOPS Operating Systems Review · 2003 · 5.9K citations
Xen and the art of virtualization
Paul Barham, Boris Dragovic, Keir Fraser et al. · 2003 · 1.6K citations
Protocols for Public Key Cryptosystems
Ralph C. Merkle · 1980 · 1.4K citations
Tal Garfinkel, Ben Pfaff, Jim Chow et al. · ACM SIGOPS Operating Systems Review · 2003 · 897 citations