安全性证明相关论文
为确保通信双方的信息安全,很多认证与密钥协商(AKA)协议被提出并应用于实际场景中.然而现有三因子协议都存在安全漏洞,如易受智能......
本文将马尔可夫链作为模型，解决了SPN型分组密码差分分析中差分扩散率的计算问题和RSA-OAEP体制IND-CCA安全性证明中仿真程序错误概......
2000年Cramer和Shoup提出了一个在强RSA假设下,可以抵御适应性选择消息攻击的签名方案,并且此方案的安全性证明不依赖于随机预言机......
据英国广播公司报道,从10月30日开始,欧盟将改变有关草药管理规定,要求制药商今后必须提供产品安全性的证明,保证产品质量标准一......
围绕可证明安全公钥密码方案的设计与分析这一主题，本报告主要包括以下几个方面的内容:
1.在一般签名方案基础上提出指定条件......
随着互联网技术的爆炸式发展,在线交易渐渐成为日常生活中越来越受重视的商品交换方式。确保参与者之间交易的公平性是保证电子支......
目前使用的一些安全协议虽说看起来是安全的,但仍存在一些潜在的攻击。本文分析了一些针对安全协议的攻击方式,并论述了产生攻击的......
近期,淮安市不少制鞋企业在接到出口欧盟订单时,常有安全性要求,其中有的企业还因无法提供面料的某种安全性证明,而失去满意价格的......
考虑到很多门限签名方案都不抵抗恶意PKG攻击的事实,本文提出了一个无可信中心下基于身份的门限签名方案,避免了该类型攻击.在该方......
公开密钥密码体制把加密和解密的功能区分开来,使得1)许多人能以这样的方式加密信息,使其只有一个人可以阅读;或2)一个人能以这样......
首先将基于门限结构的彼得森可验证秘密共享方案(Pedersen-VSS)转换成可以抵抗一般结构敌手攻击的方案(Pedersen-VSS-General).指......
在随机谕示模型下,研究一类基于身份的签名体制(称为基于身份的一般签名体制)的安全性.所得理论成果可以被看作Pointcheval和Stern......
分析了无线局域网架构的非对称性,提出了一种匿名的非对称认证方案,同时给出了安全性证明.基于累加器,通过在认证服务器和移动终端......
采用双线性对原理,提出无需随机预言模型下可证明安全的基于身份门限的解密方案,解决了当前基于身份门限解密方案需要依赖随机预言......
考虑定义在模数N的剩余类环上的矩阵所构成的矩阵环上的求根问题的困难性,本文设计了一个数字签名算法,证明了攻击者能够成功伪造......
鉴于基于身份加密方案(IBE方案)存在密钥托管问题,2007年Goyal创造性的提出了一种新的方法,即第三方权力受约束的基于身份加密方案......
Provable security has become a popular approach for analyzing the security of cryptographic protocols.However,writing an......
由于随机预言模型实现过程存在安全缺陷,提出一种标准模型下基于身份的安全盲签名方案.方案中首先定义基于身份盲签名的安全模型;......
为确保协议的安全性,提出了一种标准模型下可证安全的口令认证密钥交换协议。利用无证书密钥封装机制来传递口令等用户身份验证信......
以基于RSA体制的盲签名方案为讨论对象,将数字签名方案中的强不可伪造性引进到一般的盲签名中,给出了强盲签名方案的定义,并采用游......
为了研究XOR消息认证码(XOR-MAC)的结构,从泛Hash函数和伪随机函数的视角,使用共享随机函数模型对其进行了分析.将XOR-MAC拆分为伪......
分析了一个在格理论框架下构建的基于身份的代理签名方案,指出方案的安全性证明存在缺陷,并没有实现其所声称的签名不可伪造性的证......
代理签名可以让原始签名者把他的签名权委托给代理签名者,然后代理签名者就可以代表原始签名者对消息签名.本文重新给出了代理签名......
作为目前量子物理区域研究的重点及热点,量子通信已然受到人们的极大关注。量子通信是一种新兴的通信方式,它是利用量子之间的相互......
对新近侯红霞等人发表在《山东大学学报》(理学版)的无证书聚合签名方案进行了分析,给出了两种攻击方法,在这种攻击方式下,KGC具有......
针对已有的基于计算Diffle-Hellman问题提出的无证书聚合签名方案构造了三种伪造攻击算法,攻击显示恶意但被动或者诚实但好奇的密......
随着信息技术的迅速发展,信息安全已经成为一个重要课题。保护公开信道上传输的信息不受攻击要借助信息安全的核心技术—密码学技......
随着第三次科技革命的兴起，网络时代来临，以互联网为代表的新兴媒体正在逐步代替收音机、报纸、电视等传统媒体；手机、电脑等通讯工具......
随着网络科技的推动,经济全球化的深度变革,互联网空间竞争越来越尖锐复杂。同时,随着移动互联网、物联网、云计算等以大数据模式......
门限签名是一种特殊的数字签名，它在现实生活中具有广泛的用途。一个(t,n)门限签名方案是指n个成员组成的群中，群中任何不少于t个成......
量子通信就是用量子纠缠效应进行信息传递的新型通信方式,鉴于此,本文首先对量子通信的概念进行介绍,然后对量子通信实用化现状及......
利用分叉引理对签名体制进行证明,是进行签名体制安全性证明的一种重要方法。Pointcheval和Stern首次给出了签名体制安全性证明的......
椭圆曲线数字签名算法(ECDSA)是区块链密码学技术中常见的数字签名之一,其在加密货币、密钥身份认证等方面已被广泛应用。然而当前......
2004年，Boneh等利用匿名的基于身份加密方案构造了一个公钥可搜索加密方案（PEKS），解决了特定环境下对加密数据进行检索的这一困难工作......
2004年，Boneh等人利用匿名的基于身份的加密方案构造了一个公钥可搜索加密方案（PEKS），解决了特定环境下对加密数据进行检索的这一困难......
针对撤销成员的群签名中如何降低群成员的计算量、缩短签名长度等问题,提出了一种新型的撤销成员的无加密短群签名方案,并证明了其......
将马尔可夫链作为模型,解决了SPN型分组密码差分分析中差分扩散率的计算问题和RSA-OAEP体制IND-CCA安全性证明中仿真程序错误概率......
在UC模型（通用可组合安全分析模型）中密码协议安全性证明的难点是模拟器的构造，而目前模拟器的构造没有通用有效的方法可循，针对这一问......
证明了在分解整数困难的前提下，2^m次根方案在同步攻击下是安全的．...
在当今这个互联网高度发达的时代,保密通信扮演着越来越重要的角色,而量子通信在理论上具有无条件的安全性。该文首先对量子密码技......
利用ECDSA和Schnorr签名的理念,提出了无需双线性对的无证书签名新方案,在ECDLP和随机预言机模型下,证明了新方案的安全性。把新方......
