【摘 要】
：
可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工
【机 构】
：
空天信息安全与可信计算教育部重点实验室,武汉大学计算机学院,武汉大学软件工程国家重点实验室
【基金项目】
：
本课题得到国家“八六三”高技术研究发展计划项目基金（2007AA012411,2008AA012404）、国家自然科学基金（60673071,90718005,90718006）和空天信息安全与可信计算教育部重点实验室开放基金资助.
论文部分内容阅读
可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响可信计算的发展.该文着眼于规范定义的信任链行为特征,以进程代数作为指称语义描述工具,以标记变迁系统作为操作语义,对规范定义的信任链行为特征进行了形式化描述,提出了一种基于标记变迁系统的信任链测试模型框架.针对信任链规范与实现之间的问题,从易测性出发对测试集进行了有效约简;并论证了信任链的规范实现与规范说明之间的关系,为测试用
其他文献
<正> 这是一座小型、灵活多用的剧场,可容400席。它建在南山公园——一个活跃的艺术中心,爵士乐节和民歌节活动基地内。该剧院是为举办这些节日活动而建,同时也可演出各种剧
随着视频编辑软件功能的增强,视频内容的篡改和伪造变得越来越容易,在很多领域可能导致严重后果.在视频依次经历解码、常规信号处理及修改图像组GOP（Group of Pictures）与量化
该文提出一种构造二次B样条插值曲线的新方法,包括新的参数化方法和新的插值方法.新参数化方法中,相邻曲线段的连接处与插值点相一致,以插值点的切向作为约束,利用二次B样条
多PKG环境下的签密机制是域间实体认证和保密通信的有效手段.文中提出了一个新的多PKG环境下基于身份的签密方案,方案使用了Waters基于身份加密体制及现有的基于身份签密体制
在不修改应用程序的前提下,在MPI通信库中将阻塞的集合操作转化为非阻塞的实现可以将集合通信与紧跟在集合操作之后的计算重叠起来,从而提高应用的性能.在应用中,集合操作之
软件自身的复杂性和未来变更需求的不确定性使得软件的稳定性评估十分困难.文中将软件的变更需求看成一系列＂原子变更需求＂的叠加,把＂原子变更需求＂的响应过程抽象成初始变更节点
top-kjoin查询返回用户最感兴趣的k个连接结果.近来top-kjoin已经成为一个重要的研究课题,且在Web数据库、信息抽取和数据挖掘中均有应用.星型模式的数据仓库在实际应用中也
为用户提供高质量、高性能的通信链路是无线Mesh网路由协议所面临的重要挑战,而当前从AdHoc网络沿袭下来的路由协议并不能够满足无线Mesh网的性能要求.文中以OLSR协议为原型,
多路径路由实现是移动Adhoc网络(MANET)可靠运行的有效保证.现有MANET节点不相交多路径路由协议主要关注节点不相交多路径的可实现性和效率问题.针对节点不相交多路径路由协