基于标记变迁系统的可信计算平台信任链测试

• 作者: 严飞 张焕国 徐明迪
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 可信计算平台 信任链 进程代数 标记变迁系统 一致性测试
• 年，卷（期）: 2009,（4）
• 页码范围: 635-645
• 页数: 11页
• 分类号: TP309
• 字数: 8132字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.00636

摘要

可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响可信计算的发展.该文着眼于规范定义的信任链行为特征,以进程代数作为指称语义描述工具,以标记变迁系统作为操作语义,对规范定义的信任链行为特征进行了形式化描述,提出了一种基于标记变迁系统的信任链测试模型框架.针对信任链规范与实现之间的问题,从易测性出发对测试集进行了有效约简;并论证了信任链的规范实现与规范说明之间的关系,为测试用例构造方法提供了理论依据,从而解决了信任链测试这一难题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张焕国	武汉大学计算机学院	244	4083	31.0	56.0
2	严飞	武汉大学软件工程国家重点实验室	20	427	7.0	20.0
3	徐明迪		1	33	1.0	1.0