TCG inside?: a note on TPM specification compliance.

Ahmad-Reza Sadeghi Marcel Selhorst Christian Stüble Christian Wachsmann Marcel Winandy

Published in: STC (2006)

Keyphrases

trusted computing
trusted platform module
computing environments
computing platform
computer security
cloud computing
high level
virtual organization
real time
onset detection
remote attestation
user defined
formal methods
formal specification
image sequences
information systems
databases
database