【摘 要】
：
远程证明技术就是分布式或者网络平台上建立信任的重要技术。建立在可信计算之上的可信证明方案更是可信计算TCG的提出的可信计算技术的关键部分。远程证明过程除了建立起交
【机 构】
：
中国科学院软件研究所基础软件工程中心,中国科学院研究生院,国家计算机网络应急技术处理协调中心
【基金项目】
：
国家自然科学基金资助项目(90818012);中国科学院知识创新工程重要方向项目(KGCXZ-YW-125)~~
论文部分内容阅读
远程证明技术就是分布式或者网络平台上建立信任的重要技术。建立在可信计算之上的可信证明方案更是可信计算TCG的提出的可信计算技术的关键部分。远程证明过程除了建立起交互双方的信任关系外,保护参与方的隐私是远程证明被广泛接受的必要条件之一。基于属性的远程证明应运而生,并成为广泛接受方案。但是通过分析,基于属性的证明方式并不是天然地具有隐私保护能力。基于属性证明的隐私保护能力与基于属性证明的构建以及恶意验证方用于获取证明平台配置隐私的方法和以及这些方法的能力有关。提出了几种可资验证方利用的配置隐私分析方法,讨论它们的特点和局限,为进一步研究基于属性的证明提供参考。
其他文献
招标文件是招标投标活动中最重要的法律文件,其技术要求、投标报价、评标办法都要翔实,以便招标人、投标人有可靠的依据。其中实质性要求、条件、合同条款、标准和分包都必须
近年来 ,自然景物的模拟一直是计算机图形学中最具挑战性的问题之一 .关于山、水、云、烟、火焰等自然景物的模拟 ,在计算机游戏、影视、广告等各种领域中有着广泛的用途 .作
气吸式免耕播种机除实现免耕以外,同时还要实现精密播种。因此本研究根据免耕播种机气吸式排种装置的结构特点,借助ANSYS软件对气吸式排种装置进行了气流场有限元分析及试验
头颈部癌在东南亚和中国的南方很常见,其相关治疗会影响患者及其家属的生活质量,因而头颈癌患者的生存质量研究日益受到重视。欧洲癌症研究与治疗组织的生命质量核心量表（EORT
2008年1月～2009年10月对江苏阳澄湖螺类群落结构进行了季节调查研究。共采集到螺类4科5属6种,优势种为铜锈环棱螺,次优种为长角涵螺。阳澄湖螺类平均密度为22.0±4.7ind./m2,
工程项目管理的核心就是对风险的控制。对风险控制的程度直接关系到工程项目目标能否实现。基于此点,本文对工程项目风险管理存在的问题及相应对策略作探讨。
钢琴既能独自演奏,也是伴奏乐器的主要成员,音色能与大部分乐器相融合,堪称"乐器之王"。而琵琶演奏技巧极多,音域宽广、音色独特,具有丰富的表现力,被誉为"民乐之王"。当二者
随着基础医学与临床医学脱节现象的日益凸显,作为二者之间连接纽带和桥梁的转化医学越来越受到重视。近年来,转化医学在美、欧等西方国家迅速发展,在我国也正成为"十二五"期
在小学数学教学中，教师必须以学生的发展为根本出发点，激发学生学习兴趣，促进学生积极学习，努力提高课堂教学效果。
着重探讨了矿山环境治理模式,提出具体治理模式的组合方式、逐一分析各种模式对应的理念、技术组成与应用特征,并引用实际案例讨论治理模式的适用性。