PRIMA: policy-reduced integrity measurement architecture
Terra: a virtual machine-based platform for trusted computing