一种新的（A，x，y）知识的零知识证明协议

基于线性假设下的Cramer-shoup加密方案和SDH假设,提出一种新的（A,x,y）知识的零知识证明协议。该协议比文献中SDH对（A,x）知识的零知识证明协议多了一个参数。     

一种SDH对(A,b)的新的零知识证明协议

该文基于DBDH假设下的TOO/BB-E加密和SDH假设,提出一种新的SDH对的零知识证明协议。该协议比文献[1]安全性更强。     

一种基于零知识证明的互联网密钥交换协议

IKE协议由于交换过程及密钥交换过程复杂,容易受到多种攻击。在分析其弱点的基础上,利用零知识证明的基本思想,提出了一种新的协议。该协议在减小系统消耗代价的同时,能够有效抵抗MITM（Man-In-The-Middle）,暴力破解攻击等。方案适用于对数据的安全性要求较高的用户。     

基于自证明公钥和零知识证明的身份认证协议

在分析几种典型零知识身份认证协议的基础上,利用Girault自证明公钥原理、结合椭圆曲线公钥密码的优点提出一种基于自证明公钥和零知识证明的身份认证协议,并为协议增加了密钥协商功能。分析表明该方案具有较高的安全性,与同类方案相比,该方案对存储空间、网络通信量和计算开销的要求较低,有较高的效率。     

一种零知识证明的群签名方案

在群签名方案中,群中任意成员可以代表整个群生成签名,在验证者仅需要知道签名的存在性时,群管理员必须参加验证,群签名通过群公钥公开验证。论文提出了一种可用零知识证明的群签名方案,签名者不直接提供对信息m的签名,而是提供一个零知识证明他或她拥有对该信息的数字签名,这对防止签名的任意传播起到了很好的保护作用。     

可记忆交互式证明、零知识证明系统

交互式证明和零知识证明是现代密码学中非常重要的两个概念。自从它们被提出以来，在国际上受到了广泛的关注，许多学者投入到了这一领域的研究当中。同时，有越来越多的关于零知识的密码协议用于实际的电子商务及加密系统中。在我们的文章中，我们首先对图不同构问题的交互式证明和零知识证明两个协议进行了考察，并且发现两者在构造以及应用上都存在着本质的区别：前     

一种基于ELGamal签名和零知识证明的身份认证方案

身份认证是网络安全技术的一个重要组成部分。本文根据一种改进的ELGamal签名方案和零知识证明思想．提出一种高效的用户认证方案。该方案不仅具有较低的计算复杂度．而且具有很高的安全性。     

一种基于椭圆曲线密码算法的零知识证明体制

本文结合零知识证明与椭圆曲线密码体制二者的特点,提出了一种新的零知识证明体制,它与安全性基于一般大数分解问题的零知识证明体制相比,在安全性,计算量及通信量等方面具有更大的优势。     

关于图的非同构问题零知识交互证明协议

对于图的非同构问题，设计一种交互式零知识的证明协议，许多文章都有讨论，但都是不完善的，本文给出了一个完整的关于图的非同构零知识交互证明协议．     

基于混沌映射的交互式零知识证明身份认证协议

该文根据混沌系统中的logistic映射方程,首先构造了一种生成混沌序列的算法,并分析了算法的不可逆性。然后给出了基于该算法的身份认证的协议。在认证过程中,只需要一次证明,就可以满足的安全性要求。最后指出了此协议为一个满足零知识交互式证明的协议。     

随机归约的五步完美零知识证明系统*

构造了一个完美零知识的五步交互证明系统,该系统不依赖于任何(复杂性和计算能力)假设, 在该系统中,证明者可具有有限或无限的计算能力.     

基于零知识证明的安全认证方案

为满足无线传感器网络的安全认证需求,针对传统认证方案中可能遭受的重放、中间人攻击的问题,提出了一种基于零知识证明的安全认证方案。网络中的合法节点与请求认证的节点间运行零知识证明协议,根据请求者的回答来验证请求节点的身份。分析表明,敌手无法从认证中获取关于秘密的信息,方案可以抵抗重放,中间人和节点间的合谋攻击,在能耗上也较小,适合资源受限的无线传感器网络。     

基于零知识证明的跨域认证方案

针对基于PKI认证的有线网络与基于IBE认证的无线网络混合组网时,因安全策略、密码体制的不同而导致节点间身份认证困难的问题,设计了一种基于零知识证明的跨PKI/IBE域的身份认证方案,在两个异构信任域之间设置一个零知识证明承诺值代理节点,在此基础上,设计了一个异构信任域身份认证协议,实现域间实体的身份认证,并分析了该协议的正确性、安全性和效率,结果表明其可行有效.     

零知识数字水印检测协议研究

1 引言数字媒体(数字图像、数字视频、数字音频等)的版权保护已成为一个迫切需要解决的问题。传统的加密系统在数据传输过程中虽有保护作用,但数据一旦被接收并解密,其保护作用也随着消失,因此只能满足有限的要求。近几年来发展起来的数字水印技术作为多媒体信息安全问题的一种解决方案已引起了人们的极大关注,它是在数字信息产品(如图像、声音、视频等)中通过某种算法嵌入不可感知的标记信息(即水印)。数字水印技术在数字知识产权保护、     

纯公钥模型下对NP语言的高效并发零知识证明系统

提出了一种从3轮公开掷币的对任何NP语言的诚实验证者零知识证明系统到纯公钥模型下4轮(轮最优)对同一语言的具有并发合理性的并发零知识证明系统.该转化方法有如下优点:1)它只引起O(1)(常数个)额外的模指数运算,相比Di Crescenzo等人在ICALP05上提出的需要Θ(n)个额外的模指数运算的转化方法,该系统在效率上有着本质上的提高,而所需的困难性假设不变;2)在离散对数假设下,该转化方法产生一个完美零知识证明系统.注意到Di Crescenzo等人提出的系统只具有计算零知识性质.该转化方法依赖于一个特殊的对承诺中的离散对数的3轮诚实验证者零知识的证明系统.构造了两个基于不同承诺方案的只需要常数个模指数运算的系统,这种系统可能有着独立价值.     

零知识水印验证协议

在数字产品中嵌入数字水印,是对其进行版权保护的一种有力手段.近年来提出了不少数字水印方案,但是它们中大部分都是对称的,即用于水印嵌入和水印检测的密钥是相同的.而许多实际的应用都要求非对称的数字水印方案,即水印检测时所知道的秘密不足以修改、伪造或移去水印.对基于比特承诺和零知识证明的水印验证协议进行了研究.所有权证明者采用基于扩频的对称水印技术,在宿主信号中嵌入水印;水印检测的密钥采用比特承诺的形式提交给验证者,通过证明者和验证者之间的交互协议,验证者可以提取到所嵌入的水印,但无法修改、伪造或移去水印.分别提出了验证一个和多个水印比特的协议,可应用于验证嵌入在图像、音频和视频数据中的扩频水印.     

三种基本零知识证明类型的实现方案探讨

文章对现已发表的离散对数、破译RSA的能力和持有某个文件这三种基本的零知识证明方案进行了研讨,指出了其不足和错误之处。同时,笔者提出了自己的方案。     

一个基于知识证明签名的安全电子拍卖协议

论文研究了英式电子拍卖协议,基于知识证明签名给出一个安全有效的电子拍卖协议。该协议实现了竞拍者身份的匿名性、获胜竞拍者的不可否认性、可公开验证性、竞拍者不可伪装性、可跟踪同一拍卖中某竞拍者的投标以及某个竞拍者在不同拍卖中不可关联性等问题。论文的工作重点是引入了可信第三方并利用知识证明签名来解决其它协议中撤消竞拍者的问题,可简单地撤消某个竞拍者并保证拍卖的高效率。另外,本文还给出了避免拍卖管理者的不公正性的改进协议。     

A New Correctness Criterion for Cyclic Proof Nets

We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).