可信计算的研究与发展

被引:258
作者
沈昌祥 [1 ]
张焕国 [2 ]
王怀民 [3 ]
王戟 [3 ]
赵波 [2 ]
严飞 [2 ]
余发江 [2 ]
张立强 [2 ]
徐明迪 [2 ]
机构
[1] 北京工业大学
[2] 武汉大学计算机学院空天信息安全与可信计算教育部重点实验室
[3] 国防科技大学计算机学院
关键词
信息安全; 可信计算; 可信计算平台; 可信软件; 可信网络连接;
D O I
暂无
中图分类号
TP309 [安全保密];
学科分类号
081201 ; 0839 ; 1402 ;
摘要
可信计算是一种信息系统安全新技术,它已经成为国际信息安全领域的一个新热潮,并且取得了令人鼓舞的成绩.我国在可信计算领域起步不晚、水平不低、成果可喜.我国已经站在国际可信计算的前列.文中综合论述近年来可信计算理论与技术的一些新发展,特别是介绍我国可信计算的一些新发展,并对目前可信计算领域存在的一些问题和今后发展提出了自己的看法和观点.
引用
收藏
页码:139 / 166
页数:28
相关论文
共 36 条
[1]   一种形式化的可信平台模块应用编程接口安全性分析方法 [J].
杨飏 ;
张焕国 ;
张帆 ;
徐士伟 .
武汉大学学报(理学版), 2010, 56 (04) :446-450
[2]   一种C程序内存访问缺陷自动化检测方法研究 [J].
杨飏 ;
张焕国 ;
王后珍 .
计算机科学, 2010, 37 (06) :155-158+185
[3]   可信网络连接研究 [J].
张焕国 ;
陈璐 ;
张立强 .
计算机学报, 2010, 33 (04) :706-717
[4]   可信计算平台测评理论与关键技术研究 [J].
张焕国 ;
严飞 ;
傅建明 ;
徐明迪 ;
杨飏 ;
何凡 ;
詹静 .
中国科学:信息科学, 2010, 40 (02) :167-188
[5]   可信软件的构造与演化分析专刊前言 [J].
王怀民 ;
徐洁 .
软件学报, 2010, 21 (02) :177-178
[6]   可信PDA计算平台系统结构与安全机制 [J].
赵波 ;
张焕国 ;
李晶 ;
陈璐 ;
文松 .
计算机学报, 2010, 33 (01) :82-92
[7]   可信平台模块自动化测试研究 [J].
詹静 ;
张焕国 .
计算机研究与发展, 2009, (11) :1839-1846
[8]   软件分析技术进展 [J].
梅宏 ;
王千祥 ;
张路 ;
王戟 .
计算机学报, 2009, 32 (09) :1697-1710
[9]   基于标记变迁系统的可信计算平台信任链测试 [J].
徐明迪 ;
张焕国 ;
严飞 .
计算机学报, 2009, 32 (04) :635-645
[10]   可信密码模块符合性测试方法研究 [J].
李昊 ;
胡浩 ;
陈小峰 .
计算机学报, 2009, 32 (04) :654-663