【摘 要】
：
可信计算技术作为一种新型信息安全技术,已经成为信息安全领域的研究热点.在可信计算领域取得长足发展的同时,其关键技术仍存在许多问题亟待解决,近年来这方面的相关研究已经
【机 构】
：
信息安全国家重点实验室中国科学院软件研究所
【基金项目】
：
国家“九七三”重点基础研究发展计划基金项目(2007CB311202)
论文部分内容阅读
可信计算技术作为一种新型信息安全技术,已经成为信息安全领域的研究热点.在可信计算领域取得长足发展的同时,其关键技术仍存在许多问题亟待解决,近年来这方面的相关研究已经陆续展开.综述了在可信计算关键技术方面的研究成果,从构建可信终端的信任入手,建立了基于信任度的信任模型,给出了基于信息流的动态信任链构建方法,一定程度上解决了终端信任构建的实时性、安全性等问题.针对远程证明协议的安全性和效率问题,构造了首个双线性对属性远程证明方案和首个基于q-SDH假设的双线性对直接匿名证明方案.在可信计算测评方面,提出了一种基于扩展有限状态机的测试用例自动生成方法,并基于该方法研制了国内首个实际应用的可信计算平台测评系统.
其他文献
综合艺术教育在目标上更关注少儿整体人格的发展，强调少儿艺术学习的兴趣、艺术的感知体验、表现创作、交流合作等基本能力和人文素养（即尊重、关怀、友善、分享、合作等）的整合
文章分析了“热学”与“热力学统计物理”课程整合的必要性和可能性，并提出了初步的整合方案，以优化配置教学资源。
随着城市的不断发展,城市供电线路逐步向电缆敷设方式推进,在10 kV及以下配电线路中,电缆线路具有通道选择比较灵活,既可埋地,又可架空,不需考虑电气间隙、占用空间小等优点,
公民科学素质已成为影响国家竞争力的重要因素之一。科普是实现公民科学素质提升的关键一环。影视作为社会大众获取信息的一个重要渠道,可成为科普的一种有效途径。在借鉴发
马琳·阿尔索普(Marin Alsop)是巴尔的摩交响乐团(BSO)第十二任音乐总监,是该团第一位女性音乐总监,是美国25大交响乐团第一次任命女指挥。在指挥这一被男性所垄断的职业领域
分别用碱法从新鲜茶叶和干茶叶中提取出茶叶蛋白，对两种蛋白的溶解性、分子量、氨基酸成分、吸水性、吸油性、乳化性、乳化稳定性、起泡性、凝胶性等功能性质进行了研究。结果
数字化学习是21世纪倡导的新型学习形式,数字化学习是建立在数字化学习的环境、资源、方式等诸多条件基础上进行的。针对目前数字化学习存在的一些问题进行了分析,提出了数字
左炔诺孕酮宫内缓释系统(levonorgestrel releasing intrauterine system,LNG-IUS)是一种新型激素宫内节育装置,通过长期定量释放左炔诺孕酮发挥作用。随着人们对LNG-IUS研究
生态养生旅游是目前国际上最具发展潜力、最环保的旅游产品之一,具有极其广阔的市场需求,特别受到老年旅游者的欢迎。开展生态养生旅游必须具备4个方面的条件,即优良的自然生