Formal Analysis of Secure Bootstrap in Trusted Computing.

Shuyi Chen Yingyou Wen Hong Zhao

Published in: ATC (2007)

Keyphrases

formal analysis
trusted computing
computing environments
computer security
remote attestation
virtual organization
computing platform
cloud computing
trusted platform module
formal methods
agent model
factor authentication
database
model checking
distributed computing
ban logic