程庆丰
- 作品数：62 被引量：89H指数：4
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划河南省科技攻关计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学理学更多>>
- 一种面向空天信息网的异构网络端到端认证密钥交换方法
- 本发明公开了一种面向空天信息网的异构网络端到端认证密钥交换方法，包括依次进行的移动终端注册阶段、密钥建立请求阶段、端到端认证密钥交换阶段及口令更新阶段；本发明能够为分属两个不同信任域的移动终端在验证其身份合法性的基础上建...
- 马建峰魏福山程庆丰姜奇李兴华卢笛习宁
- 增强TLS 1.3中Early data安全性的协议被引量：1
- 2017年
- 将新型0-RTT密钥交换协议思想借鉴到TLS 1.3会话重用阶段,构建r FSOPKE协议,改进了Early data的加密和传输过程。r FSOPKE协议可以在Ticket有效期内保护Early data的前向安全性并使其抵抗重放攻击。与改进前Early data的发送过程相比,本协议大幅增强了Early data的安全性。在实现效率方面,由于在发送Early data时增加了本协议的计算和传输开销,所以实现效率有所降低。但是本协议可以根据应用场景的不同嵌入适合的算法,所以可以选择更加高效的算法提高协议实现速度。
- 张兴隆程庆丰马建峰
- 关键词：EARLYDATA重放攻击
- 全同态加密函数库调试分析
- 2017年
- 本文选取了HElib库、FHE-CODE库和FHE-master基于三种不同算法的全同态加密程序,一方面,通过对程序本身的调试运行,不断更改噪声、运行时间、所占存储空间等运行参数,对程序性能进行动态比较分析.提高安全参数可以实现较高精度的加密,安全参数越高,则其对应的密文长度越长、所占存储空间越大,所以增加密文长度、重加密密文的长度等可以提高算法的安全级别.同时,减小模数、适当减小安全参数,可以减小噪声比并提高运行效率.另一方面,分析了三种软件对应的三种全同态算法:Gentry提出的理想格算法、DGHV算法和BGV算法,从安全性、有效性、实现程序以及相互联系对三种方案进行对比研究.其中,HElib库操作较为复杂,运行时间较长,但安全性较高,FHE-CODE代码的逻辑相对比较清晰,运行效率较高,FHE-master库利用文件读取操作实现了对于密文的检索功能,针对不同密钥读写操作效率参差不齐.本文一方面验证算法在理论研究的相关性质,另一方面从程序实现方面分析算法的相关属性,为全同态加密研究提供实践基础.
- 陆思奇王绍峰韩旭程庆丰
- 形式化工具Scyther优化与实例分析被引量：5
- 2016年
- 当前安全协议形式化分析工具发展迅速,针对不同的安全协议、不同的安全模型挑选合适的工具进行分析,不仅可以提高分析结果的可信度和准确性,还可以大大提高协议分析的效率.为此,对当前主流的9种形式化分析工具的性能进行梳理,从使用界面、分析效率、安全模型等综合角度来看,Scyther工具有着较大的优势;为方便国内协议分析者使用和研究,剖析Scyther的底层算法,将其交互界面进行汉化,并增添了时间计算功能,对分析时间进行计算和输出;最后以网络安全协议TLS为例,利用优化后的Scyther工具分别在Delov-Yao模型和强安全模型下对其进行形式化分析.对研究工作者准确、有效地选择和使用形式化分析工具有着理论意义和实践价值.
- 韩旭陆思奇程庆丰
- 关键词：TLS协议
- 三次旋转对称Bent函数的构造被引量：2
- 2015年
- 近年来,旋转对称布尔函数引起了密码学家的广泛关注.这类布尔函数可以极大地提高密码算法的运算效率,节省资源开销,因此在密码学与编码理论中有着广泛的应用.关于旋转对称函数密码学性质的研究成为该领域的热点问题.Bent函数是一类Walsh谱均匀的偶变元布尔函数,这类函数不仅具有最高的非线性度,而且具有最优的扩散性.因此Bent函数可以很好地抵抗线性攻击和差分攻击.这些性质使得Bent函数在分组密码S盒的构造、Bent序列的构造、编码理论Kerdock码的构造、组合设计中差集的构造等领域中都有重要的应用.许多密码算法的非线性部件都是通过修改Bent函数得到.然而公开领域中构造旋转对称Bent函数的方法还不多.本文研究了旋转对称Bent函数的构造,给出了一类三次旋转对称布尔函数为Bent函数的充要条件.利用该条件可以非常方便地判断一类给定的旋转对称函数是否为Bent函数.而且本文构造的旋转对称Bent函数的代数表达式非常简单,因此这类函数在密码算法的设计中具有较强的优势.
- 高光普程庆丰王磊
- 关键词：布尔函数BENT函数
- 基于RSA的网关口令认证密钥交换协议被引量：6
- 2011年
- 网关口令认证密钥交换协议是一个三方协议,使得用户和网关在服务器的协助下建立起一个安全的会话密钥,从而实现用户和网关之间的安全通信.已有的网关口令认证密钥交换协议都是基于Diffie-Hellman密钥交换设计的.利用张木想所设计的PEKEP协议,提出了基于RSA体制的可证明安全的网关口令认证密钥交换协议.在随机预言模型下,基于RSA假设证明了协议的安全性.该协议可以抵抗e次剩余攻击和不可检测在线字典攻击.
- 魏福山马传贵程庆丰
- 关键词：口令认证网关随机预言模型
- 一种三方口令认证密钥交换方法
- 本发明公开了一种三方口令认证密钥交换方法，包括：用户设备A和用户设备B分别计算并发送请求通信的信息、第一Diffie-Hellman密钥成分信息和向服务器S证明自身合法身份的验证信息；服务器S验证所述的验证信息，如果验证...
- 马传贵魏福山张汝云程庆丰彭建华季新生许明艳江涛
- 文献传递
- 标准模型下CCA2安全且固定密文长度的模糊基于身份加密方案被引量：2
- 2013年
- 模糊基于身份加密体制为基于身份密码提供了检错能力,并且可以把消息加密后同时发送给多个具有相同属性的用户.本文提出了一种在标准模型下能抵抗适应性选择密文攻击,并且密文长度达到了固定值的模糊基于身份加密方案.与现有方案相比,本方案占用通信带宽低,计算效率高,具有更高的安全性,因此能更好的满足应用要求.
- 葛爱军马传贵程庆丰
- 关键词：双线性对
- 两个身份基密钥协商协议安全性分析
- 安全的身份基密钥协商协议设计一直是著名的难题。尽管已存在数千个身份基密钥协商协议,不过他们中的很多仍存在一些安全漏洞。针对两个已有的身份基密钥协商协议进行了安全性分析,分析结果表明两个协议都存在一些安全缺陷。首先对ICY...
- 程庆丰陆思奇公雪
- 关键词：密钥协商双线性对
- 抗量子密码体制发展研究被引量：4
- 2017年
- 量子计算的快速发展带给经典密码的巨大冲击使得人们将目光投向了抗量子密码体制的研究。随着量子时代的迫近,抗量子密码体制的研究步伐也在不断加快。本文回顾了以多变量公钥密码体制、基于Hash函数的数字签名、基于编码的密码体制和基于格的密码四类抗量子密码的发展历程,并结合迄今为止的八届国际抗量子密码年会展示了抗量子密码体制的最新进展。这些对今后抗量子密码的研究具有重要的参考价值。
- 李强程庆丰李宏欣张军琪
