Login / Signup

Formal analysis of HMAC authorisation in the TPM2.0 specification.

Jianxiong ShaoYu QinDengguo Feng
Published in: IET Inf. Secur. (2018)
Keyphrases
  • formal analysis
  • formal methods
  • high level
  • formal specification
  • artificial intelligence
  • security policies
  • specification language
  • databases
  • agent model
  • relational databases
  • ban logic