Property-based Attestation for Computing Platforms: Caring about properties, not mechanisms
Ahmad-Reza Sadeghi, Christian Stüble,
Panel on Themes and Highlights of the New Security Paradigms Workshop 2004. Presented at 20th Annual Computer Security Applications Conference (ACSAC) December, 2004.
[pdf]