李益发
- 作品数：76 被引量：195H指数：7
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划河南省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信理学经济管理更多>>
- 电子支付协议安全性的形式化分析被引量：1
- 2000年
- 本文用Kailar逻辑对Bolignano电子协议的安全性作了较为详细的分析 ,进而对Kailar逻辑也作了一些讨论。
- 李益发谢文海张彦肖
- 关键词：电子商务协议BAN逻辑KAILAR逻辑
- 一种改进的中间域多变量公钥签名方案被引量：3
- 2014年
- 多变量公钥密码体制能抵抗量子计算机的攻击,被认为是后量子时代一种安全的密码体制备选方案.考虑到原中间域多变量公钥加密体制不能抵抗高阶线性化攻击,利用一种新的外部干扰,重构中心映射,提出一种基于外部干扰的改进签名方案.改进方案保持了原方案结构简单、求逆容易的性质,还能抵抗穷举攻击,秩攻击,差分攻击,代数攻击.
- 乔帅庭韩文报李益发李益发
- 关键词：多变量公钥密码体制
- 基于多变量公钥密码的代理环签名方案
- 2012年
- 多变量公钥密码是后量子密码的可选方案之一,受到了广泛的关注。由于已有的代理环签名方案大多基于大整数分解和离散对数等难题设计,都不能抵抗量子计算机的攻击,因此基于多变量公钥密码设计出了一个新的代理环签名方案,该方案基于MQ问题及IP问题设计,不仅满足代理环签名的各项性能要求,还具有抗量子计算特性,且计算简单,效率更高。
- 孙昌毅李益发斯雪明
- 关键词：代理签名环签名
- 基于外部干扰的中间域公钥签名方案的优化被引量：1
- 2013年
- 多变量公钥密码体制被认为是后量子时代的一种安全的密码体制备选方案。针对原始中间域多变量公钥加密体制不能抵抗高阶线性方程攻击,外部干扰的思想被引入了中间域多变量公钥体制。在基于外部干扰的签名方案的基础上,重构了一种新的外部干扰,提出了一种优化的基于外部干扰的签名方案。优化方案保持了原签名方案结构简单、求逆容易的性质,在保证安全性的同时,使得公私钥空间大大缩小。
- 乔帅庭韩文报李益发焦路遥
- 关键词：多变量公钥密码体制
- 信任谓词的计算语义
- 2012年
- 讨论逻辑系统中信任谓词的计算语义以及表述信任谓词基本性质的若干公理。首先指出计算的协议组合逻辑在讨论信任关系方面可能存在证明过程与挖掘内在信任关系方面的缺陷;扩展谓词演算系统形成基本协议逻辑并为其添加计算语义以便用于描述安全协议;最后从信任关系的本质含义出发,在基本协议逻辑系统中严格定义信任谓词的计算语义,并通过讨论若干公理反映信任谓词的基本性质。
- 崔巍李益发斯雪明
- 关键词：安全协议形式化分析逻辑系统
- 基于贝叶斯推理的多代理分布式入侵检测系统模型
- 提出了一种基于贝叶斯推理的多代理分布式入侵检测系统模型,并且对该系统的结构和代理的处理流程进行了描述,该系统是一个开放的系统,具有很好的可扩展性,易于加入新的入侵检测代理,也易于增加新的入侵检测,代理之间的协同采用独立的...
- 王力民吕嘉祥李益发
- 关键词：入侵检测贝叶斯推理
- 文献传递
- Zp^n上广义部分Bent函数的构造方法
- 2004年
- 给出了Zp^n上广义部分Bent函数的基本构造方法，并同时得到了由上述方法所构造出的广义部分Bent函数的Chrestenson循环谱特征．特别，本文给出了由变元个数少的Zp^n上的广义Bent函数构造变元个数多的广义部分Bent函数的一般方法，由此方法可构造出大量的Zp^n上的广义部分Bent函数．
- 赵亚群李伟华李益发冯登国
- 关键词：广义BENT函数自相关函数
- CPK的安全性分析及其与PKI的比较被引量：2
- 2004年
- 介绍了CPK系统，并较为详细地分析了其安全性，指出了CPK的系统安全风险将随着私钥泄露量的增加而增加，同时还指出了CPK在应用时应注意的几个问题，并将CPK与PKI在基本特性、公钥证书的可信度、成本、运行效率和系统风险等多方面作了详细的对比分析．
- 李益发韩臻赵亚群沈昌祥
- 关键词：CPKPKI密钥管理
- 应用组合方法设计复杂安全协议被引量：1
- 2010年
- 针对目前安全协议设计存在的方法抽象、适用范围小及复杂的特点,提出一种新的安全协议设计方法。给出了协议中基件与组件的定义,分析了组件的安全属性并基于组件设计实现相应安全目标的单步协议。最后,定义组合规则确保不同的单步协议能够组合成为一个复合协议的同时各个单步协议还能实现各自的安全目标。根据应用背景选择单步协议按组合规则组合后便可得所需的安全协议。研究结果表明,该方法可将一个复杂协议分解为若干简单的单步协议,使得协议的设计与分析都易于实现。
- 邓帆邓少锋李益发
- 关键词：安全协议组件逻辑分析
- 基于CPK的IKE协议的改进被引量：3
- 2007年
- 本文在简要介绍和分析评述IPsec协议的基础上,基于CPK系统提出了对IPsec协议的改进,并对改进的协议利用逻辑化方法作了详细地安全性分析,指出了改进的协议在安全性和效率等方面所具有的优势,同时对应用环境作了说明。
- 郭亚梅杨尚森李益发
- 关键词：IPSEC协议协议安全性分析BAN类逻辑
