TCG命令验证协议工作机制的分析与研究

摘要：

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命令验证协议进行安全性分析的方法。

关键词： 可信计算 命令验证协议 Dolev-Yao SPIN模型 工作机制

作者: 康新振 王震宇 问斌

作者单位: 解放军信息工程大学信息工程学院，河南郑州，450002

会议类型: 国内会议

会议名称: 2007中国计算机大会

会议地点: 苏州

会议语种:中文

页码: 1389-1395

在线出版日期: 2007-10-18（万方平台首次上网日期，不代表论文的发表时间）