可证明安全性相关论文
本文研究了一类m分组不平衡Feistel模型在群运算为逐位模2加时的差分可证明安全性,为一类不平衡Feistel模型的分析和进一步应用提......
会议
设计分析标准模型下可证明安全的代理授权方案具有重要的理论意义与实用价值。分析了现有代理授权方案秘密信息泄漏、签名伪造等安......
当前广泛使用的迭代型分组密码一般为固定变换,不利于安全性."一次一密"乱码本方案具有完善保密性,但不具有实用性.为兼顾随机性和......
为了在构造多接收方签密方案时,既不牺牲安全性又可以节约通信和计算开销,首先将随机数重用的安全理论丰富到另一种常见情况,提出......
该文对可证明安全性及其在公钥密码体制上的应用进行了研究.首先介绍了可证明安全性方法以及相关的知识;其次对公钥体制的各种安全......
可证明安全性理论是一个相对新的密码学子领域，其基本思想是：把安全协议的安全性归约到一些更基本的公认数学难题的求解。它的出现使......
随着信息技术的不断发展,安全越来越受得人们的关注。密码学的主要任务就是在不安全的环境下确保安全的通信,而密钥交换协议是一个......
路由是无线传感器网络的一项基本功能,针对路由的攻击可能会导致服务质量的降低或者彻底瘫痪。但近年来提出的各种传感器网络路由......
可证明思想起源于1984年Goldwasser和Micali等学者的开创性工作,他们提出了语义安全性定义,将可证明安全的思想首次带入安全协议的......
研究了聚合签名技术,分析了基于RSA算法的顺序聚合签名体制的安全性,发现算法存在安全缺陷,为了克服原方案的安全缺陷,基于PSS(pro......
研究了密码学中的Catch22问题及其经典和量子密码解决方案,特别研究了量子密码解决方案。研究表明:经典密码学不能完全解决Catch 2......
公共可验证秘密共享方案在完成秘密分发后,管理者将会离开,新用户若想分享主秘密,需要k个原有用户承担管理者功能,给新用户分发秘......
给出一个嵌套Feistel结构的SP型分组密码的模型及其抵抗差分密码分析和线性密码分析的可证明安全性 ,所获得的结果主要基于对SP型......
非交换性和运算单一使得辫群密码方案的构造有着新的困难和特点。传统的辫群密码方案的设计思路是企图避开非交换性的障碍,这往往......
首先提出了一种新的通用设计框架,可以把任何弱不可伪造签名转化为强不可伪造签名.然后,将这种方法用在Waters签名上,得出了一种在......
对Ji-Yang签密方案进行了分析,指出一个仲裁者能利用持有的会话密钥伪造一个合法的签密,该方案不具备IND-CCA2安全性.针对Ji-Yang......
量子计算的发展给经典公钥密码系统的安全性构成了严重威胁,因此探索新的公钥密码平台、设计新的可抵抗量子攻击的密码方案成为信......
无证书认证密钥交换解决在无证书环境下进行带认证的密钥协商问题,现有方案的设计引入较复杂的协议结构和冗余的计算以保证可证明......
随着人们对信息安全的重视，对认证加密算法的研究成为近年来密码学中一个非常重要的分支，基于分组密码的认证加密算法由于其具有软硬......
现有杂凑算法的压缩函数多是迭代型的，优点是速度快，缺点是难以进行安全性证明。在一些编码理论中计算困难问题假设下，基于纠错码的杂......
自从1976年W.Diffie和M.Hellman首次提出了公钥密码系统，它便成了现代密码学的焦点。传统公钥算法由于量子算法的出现而受到威胁，急......
微软Office2007及其后续版本采用ECMA-376的文件加密格式,其安全性主要通过用户认证和文件加密实现,而密钥导出算法是整个安全机制......
对分组密码算法进行可证明安全性的工作存在一些争论。我们针对分组密码算法S盒设计的可证明安全性进行研究并提出:可证明安全性是......
公钥密码体制可证明安全性是目前密码学研究的热点重点之一,本文给出了公钥密码体制可证明安全性研究的最新进展,指出了几个重要的......
作为基本工作模式的OFB具有不可比拟的优势和特点,但也存在着非常大的缺陷。利用Gray码,改进OFB模式,并利用Game-playing技术,在所......
首先在分析基于口令的安全协议研究现状的基础上,提出了“弱计算不可分辨”概念,并以此为基础系统研究了基于口令的安全协议的理论......
通过云计算提供的委托计算服务能够为委托方节省大量的计算时间和计算成本,但如何保证委托计算的隐私性和可证明安全性是具有挑战......
作为基本工作模式OFB具有流密码的特点,它允许明文的分组单位长度小于分组密码的长度,从而可适应用户数据格式的需要。但当分组单......
摘 要：本文首先回顾了可证明安全性的发展过程，并在RO模型和标准模型下介绍了几个有代表性的可证明安全的数字签名方案，最后指出了有......
作为基本工作模式OFB具有流密码的特点，它允许明文的分组单位长度小于分组密码的长度，从而可适应用户数据格式的需要。但当分组单位......
为了更简单准确地判断公钥加密方案的IND-CCA2安全性,提出了IND-CCA2安全性的灰盒分析法。该方法对解密服务产生的信息泄露进行了......
首次结合自认证公钥技术和盲签密思想,基于双线性对提出了一个新的使用自认证公钥的盲签密方案,并在随机预言机模型下给出了安全性......
为了全面清晰地描述可证明安全公钥加密体制的研究现状,从时间和核心技术两个角度对主流基础公钥加密体制可证明安全性研究进行了......
签密能够在一个合理的逻辑步骤内同时完成数字签名和加密两项功能。与实现信息保密性和认证性的先签名后加密方案相比,签密具有较......
首先提出了一种新的通用设计框架，可以把任何弱不可伪造签名转化为强不可伪造签名．然后．将这种方法用在Waters签名上，得出了一种在标准......
分析了基于密码技术RFID现有安全协议的缺陷,基于哈希签名算法提出了一种新的非对称认证方案,合理地运用在低成本RFID系统的接入认......
提出一种新的k-resilient公钥叛逆者追踪方案。方案的追踪方式为公开黑盒追踪。假设DDH问题为困难问题,则方案能被证明是自适应选......
从临时指数泄露这一新的假设出发,分析了eCK模型下临时指数泄露可能造成的安全隐患,提出了可抵抗临时指数泄露的新安全属性,建立了......
研究了RSA签密技术．基于Coron的通用填充方法，提出了一种使用RSA的混合签密方案RSA-HS．基于RSA问题的困难性假设，可以证明该方案在随机......
签密能高效地同时完成数据加密与认证,可用于设计紧凑的安全通信协议.签密中的仲裁机制用于保护签密的不可抵赖性,但同时用于仲裁......
...
在修改标准数字签名算法DSA的基础上，设计了一个新的具有前向保密性的签密方案，与此前的方案相比，新方案具有较高的通信效率，在假设CDH......
Laih提出了指定验证方的签名方案设计问题,并给出一种解决方案.首先分析指出该方案存在严重安全缺陷,然后提出了签名方案SV-EDL,解......
针对冯登国提出的"存在特权集的门限群签名"问题,旨在分析现有解决方案的安全缺陷并给出新的解决方案.首先基于有限域理论分析指出......
针对用于移动通信的可证安全的双向认证密钥协商协议MAKAP给出了一种有效攻击，指出谊协议存在安全缺陷，它不能抵抗未知密钥共享攻击．......
