Sign in

Formal Analysis of Enhanced Authorization in the TPM 2.0.

Jianxiong ShaoYu QinDengguo FengWeijin Wang
Published in: AsiaCCS (2015)
Keyphrases
  • formal analysis
  • access control
  • agent model
  • formal methods
  • fine grained
  • security requirements
  • ban logic
  • knowledge base
  • relational databases
  • security policies
  • trust management