【摘 要】
:
标准模型下的密码研究是为了解决随机预言机模型下理想化的安全性证明,而现实应用中,随机预言机模型达不到理想化的安全性证明。标准模型在实际的应用中,基于某种数学难题来论证方案的安全性,具有实际意义。标准模型下的密码研究可以应用于很多场景,比如电子商务、云计算中的高效存储以及身份鉴别等应用。本文主要利用形式化定义和安全性证明来组织方案的,主要进行的工作如下:(1)为解决数据共享系统中隐私部署和效率管理问
论文部分内容阅读
标准模型下的密码研究是为了解决随机预言机模型下理想化的安全性证明,而现实应用中,随机预言机模型达不到理想化的安全性证明。标准模型在实际的应用中,基于某种数学难题来论证方案的安全性,具有实际意义。标准模型下的密码研究可以应用于很多场景,比如电子商务、云计算中的高效存储以及身份鉴别等应用。本文主要利用形式化定义和安全性证明来组织方案的,主要进行的工作如下:(1)为解决数据共享系统中隐私部署和效率管理问题,本文构造了一个基于身份的分等级加密(HIBE)方案,在标准模型下达到选择身份和选择明文攻击安全的不可区分性(IND-CIVS-CPA)。此方案中,利用4个静态假设,对不同素数中的元素构造私钥,生成短的固定密文,并正确解密。实验结果表明,该CPA安全的分等级加密方案具有固定的3个密文,只需计算两个双线性对,对比同类型方案具有高效性。根据提出的CPA安全的HIBE方案转换为紧凑型的CCA2安全的HIBE方案。此方案中我们将根节点虚拟化,任何敌手不可以获得虚拟用的(PKG根节点)的私钥,但是可以用于密文是否有效进行检验。实验结果中,与CPA安全的HIBE方案比较,加密算法中的指数运算和乘法运算一样,但是多了一次哈希运算。在解密算法中,指数运算和乘法运算一样,但是多了2次的双线性对的运算。虽然计算开销有所增加,但是达到了该方案的选择身份和选择密文攻击的不可区分性(IND-CIVS-CCA2)。(2)基于CPA安全的HIBE,构造了一种通用的基于身份的分等级签名方案。此方案中,主管用户可以将私钥生成与签名验证委托给下属用户。在标准模型下,利用双系统技术,此方案被证明选择身份向量和选择密文攻击是存在不可伪造性的(EF-CMA)。实验结果表明,该方案具有较短的私钥长度和签名长度及较低的计算开销,具有高效性。
其他文献
为摆脱课堂上学生被动学,知识少建构,思维受禁锢等问题,江苏省太仓市实验小学开始了深度学习课堂的校本化打造,同时提炼出"深度学习课堂"的三个关键特征:自由、开放与分享。
开展创业教育是地方师范院校化解当前就业困境、大力提升学生核心素质的重要途径,也是一项实施内涵式发展战略的重要工作。在转型发展背景下,地方师范院校要进一步推进创业教
2016年10月,2016杭州·云栖大会在云栖小镇召开,阿里巴巴创始人马云发表精彩演讲,畅谈未来趋势。马云在云栖大会上提出“5新”的概念,分别为:新零售、新制造、新金融、新技术
大学毕业后,我曾经在湖北电视台工作过七年.当我在电视台对外部当编辑时,我的同事景高地曾拍过一个名叫《武汉人过早》的电视专题片.这部片子并不长,讲的也只是武汉人吃早餐
动态联盟作为一种全新的企业组织管理模式,其最早用于制造业,随着理论的成熟和发展,目前已被广泛应用于各个行业和领域。动态联盟将信息技术作为基础,以经济全球化和信息技术
利用提取纯化的暗纹东方鲀(Takifugu fasciatus)肝脏的mtDNA为模板,按红鳍东方鲀(Takifugu rubripes)mtDNA序列设计合成特异引物进行PCR扩增,首次克隆并测定了暗纹东方鲀mtDN
我国在发展生产的过程中,政府多次强调安全生产、安全发展的理念,但是在实践中瓦斯爆炸、矿难事故仍然此起彼伏。这些血淋淋的事故,损失巨大。痛定思痛之余,我们应该认真反思
为加强机房运维管理,要以完善的运维服务制度、流程为基础,以先进的、成熟的运维管理平台为手段,以高素质的运维服务队伍为保障,构建机房综合运维管理体系。整合运维服务资源
恢复生态学是在生态学基础上衍生的一个新兴学科,利用恢复生态学技术可以解决环境退化和污染的问题。恢复生态学技术的应用与人类的生产、生活息息相关。本文概述恢复生态学