Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model.

Weijin Wang, Yu Qin, Dengguo Feng

Browse the full ISPEC paper archive.