论文部分内容阅读
Trusted Platform Module(TPM)是可信平台安全性的基础.Trusted Computing Group(TCG)命令验证协议(Command Validation Protocols)的作用是验证访问者是否有权对TPM执行一个操作或访问一个TPM保护的对象,对TPM安全性具有重要作用。
本文以AuthData InsertionProtocol(ADIP)协议为例阐述了TCG命令验证协议的工作原理和工作流程,然后介绍了基于Dolev-Yao模型和Simple Promela Imerpreter(SPIN)模型检测工具对TCG命令验证协议进行安全性分析的方法。