可信计算技术研究

被引:120
作者
冯登国
秦宇
汪丹
初晓博
机构
[1] 信息安全国家重点实验室(中国科学院软件研究所)
关键词
可信计算; 可信平台模块; 可信密码模块; 信任链; 远程证明; 可信计算测评;
D O I
暂无
中图分类号
TP309 [安全保密];
学科分类号
081201 ; 0839 ; 1402 ;
摘要
可信计算技术作为一种新型信息安全技术,已经成为信息安全领域的研究热点.在可信计算领域取得长足发展的同时,其关键技术仍存在许多问题亟待解决,近年来这方面的相关研究已经陆续展开.综述了在可信计算关键技术方面的研究成果,从构建可信终端的信任入手,建立了基于信任度的信任模型,给出了基于信息流的动态信任链构建方法,一定程度上解决了终端信任构建的实时性、安全性等问题.针对远程证明协议的安全性和效率问题,构造了首个双线性对属性远程证明方案和首个基于q-SDH假设的双线性对直接匿名证明方案.在可信计算测评方面,提出了一种基于扩展有限状态机的测试用例自动生成方法,并基于该方法研制了国内首个实际应用的可信计算平台测评系统.
引用
收藏
页码:1332 / 1349
页数:18
相关论文
共 23 条
[1]   基于可信平台模块的虚拟单调计数器研究 [J].
李昊 ;
秦宇 ;
冯登国 .
计算机研究与发展, 2011, 48 (03) :415-422
[2]   基于可信芯片的终端平台匿名身份建立方法研究 [J].
于爱民 ;
初晓博 ;
冯登国 .
计算机学报, 2010, 33 (09) :1703-1712
[3]   一种基于双线性映射的直接匿名证明方案 [J].
陈小峰 ;
冯登国 .
软件学报, 2010, 21 (08) :2070-2078
[4]   基于可信计算的动态完整性度量架构 [J].
刘孜文 ;
冯登国 .
电子与信息学报, 2010, 32 (04) :875-879
[5]   可信网络连接研究 [J].
张焕国 ;
陈璐 ;
张立强 .
计算机学报, 2010, 33 (04) :706-717
[6]   可信计算平台测评理论与关键技术研究 [J].
张焕国 ;
严飞 ;
傅建明 ;
徐明迪 ;
杨飏 ;
何凡 ;
詹静 .
中国科学:信息科学, 2010, 40 (02) :167-188
[7]   一种基于TCM的属性证明协议 [J].
冯登国 ;
秦宇 .
中国科学:信息科学, 2010, 40 (02) :189-199
[8]   可信密码模块的模型检测分析 [J].
陈小峰 ;
冯登国 .
通信学报 , 2010, (01) :59-64+72
[9]   一种基于可信计算的分布式使用控制系统 [J].
初晓博 ;
秦宇 .
计算机学报, 2010, 33 (01) :93-102
[10]   基于可信虚拟平台的数据封装方案 [J].
汪丹 ;
冯登国 ;
徐震 .
计算机研究与发展, 2009, 46 (08) :1325-1333