Cryptology ePrint Archive: Report 2014/120
Available versions in chronological order
20140224:010910 (posted 24-Feb-2014 01:09:10 UTC)
Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)
Weijin Wang, Yu Qin, Dengguo Feng
Original publication (with minor differences): ISPEC2014
20140224:131913 (posted 24-Feb-2014 13:19:13 UTC)
Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)
Weijin Wang, Yu Qin, Dengguo Feng
Original publication (with minor differences): ISPEC2014
20140303:093017 (posted 03-Mar-2014 09:30:17 UTC)
Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)
Weijin Wang, Yu Qin, Dengguo Feng, Xiaobo Chu
Original publication (with minor differences): ISPEC2014
[
Cryptology ePrint archive
]