基于比特承诺通道的零知识证明

给出了比特承诺通道的含义,实现了将比特承诺形式化,并证明了采用比特承诺通道可以实现零知识证明,归纳了实现比特承诺通道的4个方案,提出了基于比特承诺通道实现零知识证明的算法,最后给出了它的一个应用实例.

基于比特承诺的电子彩票方案

随着电子商务的日益成熟 ,电子彩票也将是人们生活中不可缺少的商务活动 .本文给出了一种基于比特承诺的电子彩票发行方案———有可信方参与的“在线”方案 ,此方案克服了已有方案对时间要求苛刻的缺陷 ,与现有的结果相比 。

一种有效的比特承诺方案

本文给出了一种基于子集和问题的比特承诺方案 ,该方案的优点是接受者Bob不需要向承诺者Alice发送任何消息 ,其安全性是基于子集和问题的困难性。此方案的另一个优点是 :它对承诺一个bit或承诺多个bit都是有效的。

一种基于比特承诺的部分盲签名方案

本文讨论了部分盲签名的概念。并提出了一种基于比特承诺的部分盲签名方案。该方案主要用于提高离线电子现金系统的效率。在基于离散对数假设的前提下 。

一种安全的比特承诺方案

在分析了文献[1]中给出的基于伪随机数的比特承诺方案的基础上,讨论了针对该承诺方案的一种中间篡改攻击方式,并对原方案进行了改进.在保持原方案安全性的基础上,改进后的比特承诺方案引入了单向Hash变换,通过认证机制确保数据在传输过程中免遭这种中间篡改攻击.

基于椭圆曲线的三方比特承诺

比特承诺是安全多方计算中最重要的基础协议之一,对构建更复杂的多方协议起着重要作用。该文提出了三方比特承诺模型,在该模型中,由两个证明者共同向一个验证者作出承诺。给出了基于椭圆曲线的三方比特承诺方案,经证明,尽管该方案完全基于经典计算环境,但是并不需要对协议参与方的计算能力作任何限制性假设,具有无条件安全性且对信道窃听免疫。该方案同时可以推广到比特串承诺协议。

基于比特承诺的计算安全量子密码协议

比特承诺是重要的密码学元素,在复杂密码协议设计(如:零知识证明)中扮演着重要角色·Mayers,Lo和Chau分别独立证明了所有无条件安全的量子比特承诺方案都是不安全的,即著名的Mayers-Lo-Chau不可行定理·但这并不排除存在计算安全的量子比特承诺·2000年,Dumais等人给出了一个基于计算假设的量子单向置换可以用于构造计算安全的比特承诺方案·利用纠错码的方法,把量子比特承诺扩展成量子多比特承诺方案,并证明了所给方案的隐蔽性质和约束性质·以比特承诺方案为基础,给出了量子数字签名和量子加密认证方案的设计方法,并给出了协议的安全性证明·

基于量子隐写术的计算安全比特承诺协议

在量子比特承诺协议中,目前流行的方案没有很好地解决信道噪声的影响,实用性不强。根据量子隐写术对信息的隐藏性,提出一种新的量子比特承诺协议。提出了利用量子信道噪声结合遮盖比特隐藏敏感信息,同时采用量子纠错码的方法克服信道噪声,有效地抵抗了第三方窃听攻击和噪声对信息的影响和破坏。通过理论分析与仿真证明该协议的绑定性和完善隐蔽性;理论证明了方案的有效性,为量子密码协议的推广应用提供了理论基础。

基于比特承诺的电子拍卖方案

在拍卖过程中如何保护投标者隐私和防止中标者反悔是设计安全电子拍卖系统的关键问题,也是目前网上拍卖系统急需解决的问题。文章利用伪随机数产生理论和比特承诺机制的优点,给出了一个实现随机标价的密封式电子拍卖方案。该方案除了满足投标者匿名、投标价保密、不可否认性、强可验证性等安全要求外,还具有技术简单、通信量小、随机标价、限时强迫兑现等优点。

基于比特承诺的视频安全责任认定方法

为了保证视频内容在公开网络中的安全传输和责任认定,在充分考虑视频编码和篡改特征的基础上,提供了一种视频特征提取方法,并对特征提取数据进行比特承诺。通过验证比特承诺数据来判断视频是否被篡改,以及确定篡改发生的区域;在发生非法视频传播时,发送方通过揭示承诺,实现责任认定。实验结果表明,该方法计算复杂度小,且具有良好的安全性和可靠性。

辫群上的非平衡比特承诺协议

为构造抗量子攻击的密码协议,以非交换的辫群为平台,基于求根问题的难解性提出了一个非平衡比特承诺协议。分析表明,协议具有绑定性和隐藏性,且协议执行过程不涉及共轭判断运算,在计算上比基于共轭搜索问题的比特承诺协议更有效。

对比特承诺不经意传输协议的研究

比特承诺不经意传输是不经意传输和比特承诺自然融合的一种密码学工具。它在Oblivious Circuit Evaluation、Mental Games、分布式计算以及电子交易等协议中有着重要的应用。以往的协议不仅构造复杂,而且效率不高。为了解决这一问题,基于两轮串不经意传输和异或比特承诺,本文提出了一种新的比特承诺不经意传输协议。该协议构造简单,与以前的同类型协议相比,提高了协议的执行效率,增强了协议的实用性;最后,讨论了协议的安全性和复杂度。

基于扭共轭搜索问题的有偏比特承诺

提出了基于扭共轭搜索问题的有偏比特承诺方案.(双)扭共轭搜索问题是指:已知G上的一对自同态(?),ψ及G中两元素w,t,找出s∈G,使得:t=ψ(s^(-1))w(?)(s).(假设至少存在一个这样的s.)给出了方案的正确性,安全性的证明,并且在一个具体的平台上讨论了密钥空间,参数设置,并且给出了安全性分析.

基于比特承诺的无可信第三方的电子彩票方案

基于比特承诺,给出了一种无需可信第三方的电子彩票方案。该方案不要求购买者在线,不对购买者的计算能力做出苛刻限制,不要求可信第三方参与。该方案具有不可伪造性,公平性,公开验证性等特点。该方案还与传统彩票有良好的兼容性。

基于扭共轭搜索问题的比特承诺

该文提出了一个新的基于扭共轭搜索问题的比特承诺方案,并且给出了方案的正确性、安全性的证明。扭共轭搜索问题比共轭搜索问题的优势是可以使基于长度的攻击变得无效,并且可以抵抗线性攻击。平台的选取是基于扭共轭问题的密码算法的安全性最关键的一点。最后在一个具体的平台上讨论了密钥空间、参数设置和安全性。

信息理论安全比特承诺

承诺方案是构造现代密码学中大部分协议的核心工具。给出了离散无记忆噪声信道模型中的一种带交互的比特承诺方案,引入哈希函数,从信息理论安全的角度介绍了比特承诺的速率和容量,并分析了方案的安全性能。

基于伪随机合成器的比特承诺

本文给出了两种可行的比特承诺方案:一种适应于承诺若干个比特,一种适应于承诺任意长度的消息。该方案的安全性是基于伪随机合成器的存在性,承诺者可以拥有无限的计算资源。其优点是对安全参数的要求较小。

基于比特承诺的可撤销匿名电子检举系统

一个安全的电子检举系统必须满足检举人身份匿名性的要求,保证检举人的隐私,同时在必要的情况下,检举系统也能够提供匿名的撤销。Qiu等提出了一种基于群签名的可撤销匿名的电子检举系统,提供了可撤销的匿名检举,并满足一序列安全性要求,但基于群签名的方案对于大量群成员存在着无法避免的效率问题。文中基于比特承诺协议,提出了一种可撤销匿名的检举方案。该方案在提供了举报过程中对于举报者身份的匿名性的同时,对于可能的恶意举报,在电子检举中心(EIC)和可信第三方(TTP)的协作下,能够撤销匿名,追查责任人。该方案可适用于不同规模的使用人群。

安全的两方协作SM2签名算法

在签名算法中,一旦签名私钥被窃取,敌手就可以随意伪造合法用户的签名,从而致使合法用户的权益受到侵害.为了降低签名私钥泄露的风险,本文提出了一种安全的两方协作SM2数字签名算法,该算法将签名私钥拆分成两个部分,分别交由两方来保管,通过采用零知识证明、比特承诺、同态加密等密码学技术保证了只有合法的通信双方才能安全地协作产生完整的SM2签名,任何一方都不能单独恢复出完整的签名私钥,方案的安全性在通用可组合安全框架下被证明,与已有的SM2协作签名方案相比,本文方案具有交互次数少、协作签名效率高等优势.

零知识水印验证协议

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