基于Clifford半群上共轭搜索问题的密钥建立协议

本文采用更广泛的半群作为平台,推广了Iris Anshel等提出的代数密钥建立协议模型。在定义了Clifford半群上的多重同时共轭搜索问题(MSCSP)后,给出了基于此问题的密钥建立协议。在理论上证明了若Clifford半群上的多重同时共轭搜索问题(MSCSP)是困难的,那么可以利用MSCSP来构造密钥建立协议,从而说明利用半群作为平台构建密钥建立协议是可能的。本文也提供了一种新的利用辫群的思路,即考虑利用辫群上的强半格(许多辫群按照一定规则形成的无交并)构成的Clifford半群来构建密码协议,以弥补单个辫群可能存在的安全缺陷。

辫群上的扭结共轭搜索问题和密码体制研究

通过分析辫群的相关性质及群上的判定问题,结合扭结共轭问题、子群成员判断问题及根搜索问题,提出一种辫群上的公钥加密协议和签名协议,对两者的安全性进行分析,证明敌手无法从公钥中恢复密钥,因此协议可以抵抗长度攻击、惟密钥攻击、一般选择消息攻击、定向选择消息攻击和适应性选择消息攻击。

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

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

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

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

辫群上的可转换认证加密方案

量子计算的快速发展给目前的公钥密码体制带来严重威胁,非交换的辫群为构造安全密码协议提供了新平台。基于辫群上共轭搜索问题和多重共轭搜索问题的难解性,提出一个可转换认证加密方案,只有指定的接收者才能恢复认证的原始消息;当发送者否认签名时,接收者不需要发送方的参与即可将收到的签名转换为一般签名,并向第三方证明发送者的不诚实。与基于交换代数的方案相比,该方案在抗量子攻击上更有优势。

基于辫子群的密码体制研究及进展

综述了基于辫子群的密码体制的研究成果和发展状况:介绍了现有的基于辫子群的一些密码体制,包括密钥交换协议,加密—解密方案和身分认证方案,同时也概述了相关的密码分析方法,如解共轭问题、基于长度和线性表示的攻击等。指出了目前基于辫子群的密码体制所存在的问题,并对其研究前景进行了展望。

辫群上代理签名体制的分析与设计

为了研究抵抗量子分析的密码体制,对两种辫群上的代理签名体制进行分析,指出其不能抵抗已知签名的存在性伪造攻击;基于匹配共轭搜索问题的难解性构造了新的代理签名体制。分析表明该体制满足代理签名的各种安全需求,且计算效率高、签名长度短。

基于辫群的代理盲签名方案

由Shor等人构造的量子算法可以在多项式时间内解决传统三大难解问题而利用辫群构造的很多数学困难问题,在量子计算机条件下均无有效的解法,辫群是一种适合构造抵抗量子密码分析的计算平台。利用左右子群元素的可交换性,基于CSP问题、SCSP问题和p次方根问题的难解性,提出了一个新的代理盲签名方案,并通过方案分析验证了该方案的有效性和可行性。

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

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

基于辫子群的不经意传输协议

分析指出现有辫子群上的不经意传输协议通过辫元的指数形式隐藏接收者的选择信息进而保证其隐私性,辫元指数形式的存在导致该协议计算效率较低。基于辫子群上同时共轭搜索问题和分解问题的难解性,提出了一个N取M不经意传输协议,当M=1时对应协议比现有协议的计算效率更高。

基于非交换代数结构的公钥密码体制

提出了一个新的基于非交换代数结构的Diffie-Hellman密钥交换协议,并在此基础上建立了一个新的公钥密码体制.它的安全性取决于一个基本问题的困难性,而这个基本问题是共轭搜索问题和Diffie-Hellman问题的结合变形问题.最后将提出的体制应用到数字签名方案中,并给出一个类似于ElGamal的签名方案.

基于辫群的签名方案研究

辫群是构造抗量子攻击密码方案的新平台。本文对一个基于辫群上求根问题的签名方案进行分析,指出该方案是不安全的,得到签名的任何人都能计算出签名人的私钥;利用共轭搜索问题的难解性来隐藏用户的密钥信息,构造出新的签名方案,分析表明该方案是可证明安全的。