宋巍涛
- 作品数：5 被引量：6H指数：2
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：国家自然科学基金河南省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 循环安全的同态加密方案被引量：3
- 2020年
- 全同态加密可以对密文进行有效计算,是实现云计算、大数据以及机器学习中数据隐私安全的一项重要密码技术.利用“自举”技术可以构造全同态加密方案,但是使得运算密钥随着运算电路的深度线性增长,这是全同态加密方案实用性的一个主要瓶颈.然而,如果同态加密方案满足循环安全性,即可以对方案的私钥进行安全的加密,则可以使得运算密钥的规模独立于运算电路的深度.因此,满足循环安全性的同态加密方案是值得研究的一个问题.基于噪声淹没技术,给出了循环安全的公钥同态加密方案,并给出了安全性证明和参数设置;进一步,通过引入拒绝采样技术,给出了优化的循环安全公钥同态加密方案,在增加部分采样算法的代价下,将系统参数从超多项式级降低到多项式级,大大约减方案公钥和密文规模,从而可以有效改善密文运算的计算复杂性,提升同态加密方案的性能.
- 赵秀凤付雨宋巍涛
- 关键词：同态加密
- 一种适用于嵌套加密协议分析的强认证测试方法被引量：2
- 2015年
- 认证测试是一种新型的在串空间模型基础上提出来的用于分析协议认证属性的形式化方法,该方法因简单实用而受到学者的广泛关注,但其不能分析协议中认证测试组件嵌套加密的情况,这极大地限制了它的应用范围。而现存的针对该局限性的改进方案,由于没有从本质上对串空间模型中关于消息项结构关系方面的语义进行完善,很难彻底突破认证测试的局限性。为此,通过在串空间模型中引入等价类、类组件、安全加密元及安全包裹元等概念,提高了串空间刻画消息项之间及内部结构关系的能力,并结合实例来阐明引入这些概念的必要性。在此基础上,提出一种可以分析测试组件嵌套加密的通用的认证测试方法,并从形式化证明与实例分析两方面验证了新测试方法的正确性与有效性。
- 宋巍涛胡斌
- 关键词：安全协议形式化分析串空间
- 剩余类环上扩张因子的性质
- 2018年
- 由于简单、安全且便于高效实现,R-LWE上FHE方案成为目前FHE方案设计的主流。R-LWE上FHE方案基于剩余类环R=Z[x]/(f(x))的多项式扩张因子大小对密文同态操作时的噪声膨胀速度有重要影响。基于对无穷范数意义下多项式环R的扩张因子的研究,给出了几个特殊多项式所对应的具体扩张因子值。证明了系数为零的单项式越多的多项式,其对应的扩张因子越小,系数为0的单项式的幂次越高,其对应的扩张因子越小。该结果可为R-LWE上高效同态密码算法的设计提供理论指导。
- 王爱兰宋巍涛赵秀凤
- 基于串空间的安全协议认证测试方法研究
- 宋巍涛
- 文献传递网络资源链接
- 基于LWE的全同态密码及其应用研究
- 全同态加密(Fully Homomorphic Encryption,FHE)支持在不知道密钥的前提下对密文进行任意的盲操作,且运算结果的解密值恰好等于对应的明文运算结果,真正从根本上解决了将数据及操作委托给第三方时的保...
- 宋巍涛
- 关键词：隐私保护
- 文献传递
