李宝 作品数:52 被引量:169 H指数:7 供职机构: 中国科学院 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 理学 机械工程 更多>>
非延展水银承诺方案(英文) 2007年 水银承诺方案是一般承诺方案的一种有趣变形.水银承诺方案中增加了soft解承诺阶段,soft解承诺阶段所公开的解承诺值不要求绑定性但是不能与真实的解承诺值冲突.讨论了多重非延展水银承诺方案.通常意义的非延展性是指敌手只允许存取一个承诺值,多重非延展性是指敌手可以存取任意数量的承诺值.已有结论说明多重非延展性是严格强于通常非延展性的安全性概念.采用多重非延展性的概念在于水银承诺方案本身固有的性质,给出多重非延展水银承诺方案的概念,以及基于多陷门水银承诺方案的一个具体构造. 徐海霞 李红达 李宝关键词:承诺 水银 选择解承诺方案 2007年 将抵抗选择解承诺攻击的承诺方案简称为选择解承诺方案,这种方案是通常意义下承诺方案复合的例子.本文给出选择解承诺方案在安全多方计算模型下基于模拟的安全性定义,并证明了新定义与原始定义是等价的.本文证明二义性承诺方案能够满足我们定义的安全性,进而可以构成安全的选择解承诺方案. 徐海霞 李宝关键词:二义性 安全多方计算 密码学 无信息泄漏的比较协议 被引量:58 2004年 关于安全多方计算的研究是目前国际密码学界的研究热点.如果能够安全地计算任何函数,就掌握了一个很强大的工具,实际上任何一个密码协议都可以化归一个特殊的安全多方计算协议.特殊的安全多方计算协议的设计与分析又是当前人们致力研究的课题.基于F-隐藏假设以及同态公钥加密体制的语义安全性假设,给出了一个特殊的安全双方计算协议棗无信息泄漏的比较相等协议.该协议具有公平性:一方知道最后结果的等价条件为另一方也知道这个结果;安全性:除了最后结果以外,不泄露有关双方输入的任何信息;有效性:借助于茫然第三方协助完成计算任务,使协议简单有效,但这个第三方不知道最后结果及参与方的秘密,也不能与参与方串谋作弊;并对协议的正确性与安全性进行了理论证明.该协议在网上投标(拍卖)、网上商业谈判、电子选举等领域中有着广阔的应用前景. 秦静 张振峰 冯登国 李宝关键词:安全多方计算 同态加密 公钥密码体制 标准模型下可否认的群密钥协商协议 在密钥协商协议中,可否认性足一个旨在保护协议参与方的隐私安全的属性。
目前国际上和国内有关可否认性的群密钥协商协议的研究,均基于Random Oracle假设,本文中作者第一次给出了一个标准模型下可证明安全和可... 张雅哲 徐海霞 李宝关键词:群密钥协商 抵抗一般结构敌手的自适应安全分布式密钥生成协议(英文) 被引量:1 2005年 首先将基于门限结构的彼得森可验证秘密共享方案(Pedersen-VSS)转换成可以抵抗一般结构敌手攻击的方案(Pedersen-VSS-General).指出R. Canetti等人在设计分布式密钥生成方案(DL-Key-Gen)时,关于零知识证明使用的一个错误,并给出一种改进方案.基于以上设计,提出一个可以抵御一般结构敌手攻击的自适应安全的分布式密钥生成方案,该方案的安全性不依赖于“擦除”假设.对于这个方案给出详细的基于黑盒模拟的安全性证明. 何云筱 李宝 吕克伟关键词:分布式密钥生成 自适应安全 可验证秘密共享 零知识证明 对客户到客户的口令认证密钥协商协议的密码分析和改进(英文) 被引量:1 2006年 大多数基于口令的密钥协商协议都只考虑如何在客户与服务器之间协商密钥.客户到客户口令认证密钥协商协议考虑如何在两个客户之间协商密钥,而这两个客户只分别与各自的服务器共享口令.在文献[1]中,Jin Wook Byun等提出了两个协议,分别称为跨域C2C-PAKE协议和单服务器C2C-PAKE协议.最近针对这两个协议,提出了一系列攻击和改进方案.在本文中,我们指出跨域C2C-PAKE协议及其所有的改进方案都是不安全的.我们设计了一个新的跨域C2C-PAKE协议.它可以抵抗已知的所有攻击. 殷胤 李宝关键词:口令 密钥协商 具有一致秘密和错误的LWE问题及其应用 2014年 提出了一种新的带错误学习问题(learning with errors,LWE)的变种,这种变种中的秘密向量和错误向量的每一个分量都是取自于一个小区间上的一致分布,其中,运用了Applebaum等人提出的转换技术.这种技术将一致秘密的LWE样本映射到另一些LWE样本,这些样本的秘密是服从和错误一样的分布,同时只损失了一小部分的样本.这个变种有和标准LWE一样的最坏情形到平均情形的归约性,同时,它去除了标准LWE问题中的高斯抽样算法.基于新的变种,构造了一个密钥相关消息安全的公钥加密方案.方案去除了原来方案中的高斯抽样算法,取而代之的是小区间上的一致分布的抽样算法,从而降低了密钥生成算法和加密算法的开销. 孙小超 李宝 路献辉关键词:公钥加密算法 可证明安全 一类代数几何码的伴随式阵列 被引量:1 2000年 主要讨论了一点代数几何码的伴随式阵列及其上的线性递推关系 .通过缩简多项式概念的建立和理想这个数学概念的运用 ,将译码时真正需要的线性递推关系和这种伴随式阵列固有的线性递推关系区别开来 ,达到了从一点代数几何码的伴随式阵列的线性递推关系中将其固有的线性递推关系剔除掉的目的 .在定理 5的证明中还蕴涵了寻找一个多项式的缩减多项式的算法 .这些结果对进一步研究 Feng等提出的译码算法和 周林芳 李宝关键词:代数几何码 线性递推关系 译码 构造从字符串到Huff曲线的散列函数 2014年 首次构造了从有限域Fq到Huff曲线的确定函数,其时间复杂性为O(log3q).在此基础上构造了从字符串到Huff曲线的散列函数.该散列函数的构造为基于身份协议的构造奠定了基础.其在中国椭圆曲线密码算法标准SM2推荐的素域上的运行时间为557.8μs. 于伟 王鲲鹏 李宝关键词:散列函数 基于超奇异同源的认证密钥交换 被引量:3 2018年 本文主要研究超奇异同源密码,该密码是一种新兴的抵抗量子计算机的后量子密码.本文利用twin版本的Diffie-Hellman问题,提出一种基于超奇异同源的可证明安全的两轮认证密钥协议.该协议是一种MQV-型的密钥交换协议,继承了(H)MQV协议的属性.该协议是基于计算超奇异椭圆曲线间的同源的困难性问题.针对提出的协议,本文不仅给出了安全属性的启发式讨论,而且在Canetti-Krawczyk的认证链路模型下证明了方案的安全性.为了证明安全性,本文提出了twin版本的超奇异同源假设.同时本文也指出,虽然该协议与格上的方案相比密钥长度较短,但是计算量要更大. 徐秀 李宝 王鲲鹏 王鲲鹏