Trusted Computing.- Property-Based TPM Virtualization.- A Demonstrative Ad Hoc Attestation System...