可信计算的研究与发展

被引：263

作者：

沈昌祥 ^{[1
]}

张焕国 ^{[2
]}

王怀民 ^{[3
]}

王戟 ^{[3
]}

赵波 ^{[2
]}

严飞 ^{[2
]}

余发江 ^{[2
]}

张立强 ^{[2
]}

徐明迪 ^{[2
]}

机构：

[1] 北京工业大学

[2] 武汉大学计算机学院空天信息安全与可信计算教育部重点实验室

[3] 国防科技大学计算机学院

来源：

中国科学:信息科学 | 2010年 / 40卷 / 02期

关键词：

信息安全; 可信计算; 可信计算平台; 可信软件; 可信网络连接;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

可信计算是一种信息系统安全新技术,它已经成为国际信息安全领域的一个新热潮,并且取得了令人鼓舞的成绩.我国在可信计算领域起步不晚、水平不低、成果可喜.我国已经站在国际可信计算的前列.文中综合论述近年来可信计算理论与技术的一些新发展,特别是介绍我国可信计算的一些新发展,并对目前可信计算领域存在的一些问题和今后发展提出了自己的看法和观点.

引用

页码：139 / 166

页数：28

共 34 条

[1]

可信计算机平台信任链安全性分析.[D].徐明迪.武汉大学.2009, 05

[2] Software Model Checking [J].