孙国栋
- 作品数：4 被引量：15H指数：2
- 供职机构：北京工业大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于多离散对数问题的公钥密码的分析被引量：3
- 2018年
- 本文对一个特定群生成元系中元素的阶数的选取做了讨论,对多离散对数问题和基于它的公钥加密方案做了分析.指出在原文所述情况下,多离散对数问题可转化为离散对数问题,从而,该问题存在亚指数时间解,并导致相关私钥在大多数情况下是亚指数时间不安全的.本文进一步指出,在几乎任何情况下,密文还原问题都可转化为离散对数问题,从而,它也存在亚指数时间解.所以,要把离散对数问题和El Gamal公钥密码改造成抗Shor量子算法攻击的,还需做更深入的、持久的探索.
- 苏盛辉苏盛辉
- 关键词：公钥密码安全性量子算法
- 求根问题的量子计算算法被引量：10
- 2015年
- 求根问题是计算数论中的一个困难性问题,为了提高求根问题的求解效率和扩大量子计算的应用范围,对求根问题进行了量子算法的分析.在两大量子算法Shor算法和Grover算法的基础上,提出了2种解决求根问题的量子算法RF-Shor算法和RF-Grover算法.经分析,RF-Shor算法需要多项式规模的量子门资源,能以接近1的概率求出求根问题的所有解.在没有使用任何可提高搜索效率的经典策略的情况下,RF-Grover算法能在O(M/k)步内以至少1/2的概率求出求根问题k个解中的一个解.
- 孙国栋苏盛辉徐茂智
- 关键词：量子算法GROVER算法
- 超长整数运算的PVS规范与验证被引量：1
- 2015年
- 超长整数的运算是现代密码系统的应用基础,运算的正确性关系到密码系统的应用价值。为了验证超长整数算法的设计与需求目标之间的一致性,利用原型验证工具PVS对算法的正确性进行了证明。在介绍了超长整数的加法和减法算法并分析了其设计思想之后,给出了超长整数及其算法的形式规范,通过把算法需要满足的性质描述为定理,将算法的一致性验证问题转化为逻辑定理证明的问题,在PVS定理证明器上完成了相关定理的证明,从而表明这些算法是满足设计需求的。
- 孙国栋牛晋刚
- 关键词：定理证明
- 基于REESSE1＋公钥密码体制的概率加密被引量：1
- 2014年
- 针对确定性公钥密码体制不能抵抗选择明文攻击的弱点,基于REESSE1+公钥密码体制设计2种概率加密方案,使同一明文对应的密文具有不确定性。方案1在明文比特序列的奇数位置插入相同长度的随机比特串,产生新的随机明文序列,并对该序列进行加密;方案2对公钥序列进行重新排列,使用新的公钥序列对明文进行加密。证明2种方案的正确性,并对其安全性和性能进行分析,结果表明,2种方案均可抵抗选择明文攻击,密码强度至少等价于基于离散对数问题的密码方案,同时,其加解密运行时间均少于基于RSA和剩余问题的概率密码方案。
- 孙国栋苏盛辉徐茂智
- 关键词：选择明文攻击
