Formal Analysis of Enhanced Authorization in the TPM 2.0.

Jianxiong Shao Yu Qin Dengguo Feng Weijin 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