DMCA

Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)

by Weijin Wang , Yu Qin , Dengguo Feng , Xiaobo Chu