Login / Signup
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0.
Qianying Zhang
Shijun Zhao
Zhiping Shi
Yong Guan
Guohui Wang
Published in:
IACR Cryptol. ePrint Arch. (2019)
Keyphrases
</>
security analysis
key exchange
smart card
public key
security requirements
encryption scheme
security properties
formal methods
formal model
authentication protocol
image quality
private key
diffie hellman