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

摘要

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