Formal Analysis of Trusted Computing: One Case Study.

Hongwei Zhou Jinhui Yuan

Published in: CMC (2011)

Keyphrases

formal analysis
trusted computing
case study
computing environments
virtual organization
computer security
trusted platform module
cloud computing
computing platform
formal methods
agent model
information systems
data model
fine grained
model checking
access control policies