顾纯祥 作品数:57 被引量:145 H指数:7 供职机构: 解放军信息工程大学 更多>> 发文基金: 国家自然科学基金 河南省科技创新杰出青年基金 河南省基础与前沿技术研究计划项目 更多>> 相关领域: 自动化与计算机技术 电子电信 文化科学 更多>>
格上的带关键字检索的公钥加密体制 近年来,基于格的密码体制受到越来越多的关注.这类密码具有诸多潜在优势:抗量子攻击、并行性好、概念简单、安全性所基于的困难问题的随机实例难解性等价于格上公认困难问题最坏情况等.本文提出了一种基于格的带关键字检索的公钥加密(... 顾纯祥 郑永辉 祝跃飞 段然关键词:可证安全 文献传递 利用容错学习问题构造基于身份的全同态加密体制 被引量:13 2014年 基于容错学习问题构造的一类全同态加密体制在云计算安全领域具有重要的潜在应用价值,但同时普遍存在着公钥尺寸较大的缺陷,严重影响其身份认证与密钥管理的效率。将基于身份加密的思想与基于容错学习问题的全同态加密相结合,提出一种基于身份的全同态加密体制,能够有效克服公钥尺寸对于全同态加密应用效率的影响。在随机喻示模型下,体制的安全性归约到容错学习问题难解性和陷门单向函数单向性,并包含严格的安全性证明。 光焱 祝跃飞 费金龙 顾纯祥 郑永辉关键词:基于身份加密 格上随机喻示模型下带关键字检索的公钥加密体制 2014年 近年来,基于格的密码体制受到越来越多的关注。这类密码具有诸多潜在优势:抗量子攻击、并行性好、概念简单、安全性所基于的困难问题的随机实例难解性等价于格上公认困难问题最坏情况等。带关键字检索的公钥加密(PEKS)体制是一种具有关键字检索功能的加密机制:用PEKS加密的关键字w的密文和加密消息存储在服务器上,用户向服务器发送一个秘密值Tw,服务器可以搜索出所有包含该关键词w的加密消息,但无法知晓w本身的任何内容。提出了一种基于格的带关键字检索的公钥加密体制,并在随机喻示模型下,基于格上带错误的学习(Learning With Errors)问题的困难性假设证明了新体制的安全性。 顾纯祥 郑永辉 祝跃飞 段然关键词:可证安全 利用LWE问题构造基于身份的全同态加密体制 基于LWE问题设计的全同态加密体制拥有相对较高的计算效率和安全性,在云计算领域具有重要的潜在应用价值。然而,该类体制存在公钥尺寸较大的缺陷,严重影响其身份认证与管理的效率。本文将基于身份加密的思想与基于LWE问题的全同态... 光焱 祝跃飞 费金龙 顾纯祥关键词:基于身份加密 文献传递 密码协议安全性证明系统解析器的设计与实现 2010年 可证明安全性是密码协议安全性评估的重要依据,但手写安全性证明容易出错且正确性难以判定,利用计算机辅助构造游戏序列进而实现自动化证明是当前一种可行的方法。为此提出一种基于进程演算的密码协议形式化描述模型,定义了描述密码协议安全性证明中攻击游戏的语法规则,并借助工具LEX和YACC,设计出解析器程序,将密码协议及其安全性的形式化描述解析为自动化安全性证明系统的初始数据结构,并用实例来说明这种方法的可行性。 李安乐 陈楠 顾纯祥 祝跃飞关键词:可证明安全 自动化 基于状态转移系统的安全协议形式模型 被引量:2 2008年 提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。该模型能够对安全协议进行精确的形式化描述,且便于实现自动化分析。 毛中全 刘楠 顾纯祥 祝跃飞关键词:安全协议 NTRU格上高效的基于身份的全同态加密体制 被引量:13 2017年 全同态加密是目前解决云计算网络数据隐私保护问题的最佳方案,但目前的体制的公钥尺寸普遍较大。首先,通过引入Kullback-Leibler散度的概念,构造一种NTRU格上的基于身份公钥的加密体制,参数分析表明体制具有较小的密钥和密文尺寸,实验数据表明体制具有较高的加解密效率。其次,利用近似特征向量技术,给出一种方法,将基于身份的公钥加密体制转换为基于身份的全同态加密体制,可以进一步减小密文尺寸。和现有体制相比,除了不需要计算密钥,实现真正意义上的基于身份特性以外,还减小了密钥和密文尺寸,提高了计算和传输效率。 段然 顾纯祥 祝跃飞 祝跃飞 郑永辉关键词:基于身份加密 基于进程演算的公钥密码体制安全性自动化证明系统 2012年 可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑。文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进程演算描述可证安全模型,借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明。系统在C语言环境下实现,已完成ElGamal加密体制和FDH签名体制在内的一系列密码体制的安全性证明测试。 光焱 顾纯祥 黄莉 赵双峰关键词:公钥密码体制 可证安全 信息安全专业实践教学方法探讨 信息安全专业是一门理论性和实践性交融的学科,实践教学是专业教学中一个重要的环节。本文分析了信息安全专业实践教学的一些特点,并有针对性的对相应实践教学方法做了一定探讨,提出基于OpenSSL和CryptoAPI等成熟软件包... 顾纯祥 徐洪 郑永辉关键词:信息安全 实践教学 教学方法 文献传递 SEA算法及安全椭圆曲线的有效选取 被引量:4 2000年 在椭圆曲线密码体制的实现中 ,首先要选取安全的椭圆曲线 ,选取安全椭圆曲线阶的核心步骤是对椭圆曲线阶的计算 ,SEA算法是计算椭圆曲线的有效算法。本文在实现Fp 上SEA算法的前提下 ,就SEA算法中各方法的综合运用提出了一种方案 ,并且对用SEA算法选取安全椭圆曲线速度上的优化作了一些讨论 ,所获得的一些速度指标和国际公开资料上的指标有可比性。 顾纯祥 祝跃飞关键词:安全椭圆曲线 ICS 椭圆曲线密码体制 密码学