Login / Signup

A Logic of Secure Systems and its Application to Trusted Computing.

Anupam DattaJason FranklinDeepak GargDilsun 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