Cloud Verifier: Verifiable Auditing Service for IaaS Clouds
PRIMA: policy-reduced integrity measurement architecture