可信计算平台测评理论与关键技术研究.pdf


文档分类:IT计算机
下载后只包含 1 个 PDF 格式的文档,没有任何的图纸或源代码,查看文件列表

特别说明:文档预览什么样,下载就是什么样。举报非法文档有奖

1/22
1/22
下载所得到的文件列表
可信计算平台测评理论与关键技术研究.pdf
文档介绍
Evaluation Warning : The document was created with Spire.PDF .
中国科学 信息科学 年 第 卷 第 期 《中国科学 》杂志社
文 日 卜 争

可信计算平 台测评理论 与关键技术研 究
张焕国 ①②, 严飞 ①②, 傅建明 ①②, 徐明迪 ①②, 杨题 ①②, 何凡 ①②, 詹静 ①②
①武汉大学计算机学院 ,武汉
②空天信息安全与可信计算教育部贡点实验室 , 武汉
通信作者 一
收稿日期 一一 接受日期 一 一
国家高技术研究发展金戈」批准一号 , 、国家自然科学琴金 批准一号 , , 一
和空天信息安全与可信计算教育部贡点实验室井放琴金 批准一号 一 , 资助项日
摘要 可信计算已经成为国际信息安全领域的新热潮 ,可信计算平台产品开始走 关键词
向应用 对于信息安全产品 ,不经过测评用户是无法放心应用的 本文围绕可信 信息安全
计算平台的测评问题 ,从建立适合测试的可信计算平台形式化模型入手 ,建立了 可信计算
一种墓于 的信任链数学模型 ,并给出了其复合特性的分析验证方法 ,通过分 可信计算平台
析发现远程证明过程存在对可信系统发生安全性危害的潜在因素 针对可信软件 测试与评估
栈 ,研究了其测试用例 自动化生成问题 ,提 出一种改进的随机测试用例生产方法 ,
提高了测试用例的质量 最后给出了一种可信计算平台测试原型系统及相关实际
测试数据 测试结果表明 ,该方法发现 了现有 可信计算平台在设计体系上存
在着一些缺陷 ,同时也发现了若干现有可信计算平台产品存在的缺陷 ,为可信计算
平台技术及产品的改进和发展提供 了依据
引言
近年来 , 可信计算 己经成为国际信息安全领域的新热潮 在国际上 , 以可信计算组织 ‘、欧
盟开放可信计算组织 为代表的国际联盟正在积极推进可信计算规范的制定与产品化工作
在我国 ,具有我国自主知识产权的可信计算规范和产品己经推出 ,可信计算机己经进入市场 “我国
在可信计算领域起步不晚 ,水平不低 ,成果可喜 我国己经站在国际可信计算领域的前列 ”阵钊
随着可信计算技术与产业的发展 ,可信计算产品的应用会越来越多 根据我国信息安全产品测评
内容来自淘豆网www.taodocs.com转载请标明出处.
非法内容举报中心
文档信息
  • 页数22
  • 收藏数0 收藏
  • 顶次数0
  • 上传人慢慢老师
  • 文件大小17.59 MB
  • 时间2022-01-13