您的位置： 专家智库 > >

河南省科技创新杰出青年基金(134100510002)

作品数：13 被引量：55H指数：5
相关作者：顾纯祥郑永辉祝跃飞辛丹光焱更多>>
相关机构：解放军信息工程大学河南财经政法大学中国人民解放军信息工程大学更多>>
发文基金：河南省科技创新杰出青年基金河南省基础与前沿技术研究计划项目国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 13篇中文期刊文章

领域

  • 9篇自动化与计算...
  • 4篇电子电信

主题

  • 9篇加密
  • 7篇同态
  • 7篇同态加密
  • 5篇身份加密
  • 5篇基于身份
  • 5篇基于身份加密
  • 3篇密码
  • 3篇加密体制
  • 2篇形式化
  • 2篇形式化分析
  • 2篇容错
  • 2篇可证安全
  • 2篇公钥
  • 2篇公钥加密
  • 2篇公钥加密体制
  • 2篇安全协议
  • 2篇安全性
  • 2篇NTRU
  • 1篇形式化分析方...
  • 1篇选择密文攻击

机构

  • 9篇解放军信息工...
  • 2篇中国人民解放...
  • 2篇河南财经政法...
  • 1篇中国人民解放...

作者

  • 11篇顾纯祥
  • 6篇郑永辉
  • 4篇祝跃飞
  • 3篇辛丹
  • 2篇光焱
  • 2篇陈熹
  • 2篇刘楠
  • 2篇段然
  • 2篇郑永辉
  • 1篇陈莉
  • 1篇陈莉
  • 1篇董辉

传媒

  • 5篇信息工程大学...
  • 4篇通信学报
  • 2篇电子学报
  • 1篇软件学报
  • 1篇系统仿真学报

年份

  • 1篇2019
  • 1篇2018
  • 3篇2017
  • 3篇2016
  • 1篇2015
  • 4篇2014
共 13 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
开放授权协议OAuth2.0的安全性形式化分析被引量：11
2014年
开放授权协议OAuth是云上一个新的开放标准,解决了用户多账号通用和资源共享的问题。文章针对OAuth2.0的协议规范,利用Alice-Bob标记语言和HLPSL协议高级语言对其进行了形式化描述,并借助基于状态空间搜索的安全协议分析工具,分别讨论了通信三方在使用和未使用HTTPS加密的情况下协议的安全性,对于不安全的情况得到了相应的攻击路径。另外,在实际的网络环境中观察分析了OAuth2.0的相应实现,对国内访问量前100名的网站做了统计,发现其中可以作为OAuth2.0协议服务端的网站有63.6%存在安全漏洞,可以作为客户端的网站有90.2%存在安全漏洞,实验结果对规范网络安全环境有重要的作用和意义。
王焕孝顾纯祥郑永辉
关键词：云计算形式化分析
环上基于属性的全同态加密体制设计被引量：4
2017年
全同态加密在云计算的数据和隐私安全领域有重要应用,但现有全同态加密体制普遍存在密钥、密文尺寸偏大的弊端,严重制约其实用性。为此,以环上容错学习问题为基础,提出环上重编码体制与基于属性加密体制,并与全同态加密体制结合,构造基于属性的全同态加密体制,该体制无需公钥证书,可实现对加密数据细粒度访问控制,与已有同类成果相比,大大缩短了密钥与密文尺寸。
郑永辉康元基顾纯祥董辉
利用RLWE构造基于身份的全同态加密体制被引量：5
2016年
全同态加密为云计算中数据全生命周期隐私保护等难题的解决都提供了新的思路.公钥尺寸较大是现有全同态加密体制普遍存在的问题.本文将基于身份加密的思想和全同态加密体制相结合,利用环上容错学习问题(Ring Learning With Errors,RLWE),其中将环的参数m扩展到任意正整数,提出了一种基于身份的全同态加密体制.体制以用户身份标识作为公钥,在计算效率和密钥管理方面都具有优势,安全性在随机喻示模型下可规约为判定性RLWE问题难解性假设.
辛丹顾纯祥郑永辉光焱康元基
关键词：基于身份加密
NTRU格上高效的基于身份的全同态加密体制被引量：13
2017年
全同态加密是目前解决云计算网络数据隐私保护问题的最佳方案,但目前的体制的公钥尺寸普遍较大。首先,通过引入Kullback-Leibler散度的概念,构造一种NTRU格上的基于身份公钥的加密体制,参数分析表明体制具有较小的密钥和密文尺寸,实验数据表明体制具有较高的加解密效率。其次,利用近似特征向量技术,给出一种方法,将基于身份的公钥加密体制转换为基于身份的全同态加密体制,可以进一步减小密文尺寸。和现有体制相比,除了不需要计算密钥,实现真正意义上的基于身份特性以外,还减小了密钥和密文尺寸,提高了计算和传输效率。
段然顾纯祥祝跃飞祝跃飞郑永辉
关键词：基于身份加密
基于RLWE的密钥策略属性加密体制被引量：6
2016年
在Brakerski等提出的基于LWE问题的属性加密体制基础上,提出了一个基于RLWE问题的属性加密体制。相比基于LWE问题的属性加密体制,该体制效率更高、密钥尺寸更小。在RLWE的安全性假设下,该体制支持长度不受限制的属性和半适应性安全。最后设计了一个编译器,利用该编译器可以将满足要求的属性加密体制转化为基于属性的全同态加密体制。
孙泽栋祝跃飞顾纯祥顾纯祥
基于模型学习的网络安全协议脆弱性分析系统被引量：3
2019年
针对网络协议中日益凸显的安全问题,基于自动机理论中的模型学习技术,利用协议状态模糊测试方法对网络协议进行黑盒测试,提出并实现了网络安全协议脆弱性分析检测系统。该系统能够自动化推演出目标协议具体实现的状态机模型,将系统用于OpenVPN2.0.9进行测试,推断出的状态机能非常清晰地展现协议具体实现的全部行为:期望中的行为和特殊行为,通过分析对比其与协议规范设计之间存在的差异性能够寻找可能存在的攻击路径。
申莹珠顾纯祥陈熹
基于格上带舍入学习问题的抗选择密文攻击的公钥密码体制
2014年
基于格的密码体制具有可抵抗目前已知量子算法攻击、并行性好、由格上困难问题确保的可证安全性等优点,具有广泛的应用前景,受到了越来越多的关注。带舍入学习问题(learning with rounding问题,LWR问题)作为格上新兴问题,相关工作较少,研究价值较高。文章提出了两种基于该问题的公钥加密体制,给出了在随机谕示模型下的安全性证明。与现有基于该问题的体制相比,新体制可以达到适应性选择密文攻击下不可区分性(IND-CCA2)的安全性。
段然顾纯祥
关键词：公钥加密体制可证安全
基于SAT的安全协议惰性形式化分析方法被引量：2
2014年
提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此方法实现了一个安全协议分析工具,针对Otway-Rees协议检测出了一种类型缺陷攻击;针对OAuth2.0协议,检测结果显示对现实中存在的一些应用场景,存在一种利用授权码截取的中间人攻击。
顾纯祥王焕孝郑永辉辛丹刘楠
关键词：安全协议形式化分析布尔可满足性
格上随机喻示模型下带关键字检索的公钥加密体制
2014年
近年来,基于格的密码体制受到越来越多的关注。这类密码具有诸多潜在优势:抗量子攻击、并行性好、概念简单、安全性所基于的困难问题的随机实例难解性等价于格上公认困难问题最坏情况等。带关键字检索的公钥加密(PEKS)体制是一种具有关键字检索功能的加密机制:用PEKS加密的关键字w的密文和加密消息存储在服务器上,用户向服务器发送一个秘密值Tw,服务器可以搜索出所有包含该关键词w的加密消息,但无法知晓w本身的任何内容。提出了一种基于格的带关键字检索的公钥加密体制,并在随机喻示模型下,基于格上带错误的学习(Learning With Errors)问题的困难性假设证明了新体制的安全性。
顾纯祥郑永辉祝跃飞段然
关键词：可证安全
利用特征向量构造基于身份的全同态加密体制被引量：17
2016年
全同态加密可以在不解密的条件下对密文进行有效运算,为云计算的数据隐私保护提供了一种理想的解决方案,但目前已有的全同态加密体制普遍存在公钥尺寸大、计算效率较低等问题.利用构造特征向量的思想,基于任意次数分圆环代数结构,提出全同态加密体制,并提出一种转换方法将该体制转换为基于身份的全同态加密体制.与已有体制相比,使用特征向量思想构造基于身份的体制有效地避免了计算密钥,实现了真正意义上基于身份的体制;相比次数为2的方幂特殊分圆环,使用任意次数分圆环最大会使加密体制的计算效率提升一倍,同时还可应用单指令多数据(single instruction multiple data,简称SIMD)技术进一步提升计算和存储效率.
康元基顾纯祥郑永辉光焱
关键词：特征向量基于身份加密
全选 清除 导出
共2页<12>
聚类工具0