Login / Signup
A Logic of Secure Systems and its Application to Trusted Computing.
Anupam Datta
Jason Franklin
Deepak Garg
Dilsun Kirli Kaynar
Published in:
IEEE Symposium on Security and Privacy (2009)
Keyphrases
</>
trusted computing
computing environments
distributed systems
computer systems
database
load balancing
message passing
computing platform