可证明安全的代理盲签名的研究

来源 :南京航空航天大学 | 被引量 : 0次 | 上传用户:HUZHAOHUA333
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
数字签名能够实现身份认证、数据完整性和不可否认性,在电子商务、网络安全通信等系统中发挥着重要的作用。随着人们对电子商务服务的需求越来越高,一些具有特殊性质的数字签名应运而生。代理盲签名作为一种特殊的数字签名,具有代理签名和盲签名的优点,在电子现金、电子投票等领域有着广阔的应用前景。目前大多数代理盲签名方案的安全性证明都是启发分析,没有形式化证明,并且没有考虑多一伪造攻击。另外,在大多数基于代理盲签名的电子现金系统中,电子现金的金额是不可见,而且大多数方案存在恶意用户能伪造跟踪信息的缺陷。因此,根据目前代理盲签名技术的研究现状,本文主要研究在随机预言机模型下的代理盲签名方案及其变种方案,包括代理部分盲签名方案。并针对基于代理盲签名的电子现金方案中存在的缺陷,提出了相应的解决方案。具体研究成果如下:1.针对代理盲签名的安全性需求,本文考虑了原始签名者存在性伪造、代理签名者存在性伪造和多一伪造,利用可证明安全理论,建立了详细的安全模型。提出一个基于双线性对的代理盲签名方案,并在随机预言机模型下,证明了其在选择消息/授权文件攻击下是不可伪造,其安全性可分别归约为计算Diffie-Hellman(Computational Diffie-Hellman,CDH)假设和选择目标CDH(Chosen-Target CDH)假设;由于较少的双线对运算,我们的方案具有较高的效率。2.针对代理盲签名在电子现金应用中存在的不足,提出了一个代理部分盲签名方案。根据Huang的代理签名的安全模型,提出了代理部分盲签名的安全模型,在随机预言机模型下,方案的安全性归约为CDH假设,同时分析此方案满足代理部分盲签名的其他安全需求。3.本文分析了Tan方案,指出该方案存在的缺陷。在所提的代理部分盲签名方案基础上,提出了一个新的电子现金方案。在提取协议中,将电子现金的金额嵌入到公共信息中,实现电子现金金额的可见性;为了防止恶意用户伪造跟踪信息,实现电子现金重复花费检测,用户必须利用知识签名来证明嵌入追踪信息的正确性。分析了方案满足不可重复花费性、不可伪造性、匿名性、实用性,解决了现阶段基于代理盲签名的电子现金所存在的问题。
其他文献
揭示生物分子数据隐含的生物信息是生物信息学的长远目标。生物分子数据之间存在着复杂的联系,数据中蕴含着丰富的生物学知识和生物学规律。本文主要研究的是用非线性理论方法
为了提高网络科技信息资源的利用率,降低信息资源管理的成本,本文将信息交换技术引入到全国科技信息服务网项目中,建立一个可对分布式异构数据源节点的资源进行有效共享的信息交
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,针对混成系统的形式化建模与验证是确保其正确性和可靠性的重要途径。混成系统不仅含有复杂的动态行为、时间
在几何造型和计算机动画领域,变形技术已经成为一种越来越重要的工具。通过变形技术可以模拟传统造型和计算机动画技术难以实现的变形效果。但是传统的自由变形算法或者控制
随着数字产品的普及,围绕数字产品的版权保护和安全问题,提出了一种新的数字产品版权保护新技术-数字水印(Digital Watermark)技术。本文对基于DWT和HVS的双彩色图像水印嵌入
高通量测序技术,RNA-Seq,是近年来用于转录组研究的一种新技术,相比于传统分析方法而言,RNA-Seq具有具有信噪比高、分辨率高、所需样本少等优势,然而这种技术在转录组分析中
随着Internet的迅猛发展,网民数量骤增,在线系统的用户人数也节节攀升,使得现有的系统设计捉襟见肘。首先,原有的系统设计和网络、硬件资源条件无法满足用户数不断上升的系统
概念格是从数据中进行概念发现的一种数学工具,它体现了概念之间的泛化和特化关系,并通过哈斯图表现出来,已在知识发现和数据挖掘等许多领域得到应用。例如,已有不少作者讨论了从
随着市场经济的发展,信息化、智能化技术的提高,供应链管理技术也得到了飞速的发展。物流过程是供应链管理过程的子过程,物流过程中的物件分配调度是供应链调度的一部分,同时也是
本文的目的是研究和改进具有量子行为的粒子群算法(Quantum-behaved Particle Swarm Optimization,简称QPSO)。群体智能算法是一种进化类算法,是解决优化问题特别是复杂系统