HPL-2008-71 Improving Policy Verification Capabilities of Trusted Platforms - Cabuk, Serdar; Plaquin, David; Hong, Theodore; Murray, Derek
Keyword(s): Trust computing, virtualization, policy verification, integrity management
Abstract: Verifiable trust is a desirable property for computing platforms - a user has a fundamental interest in knowing whether a computing platform about to be used behaves as expected. Current systems provide verifiable trust by taking immutable snapshots of a platform which digest the complex set of plat ...
Full Report