Property-based attestation for computing platforms: caring about properties, not mechanisms