学术探索
学术期刊
新闻热点
数据分析
智能评审

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

被引：19
作者：
徐明迪 [1 ]
张焕国 [2 ]
严飞 [3 ]
机构：
[1] 空天信息安全与可信计算教育部重点实验室
[2] 武汉大学计算机学院
[3] 武汉大学软件工程国家重点实验室
来源：
计算机学报 | 2009年 / 32卷 / 04期
关键词：
可信计算平台; 信任链; 进程代数; 标记变迁系统; 一致性测试;
D O I：
暂无
中图分类号：
TP309 [安全保密];
学科分类号：
081201 ; 0839 ; 1402 ;
摘要：
可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响可信计算的发展.该文着眼于规范定义的信任链行为特征,以进程代数作为指称语义描述工具,以标记变迁系统作为操作语义,对规范定义的信任链行为特征进行了形式化描述,提出了一种基于标记变迁系统的信任链测试模型框架.针对信任链规范与实现之间的问题,从易测性出发对测试集进行了有效约简;并论证了信任链的规范实现与规范说明之间的关系,为测试用例构造方法提供了理论依据,从而解决了信任链测试这一难题.
引用
收藏
页码：635 / 645
页数：11
相关论文
共 11 条
12