可信计算平台信任链一致性测试方法研究

摘要：

　　信任链是可信计算平台的核心和基础，保证信任链实现正确以及与规范一致是非常必要的。本文在分析可信计算平台信任链规范的基础上，基于有限状态机理论给出信任链规范的形式化模型，并基于唯一输入输出序列（UIO），对于可信计算平台信任链的一致性测试方法进行了研究，最后，建立了可信计算平台信任链一致性测试原型系统。本文给出的信任链一致性测试方法为可信计算平台信任链的一致性测试提供了一种新的思路。

关键词： 可信计算 一致性测试 有限状态机 信任链 输入输出序列

作者: 付利华

作者单位: 北京工业大学计算机学院，北京，中国，100124

会议类型: 国内会议

会议名称: 2011年青年通信国际会议(ICYC2011)

会议地点: 澳门

会议语种:中文

页码: 21-26

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