标准模型下可证安全的签密方案研究

来源 :哈尔滨理工大学 | 被引量 : 0次 | 上传用户:bitdefender2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在如今的社会中,人们通常需要网络来传递各种各样的有用信息,这样就致使大量的信息充斥在网络中,也给很多不法分子提供了丰富的食料。由此引出了密码学技术,而加密技术和数字签名是非常重要的密码学技术。因为加密技术能够保证信息在传递过程中防止任何非法者从密文中获取明文消息。而数字签名技术能够使接收者知道哪个才是真正的信息发送者。签密技术是一个新的密码学技术,它将数字签名和加密技术结合起来,而且将这两个技术结合的算法也很简单,同时算法的效率也非常可观。签密技术能够广泛的应用在各种需要安全信息传递的领域中。在公钥密码学中需要一种可证安全理论来证实提出的方案是安全的,因此可证安全理论也是当今社会研究的热点之一。现如今,很多签密算法都是在随机预言机下证明是安全的,需要研究在标准模型下的可证明是安全的签密方案。本文研究了三种签密方案,包括基于身份的签密方案、多方参与的基于身份的签密方案和无证书密码环境下签密方案,并且这些方案都在标准模型下证明是安全的。研究成果包括:设计了一个基于身份公钥密码环境中的签密方案,并且在标准模型下证明其是安全的;提出了一种在无预言机模型下证明是安全的基于身份的具有多个签密者的签密方案,该方案通过减少双线性对的方式提高了算法执行效率;研究了无证书公钥密码环境中的签密方案,给出了一种更高效的在标准模型下无证书的签密方案,并给出了更完善了安全性证明。前两个方案的安全性可归约为DBDH和CDH问题假设,最后一个方案的安全性可归约为q-ABDHE和q-SDH问题假设。
其他文献
随着可信计算的飞速发展,终端的安全从开机的BIOS启动到操作系统的可信已经无法满足实现的需要。面对大量的应用程序不安全因素,同时考虑到操作系统的多任务运行环境,应用程
在我国,中压配电网大多采用的是中性点非有效接地的方式也就是小电流接地方式。由于接地电流微弱,加上中压配电网接线复杂,分支众多,其单相接地故障定位成为一直以来尚未得到很好解决的难题。在小电流接地运行方式下发生单相接地故障时,故障相与非故障相的对地电压分别降低和升高导致系统相电压变得不对称,但线电压依然对称,所以系统虽存在故障但是仍能运行1-2小时,不过如果此故障持续长时间,就可能会引起PT爆炸、绝缘
人们在社会网络中的关系和活动可以被别人所了解和共享,在社会网络中的快速增长的服务和应用的数量带来的隐私泄露的问题不容忽视。由于图中的数据拥有非常丰富的信息,对比于传
随着数据库的广泛应用,人们所积累的数据量在急剧增加,如何从大量的数据中提取有用的知识,就成为当务之急。在这种情况下,人们引入了数据挖掘的思想,通过它可以预测未来的趋
随着计算机体系结构的发展,为顺应人们对高性能处理器的迫切需求,同时多线程处理器应运而生,成为目前主流的微处理器结构。针对同时多线程处理器的各项研究变得十分活跃,同时多线
步入工业革命以后,社会经济的发展,使得对矿产资源的需求越来越大。获取矿产资源的同时,所带来的负面问题也随之增多,其中环境问题较为显著。矿产的过度开采,并没有做好对环
报表设计工具是一种可以根据用户需求,通过拖拽操作灵活地添加表格元素的工具。它不仅具有操作简单的报表设计功能,同时还具有复杂的数据导入、处理、计算等功能。也支持用户对
随着大规模集成电路技术的发展和现代嵌入式系统发展的需要,以FPGA为代表的可重构硬件被越来越多的嵌入式系统采用。由于可重构硬件兼具ASIC的计算速度和微处理器的灵活性,所以
AUTOSAR标准在2003年由全球知名整车厂商、制造商、零部件供应商和工具开发商等联合提出,致力于标准化系统软件的开发流程、降低软件对底层硬件平台的依赖性并提高软件的可移
随着计算机技术的不断发展,信息检索系统日渐成为人们获取信息的一种必不可少的工具。然而目前的检索系统,由于返回结果排序质量较低并与用户期望的结果排序间存在着一定的偏差