可信计算技术研究

摘要：

可信计算技术作为一种新型信息安全技术,已经成为信息安全领域的研究热点.在可信计算领域取得长足发展的同时,其关键技术仍存在许多问题亟待解决,近年来这方面的相关研究已经陆续展开.综述了在可信计算关键技术方面的研究成果,从构建可信终端的信任入手,建立了基于信任度的信任模型,给出了基于信息流的动态信任链构建方法,一定程度上解决了终端信任构建的实时性、安全性等问题.针对远程证明协议的安全性和效率问题,构造了首个双线性对属性远程证明方案和首个基于q-SDH假设的双线性对直接匿名证明方案.在可信计算测评方面,提出了一种基于扩展有限状态机的测试用例自动生成方法,并基于该方法研制了国内首个实际应用的可信计算平台测评系统.

关键词：可信计算、可信平台模块、可信密码模块、信任链、远程证明、可信计算测评

所属期刊栏目：48

分类号：TP309(计算技术、计算机技术)

资助基金：国家“九七三”重点基础研究发展计划基金项目2007CB311202

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共18页

页码：1332-1349