可证明安全性相关论文
该文对可证明安全性及其在公钥密码体制上的应用进行了研究.首先介绍了可证明安全性方法以及相关的知识;其次对公钥体制的各种安全......
可证明安全性理论是一个相对新的密码学子领域，其基本思想是：把安全协议的安全性归约到一些更基本的公认数学难题的求解。它的出现使......
随着信息技术的不断发展,安全越来越受得人们的关注。密码学的主要任务就是在不安全的环境下确保安全的通信,而密钥交换协议是一个......
路由是无线传感器网络的一项基本功能,针对路由的攻击可能会导致服务质量的降低或者彻底瘫痪。但近年来提出的各种传感器网络路由......
可证明思想起源于1984年Goldwasser和Micali等学者的开创性工作,他们提出了语义安全性定义,将可证明安全的思想首次带入安全协议的......
随着信息技术的高速发展,特别是计算机网络技术的广泛应用,信息安全显得越来越重要,已经成为国内外计算机和网络应用领域普遍关注......
无证书认证密钥交换解决在无证书环境下进行带认证的密钥协商问题,现有方案的设计引入较复杂的协议结构和冗余的计算以保证可证明......
随着人们对信息安全的重视，对认证加密算法的研究成为近年来密码学中一个非常重要的分支，基于分组密码的认证加密算法由于其具有软硬......
现有杂凑算法的压缩函数多是迭代型的，优点是速度快，缺点是难以进行安全性证明。在一些编码理论中计算困难问题假设下，基于纠错码的杂......
微软Office2007及其后续版本采用ECMA-376的文件加密格式,其安全性主要通过用户认证和文件加密实现,而密钥导出算法是整个安全机制......
对分组密码算法进行可证明安全性的工作存在一些争论。我们针对分组密码算法S盒设计的可证明安全性进行研究并提出:可证明安全性是......
公钥密码体制可证明安全性是目前密码学研究的热点重点之一,本文给出了公钥密码体制可证明安全性研究的最新进展,指出了几个重要的......
作为基本工作模式的OFB具有不可比拟的优势和特点,但也存在着非常大的缺陷。利用Gray码,改进OFB模式,并利用Game-playing技术,在所......
首先在分析基于口令的安全协议研究现状的基础上,提出了“弱计算不可分辨”概念,并以此为基础系统研究了基于口令的安全协议的理论......
作为基本工作模式OFB具有流密码的特点,它允许明文的分组单位长度小于分组密码的长度,从而可适应用户数据格式的需要。但当分组单......
摘 要：本文首先回顾了可证明安全性的发展过程，并在RO模型和标准模型下介绍了几个有代表性的可证明安全的数字签名方案，最后指出了有......
为了更简单准确地判断公钥加密方案的IND-CCA2安全性,提出了IND-CCA2安全性的灰盒分析法。该方法对解密服务产生的信息泄露进行了......
首次结合自认证公钥技术和盲签密思想,基于双线性对提出了一个新的使用自认证公钥的盲签密方案,并在随机预言机模型下给出了安全性......
为了全面清晰地描述可证明安全公钥加密体制的研究现状,从时间和核心技术两个角度对主流基础公钥加密体制可证明安全性研究进行了......
签密能够在一个合理的逻辑步骤内同时完成数字签名和加密两项功能。与实现信息保密性和认证性的先签名后加密方案相比,签密具有较......
首先提出了一种新的通用设计框架，可以把任何弱不可伪造签名转化为强不可伪造签名．然后．将这种方法用在Waters签名上，得出了一种在标准......
分析了基于密码技术RFID现有安全协议的缺陷,基于哈希签名算法提出了一种新的非对称认证方案,合理地运用在低成本RFID系统的接入认......
提出一种新的k-resilient公钥叛逆者追踪方案。方案的追踪方式为公开黑盒追踪。假设DDH问题为困难问题,则方案能被证明是自适应选......
从临时指数泄露这一新的假设出发,分析了eCK模型下临时指数泄露可能造成的安全隐患,提出了可抵抗临时指数泄露的新安全属性,建立了......
研究了RSA签密技术．基于Coron的通用填充方法，提出了一种使用RSA的混合签密方案RSA-HS．基于RSA问题的困难性假设，可以证明该方案在随机......
签密能高效地同时完成数据加密与认证,可用于设计紧凑的安全通信协议.签密中的仲裁机制用于保护签密的不可抵赖性,但同时用于仲裁......
在修改标准数字签名算法DSA的基础上，设计了一个新的具有前向保密性的签密方案，与此前的方案相比，新方案具有较高的通信效率，在假设CDH......
Laih提出了指定验证方的签名方案设计问题,并给出一种解决方案.首先分析指出该方案存在严重安全缺陷,然后提出了签名方案SV-EDL,解......
针对冯登国提出的"存在特权集的门限群签名"问题,旨在分析现有解决方案的安全缺陷并给出新的解决方案.首先基于有限域理论分析指出......
研究了扩散结构为二元域上非线性变换的异或分支数．给出了扩散结构为二元域上非线性变换的异或分支数的定义及其与分组密码抗差分攻......
无证书签密是能够同时提供无证书加密和无证书签名的一种非常重要的密码学原语．近年来，多个无证书签密方案相继被提出，并声称他们的方......
为了提高基于证书签名方案的效率和保证其不可伪造性,利用k双线Diffie-Hellman求逆问题的困难性和计算Diffie-Hellman问题的困难性......
随机预言模型与标准模型是密码学可证明安全理论中非常重要的两类模型。在此对这两种模型进行了描述，并研究了运用它们证明密码方案......
提出了一个新的同时具有密钥隔离和多重签名性质的方案。在该方案中，只要有一个签名者的密钥在一个时间片段内没有发生泄露，那么签名......
为在动态对等通信环境下提高群组密钥协商的高效性与可扩展性，提出一种将m叉树结构与DH协议有机结合的组密钥协商协议。该协议与TGD......
介绍基于对称密码系统的可证明安全理论,利用平方哈希函数实现技术,对一种可证明安全算法DFC实施改进后,安全性没有损失,但是速度......
利用GrayCodes对IGE模式进行了改进，得到一个新的工作模式，新模式与原模式相比具有可并行运算和预处理，加密长度可以是任意的，在适应性......
代理签名是一方将自己签名的能力授权给另一方，是一种很重要的密码协议，目前已知的可证明安全的代理签名还很少。该文利用间隙Diffie......
给出基于6阶系数属于GF(p)LFSR序列的公钥密码体制,称之为6LFSR体制,其安全性基于GF(p6)上离散对数的计算困难性. 6LFSR的参数和密......
并行密钥隔离签名方案通常允许2个协助器轮流帮助签名者进行临时私钥更新，然而当2个协助器密钥和任一临时私钥同时发生泄露时，伪造者......
针对属性基加密（attribute-based encryption,ABE）机制中边信道攻击下的密钥泄漏问题,现有的解决方案仅允许密钥的有界泄漏.将连续辅......
该文分析了曹晨磊等人（2014）提出的层次身份基认证密钥协商方案的安全性,指出该方案无法抵抗基本假冒攻击。文中具体描述了对该方案......
针对标准模型下抗适应性选择密文攻击语义安全的公钥加密方案存在的效率比较低或者所基于的计算假设比较强的问题．基于最近提出的α......
提出一种新的迹函数,将基于3阶LFSR序列的XTR公钥密码体制(称之为XTR3体制),改进为基于4阶LFSR序列的XTR4公钥密码体制。与XTR3体......
类型可修改的基于身份的代理重加密方案不仅具有传统代理重加密方案的核心功能，而且密文的拥有者可以随时修改密文的类型信息，能够满......
给出一个嵌套Feistel结构的SP型分组密码的模型及其抵抗差分密码分析和线性密码分析的可证明安全性,所获得的结果主要基于对SP型密......
为提高分组密码工作模式的性能,提出了1个基于电码本(ECB)模式的新方案. 此方案利用Gray码对消息块进行伪装,使得数据模式得到有效......
数字签名是一种以电子形式存储消息签名的方法，签名后的消息能够通过计算机网络来传输．尽管目前很多数字签名方案被提出，然而绝大部分......
基于超椭圆曲线密码提出了一类高效的前向安全签密方案,分析了计算性超椭圆曲线问题CHCP与判定性超椭圆曲线问题DHCP.证明了方案的......
