标准模型下可证明安全的IBE方案及其应用研究

来源 :黑龙江大学 | 被引量 : 0次 | 上传用户:lw3202004012
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于身份的加密(IBE)体制是由Shamir在1984年提出的,它采用一个任意的且能够唯一标识用户身份的信息作为用户的公钥,而私钥则由可信的第三方PKG生成,这样就解决了传统公钥密码体制中复杂的证书管理问题.在这一思想的指引下,学者们提出了大量的IBE方案,其中大部分是在随机预言机(RO)模型下可证明安全的,然而有学者举例指出,一些在RO模型下安全的IBE方案在实际的应用中却并不一定安全,所以不借助于RO模型,即在标准模型下,设计出可证明安全的IBE方案成为一个研究热点.本文围绕IBE密码体制进行研究,特别是标准模型下IBE方案的设计与分析,侧重于方案安全模型的建立和形式化的安全性证明,并且对基于IBE体制的应用进行了研究,得到的主要成果如下:1.本文通过对大量典型的IBE方案进行分析,在Waters-IBE方案的基础上进行了改进,提出一个新的IBE方案,它实现了标准模型下基于判定性双线性Dife-Hellman假设的适应性选择密文安全,与同类IBE方案相比,该方案具有较好的实用性.2.针对传统投票活动中人力财力消耗巨大、选票存在安全隐患等问题,本文给出了一个基于IBE的电子投票方案,并在完整性、健壮性等七个方面进行了分析.由于将IBE体制引入其中,它也解决了目前已有的电子投票方案中对选民身份认证困难的问题.3.提出一种高效的基于IBE的安全电子邮件解决方案,区别于其它方案,在该方案中增加了对收信人的认证过程,降低了对安全传输信道的要求,并且由于IBE的引入,解决了复杂的证书管理问题.
其他文献
本文将介绍一个用刷子逐点清理一个网络的问题,我们将其转化为清理图的问题。首先清理一个顶点是指把该顶点清扫的同时将其所有被污染的邻边都恰好用一个刷子清理,且已经被清理
本文章考虑带有马氏链由α稳定过程驱动随机微分方程的遍历性.在全变差距离下,利用Lyapunov函数的方法,通过M矩阵与马氏链的平稳分布等相关知识得到上述随机微分方程遍历性的充
  1984年,著名学者N.Karmarkar提出了第一个具有实用性的多项式内点算法(势函数投影变换法).此后20多年,在国内外众多优化专家学者的共同努力下,内点算法的研究取得了丰硕的成
  本文主要应用非线性动态系统线性参数化的方法,研究具有未知非线性动态的多智能体复杂网络高阶系统的自适应同步与控制问题. 考虑到不同的网络拓扑(固定拓扑或切换拓扑)结
数字图像处理技术的飞速发展和图形/图像处理软件(Photoshop,美图秀秀等)的广泛应用是一把“双刃剑”,在给人们带来便利的同时,也使图像内容的编辑、修改甚至伪造变得非常容
在本文中,我们考虑以下非线性Schr(o)dinger方程-ε2△u+u=Q(x)|u|p-2u,x∈RN,u∈H1(RN),其中ε是一个很小的正参数,N≥2,当N=2时,2<p<∞;当N≥3时,2<p<2N/N-2.我们证明:当ε充分小以及Q(
离散时间单生过程是一类重要的马尔可夫过程(简称马氏过程),常被用于实际问题的建模,也被用于研究更为复杂的马氏过程,因此对单生过程的研究具有实际和理论意义。  本文主要内容
当今,随着数字信息处理能力的提高,人们能够以非常简便的方式获取数字信息。由于智能手机、摄像头等数字设备的广泛使用,越来越多的图片和视频都是由普通用户制作、编辑的,并