Towards a Trust Management System for Cloud Computing
Property-based attestation for computing platforms: caring about properties, not mechanisms