-
题名可信计算技术研究
被引量：122
- 1
-
-
作者
冯登国
秦宇
汪丹
初晓博
-
机构
信息安全国家重点实验室(中国科学院软件研究所)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第8期1332-1349,共18页
-
基金
国家"九七三"重点基础研究发展计划基金项目(2007CB311202)
-
文摘
可信计算技术作为一种新型信息安全技术,已经成为信息安全领域的研究热点.在可信计算领域取得长足发展的同时,其关键技术仍存在许多问题亟待解决,近年来这方面的相关研究已经陆续展开.综述了在可信计算关键技术方面的研究成果,从构建可信终端的信任入手,建立了基于信任度的信任模型,给出了基于信息流的动态信任链构建方法,一定程度上解决了终端信任构建的实时性、安全性等问题.针对远程证明协议的安全性和效率问题,构造了首个双线性对属性远程证明方案和首个基于q-SDH假设的双线性对直接匿名证明方案.在可信计算测评方面,提出了一种基于扩展有限状态机的测试用例自动生成方法,并基于该方法研制了国内首个实际应用的可信计算平台测评系统.
-
关键词
可信计算
可信平台模块
可信密码模块
信任链
远程证明
可信计算测评
-
Keywords
trusted computing
TPM
tcm
trust chain
remote attestation
trusted computingtesting and evaluation
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名开放环境下的远程证明体系架构设计
- 2
-
-
作者
于颖超
刘了
陈左宁
-
机构
江南计算技术研究所
-
出处
《计算机应用与软件》
CSCD
北大核心
2012年第8期86-89,105,共5页
-
基金
国家重点基础研究发展计划(2007CB310907)
-
文摘
虚拟化技术和证明技术相互依赖,只有两者相互结合,才能为安全系统奠定坚实的基础。首先给出在开放环境下使用证明技术建立信任关系需要解决的问题,然后提出一种支持远程证明的安全体系架构Sec_TV,讨论该架构如何结合虚拟化和证明技术来增强系统的安全性,并给出Sec_TV下远程证明协议设计,最后,从Sec_TV体系架构本身及Sec_TV远程证明协议两个方面讨论这个远程证明体系架构的安全性。
-
关键词
可信计算
虚拟化
远程证明
tcm
vtcm
-
Keywords
trusted computing virtualisation remote attestation tcm vtcm
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
