【摘 要】
：
理想功能是UC安全协议的基本单元和核心内容.在UC安全框架下协议设计的首要步骤就是要将协议所希望完成的功能抽象为一个＂理想功能＂,＂理想功能＂的合理定义不仅要从定义上保证安全
【机 构】
：
清华大学计算机科学与技术系,中国科学院研究生院信息安全国家重点实验室
【基金项目】
：
国家863高技术研究发展计划（No.2006AA01Z420）
论文部分内容阅读
理想功能是UC安全协议的基本单元和核心内容.在UC安全框架下协议设计的首要步骤就是要将协议所希望完成的功能抽象为一个＂理想功能＂,＂理想功能＂的合理定义不仅要从定义上保证安全,更重要的是要兼顾其可实现性.本文定义了基于身份的签名机制（IBS）在UC安全框架下对应的理想功能FIBS,证明了其可实现性以及UC安全的IBS与经典IBS安全定义EUF-CMIA安全之间的等价关系,保证了在构造复杂环境下UC安全协议的时候,EUF-CMIA安全的IBS可以作为一个模块被安全调用.
其他文献
在实时应用中,观测样本通常以数据块的形式依次达到,传统的批量距离算法难以进行学习.本文提出一种新颖的利用成对约束关系进行学习的块增量距离尺度算法.首先给出块增量学习
针对抑制GPS信号中期望信号方向的冲激毛刺干扰影响问题,对Householder多级维纳滤波方法进行改进,提出一种数据选择Householder多级维纳滤波器.改进方法用于GPS信号空时抗干
应用DTOPSIS法对重庆三峡农科所组配的水稻杂交组合进行了综合评价,探讨了其在多因素综合评价水稻组合中的应用。结果表明：此法比单用产量分析更为合理,较其他综合分析法更为
信息技术在当今社会各个领域的应用已十分广泛,因此信息技术教育也越发重要,计算机技术是一门实操性很强的技术,对计算机课堂进行有效的教学设计,绝不能采用传统的教学思想来
主元分析是一种广泛应用的多元统计技术．在处理高维数据时，其结果的统计一致性与物理可解释性难以保证．引入以变量选择为目标的稀疏性约束，可有效缓解上述困难．基于最近10年的研究
提出一种基于质心片的（CU-Tree）不确定高维索引结构.对于高维空间中的不确定数据对象,首先通过k平均聚类算法将其聚成若干类,然后分别计算每个不确定超球进行质心＂切片＂,并对其进
面向应用的指令集处理器通过增加扩展指令可有效提升处理器的性能,满足上市时间要求.然而为嵌入式系统定制扩展指令需解决以下3个问题：设计空间随应用复杂度的增加指数增加,有
本文考虑了n个传感节点和一个Sink组成的跳时脉冲无线电超宽带（TH-IR UWB）传感网,其中n个传感节点按照Poisson点过程分布在正方形上.推导结果表明密集分簇TH-IR UWB传感网的生
本地验证者撤销是一种有效的群成员撤销方法,该方法只需将撤销信息发给验证者而无需签名者的参与.目前大部分本地验证者撤销群签名方案都是在随机预言模型下证明方案的安全性
不同的感知编组(perceptual organization,PO)算法针对不同的全局线索,在使用中必须由人首先判定目标所满足的全局线索,之后选择相应的编组算法进行计算.本文提出基于先验模型的全局线索选择感知编组算法,可以从待选的多个全局线索中挑选出概率意义下最可能的线索作为编组依据.先验模型将场景的统计特性作为先验知识,以广义拉普拉斯分布作为样本的估计分布,通过后验概率和线索概率得到归一化信息