搜索结果: 1-1 共查到“军事学 computational model”相关记录1条 . 查询时间(0.119 秒)
Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)
TPM Trusted Computing formal methods
2016/1/25
We present the first automated proof of the authorization
protocols in TPM 2.0 in the computational model. The Trusted Platform
Module(TPM) is a chip that enables trust in computing platforms
and a...