标准模型下选择密文安全的基于身份加密方案

来源 :计算机科学 | 被引量 : 0次 | 上传用户:hxl5201314888
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Waters在欧密2005上提出的基于身份加密方案是选择明文安全的,这就使得该方案很难应用于一些安全性要求较高的环境中。针对这一问题,设计了一个标准模型下选择密文安全的基于身份的加密扩展方案。该扩展方案基于Waters的方案,其密文中增加一个附加信息,而扩展方案是选择密文安全的,所以解决了Waters方案仅达到选择明文安全的问题。在标准模型下,扩展方案的安全性归约为判定性双线性Diffie-Hellman困难假设。安全性分析表明,扩展方案抵抗自适应选择密文攻击是不可区分的。
其他文献
在已有P2P模型的基础上提出了基于内容相似度和推荐反馈计算节点推荐值的对等网络信用模型IPBS(Integrated—partial based similarity Trust)。该模型利用节点间的内容相似度
并发程序的不变式验证对理解程序和提高程序的正确性具有重要意义。以一种区间时序逻辑程序设计语言Framed Tempura为研究对象,给出了该语言的等价正则形,定义了该正则形在相邻
随机公平队列(Stochastic Fairness Queueing,SFQ)是一种典型的公平队列调度算法。UDP洪流是实施DDoS攻击的一种主要攻击手段。研究了SFO调度和网络中广泛应用的先到先服务(First
在高维、小样本的情况下使用Fisher线性鉴别分析的特征提取方法存在病态奇异问题,学者们提出了许多解决此问题的方法。针对小样本问题,并通过对现有人耳识别方法的研究,提出了一种利用KDA/GSVD算法对图像数据进行降维,运用SVM分类器对样本进行判别的人耳识别方法。此外,还对线性判别分析、广义奇异值分解和支持向量机的基本理论等内容做了简要介绍。实验证明,KDA/GSVD很好地解决了由于小样本的问题而
时序认知逻辑是由时序逻辑和认知逻辑组合而成的逻辑,主要应用于多主体系统的规范定义。大多数时序认知逻辑是基于CTL的,表达能力有限。并且已知的一些模型检查算法存在内存
提出了一种新的设计两通道近似完全重构IIR滤波器组的方法。分析滤波器组由基于全通滤波器的多相网络实现,所引起的相位失真几乎完全被综合滤波器组所平衡。从QMF的完全重构理
Web服务适合于分布、松散耦合的应用环境。针对企业应用系统中的Web服务适配器开发M题,提出并实现了一个面向服务契约的Web服务适配器。详细介绍了适配器所包括的分析引擎、框
封闭立方体是联机分析处理中一种有效的数据立方体压缩技术,但封闭立方体的并行算法目前很少有相关文献研究。提出了一种简单而实用的解决方案,即基于MapReduce计算框架,在非共
提出了一种基于线性预测的单输入多输出单载波频域均衡系统频域信道响应(也称为信道频率响应,CFR)盲估计算法。与传统的线性预测时域信道估计方法不同,提出的算法不需要计算新息
粒子群优化算法利用一群在可行区域内飞行的粒子来搜索最优解,具有易实现、收敛速度快的特点,然而也面临“早熟”的问题。提出了一种基于时变系数与社会认知模拟的粒子群优化算