Login / Signup

Formal Analysis of DAA-Related APIs in TPM 2.0.

Li XiDengguo Feng
Published in: NSS (2014)
Keyphrases
  • formal analysis
  • trusted computing
  • formal methods
  • databases
  • object oriented
  • lightweight