时间控制加密技术的安全性增强研究

来源 :河南大学 | 被引量 : 0次 | 上传用户:IDYLL123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
时间控制加密(TRE)技术是一项由发送者指定接收者在未来时间解密的密码原语。TRE结合其他密码技术适用于许多场景,比如:电子医疗档案的存储与访问、在线投标、网络投票、影视剧的播放等,在现实生活中将扮演必不可少的角色。针对TRE目前存在的安全性问题,本文从TRE技术最新进展研究入手,开展保护时间服务器私钥增强TRE安全性研究和任意时间解密安全性增强研究,具体所做工作如下:(1)TRE技术最新进展研究。本文首先概述自TRE出现以来的研究历史,对2015年至2018年提出的TRE方案进行研究概括;其次分别简述了构造TRE的三种基本方法:数学、物理和网络方法;最后根据TRE加密模型的不同构造方式,分别从有无时间服务器角度进行深入分类,并简略地介绍了每一类模型下的优缺点以及已构造的方案。(2)保护时间服务器私钥增强TRE安全性研究。本文设计了基于随机预言机模型的时间释放加密安全增强方案。本文设计的方案中,时间服务器将提前生成的随机数按照生成时间的先后顺序进行保密存储。时间服务器若要生成时间点T的时间陷门,需要选择与T的时间顺序位置相对应的随机数与时间服务器私钥来共同生成,实现了关于时间陷门的一次一密,极大地增强了TRE的安全性。本文给出该方案的具体构造和一般化构造。具体构造方案中详细的描述了方案的构造过程,并给出了安全性证明,与已有的基于随机预言机模型的最高效方案相比,该方案的时间效率提高为24%。一般化构造方案中,对方案进行了形式化定义、通用构造以及简单的安全分析。(3)任意时间解密安全性增强研究。利用云的强大计算能力,本文设计了一个通过时间服务器与云服务器共同实现的ATRE方案,该方案的安全性基于随机预言机模型下的BDH问题和标准模型下的q-DBDHI问题。在实现任意时间解密的前提下,该方案不仅能够阻止云服务器与攻击者勾结后过早的提前解密密文,而且可以抵抗拒绝服务攻击。本文给出ATRE方案的模型和具体方案,方案模型中描述了该方案的形式化定义和基于q-DBDHI问题的安全游戏模型;具体方案中给出该方案的详细构造过程,并主要地给出方案解决q-DBDHI问题的安全性证明过程。
其他文献
全球范围内,由于气候条件不同,每年的降水量不同,年内降水量也往往集中在少数月份,供需出现矛盾,因此修建水利工程意义重大。水利可行性研究报告旨在分析工程进行所具备的条
光伏发电功率预测可用于电网调度、故障检测等方面,是光伏电站并网的关键技术之一。本文以研究光伏发电功率预测模型为主线,将目前流行的机器学习技术应用到光伏发电数据的建
草坪是城市绿化中不可缺少的部分,目前割草机缺乏智能化。随着人工智能的发展,基于视觉的移动机器人导航成了热点问题。本文主要研究基于数字图像处理的草坪场景障碍物的识别
可见光通信(Visible Light Communications,VLC)技术随着发光二极管(Light Emitting Diode,LED)在实际生活中广泛应用开始迅速发展。因为通信技术和照明相结合,VLC被认为是未
轴承是工业机器人上的重要零部件,轴承的寿命影响着机器设备的性能以及可靠性。随着现代工业技术的高速发展,对关键零部件轴承的性能提出了越来越高的要求,而高精度、耐腐蚀
在医学检测中,一般利用染色体图像自动分析系统对染色体显微图像进行处理和分析,协助检测人员进行相关病情的诊断。针对当前多数染色体分析系统在分割和提取染色体时存在自动
现代市场经济是信用经济,成熟的信用社会支撑完善的市场经济,企业信用是社会信用中最关键、最活跃、最具影响力的部分。有效、准确、便利的进行企业信用评价是学界一直关注的
基督教在景颇族地区的传播,是一个与景颇族文化相互碰撞交流的过程,即本色化的过程。本文欲以瑞丽市勐卯镇勐力新村景颇族为研究对象,通过对他们宗教生活的观察,来探讨基督教在该地区的本色化实践。在分析文献和实地考察的基础上,本文重点选取了20位信徒进行深入访谈和民族志记录,希望对整个勐力新村景颇族群体基督教信仰及其生活展开分析。本文应用功能理论与跨文化适应理论来指导分析该村景颇族人的信仰动因、社会交往方式
随着世界各国军事实力的提升和作战环境的复杂化,红外探测系统被广泛地应用在精确制导、航空航天等军事和民用领域中。由于需要尽可能提高检测距离,提早发现运动目标,原始图像中目标辐射能量往往非常弱,并且呈点状,缺乏纹理信息。同时,复杂地面背景的干扰使得目标极易被淹没。基于这些客观因素,复杂地背景下的红外弱小目标的检测和识别是当前研究的热点和难点问题。论文针对复杂地背景弱小目标、背景、噪声的特性分析,建立了
本文研究了一类具时滞的四元数值细胞神经网络的Sp-概自守解.首先,利用Ba-nach不动点定理和线性微分方程的指数二分性,证明了所讨论的系统存在唯一的Sp-概自守解.其次,利用反