李俊全
- 作品数：13 被引量：20H指数：3
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信理学文化科学更多>>
- 椭圆曲线公钥密码体制的设计与分析
- 该文对椭圆曲线公钥密码体制的设计和分析进行了系统的研究,主要结果有:1、挑选出了12个最佳素域作为椭圆曲线的基域,其中384比特长的域比美国联邦信息处理标准所推荐的域在取模运算方面更有效,并给出了在实用范围内有最佳正规基...
- 李俊全
- 关键词：离散对数密码
- 文献传递
- 椭圆曲线素阶群上的离散对数求解被引量：2
- 2004年
- 该文对解椭圆曲线上离散对数的Pollard ρ算法和并行碰撞搜索算法分别建立了它 们的图论模型和分析了碰撞技巧,比较了两个算法,进而提出了设计迭代函数的准则并 给出一个改进的并行碰撞算法.
- 李俊全刘木兰
- 关键词：离散对数搜索算法迭代函数碰撞
- 基于空间和时间密度的入侵报警聚合研究
- 针对分布式入侵检测系统在实际应用中存在大量重复报警和高误报率的问题，本文在研究DBSCAN算法的基础上，提出一种基于空间和时间密度的抗噪声聚合算法(DBS&TCAN)。该算法引入时间密度，首先聚合局部报警信息，再对局...
- 张靖王衡军李俊全郁滨
- 关键词：DBSCAN
- 文献传递
- 基于分支界限搜索的EFSM协议测试序列生成算法被引量：2
- 2013年
- 针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法。该算法基于互异代表系理论为每个协议状态变迁赋权值,再基于分支界限法搜索生成的协议测试序列,将协议一致性测试序列的生成转换为寻找最小权值状态变迁路径的问题。该算法克服了无赋权要求的宽度优先搜索的缺陷,降低了测试序列的搜索与生成时间复杂度,提高了测试序列生成的效率。
- 尤娟李俊全夏松
- 关键词：协议一致性测试测试序列生成扩展有限状态机
- 一种改进的XL算法被引量：3
- 2008年
- 对XL算法中的方程组约简过程进行改进,提出一种更有效的求解算法。改进算法中充分利用各单项式之间的约束关系对方程组进行约简,消去其中次数较高的单项式。采用分步扩展及约简的思想消去扩展过程中添加的冗余等式,有效降低XL算法的计算复杂度及存储复杂度。此外,改进的算法还可用于构建布尔函数的低次零化子。
- 左鑫平李俊全
- 关键词：密码学代数攻击
- 基于免疫原理的计算机系统资源保护模型被引量：3
- 2005年
- 本文在分析传统的反病毒技术基础之上,提出了计算机系统资源保护的概念,并建立了一个基于免疫原理的计算机系统资源保护模型,该模型利用对访问系统资源的应用程序进行识别的技术,使模型在对抗计算机病毒的破坏过程中具有较好的自适应性、鲁棒性和高效率的特点。
- 李国锋李俊全
- 关键词：计算机系统反病毒技术计算机病毒免疫原理系统资源资源保护
- 密码产品安全风险评估技术研究
- 2012年
- 为了保证密码产品风险评估的客观性和准确性,提出了基于威胁分析的定量密码产品安全风险评估方法。针对现有基于安全威胁分析的风险评估方法中,安全威胁概率大都依靠专家经验确定的不足,引入贝叶斯理论,在安全威胁分析和安全防护措施分级的基础上,根据安全威胁和安全防护措施因果关系构建贝叶斯评估网络,计算安全威胁生效概率和产品安全风险值。应用该方法对HAIPE进行了风险评估,实验结果表明了该方法的有效性和合理性。
- 帅飞李俊全尤娟
- 关键词：安全措施贝叶斯网络安全风险评估
- 基于证据支持一致性分类的证据合成方法
- 2012年
- 利用D-S证据理论评估信息安全产品的安全等级时可能产生全冲突悖论、1冲突悖论、0冲突悖论。为解决该问题,提出一种基于证据支持一致性分类的证据合成方法。基于证据支持一致性对证据进行分类后,根据专家意见的重要程度,对证据进行折扣,并将D-S合成方法和加权平均方法相结合,用于合成分类证据。分析结果证明,该方法有更好的适用性和更低的计算复杂度。
- 帅飞李俊全万伟
- 基于空间和时间密度的入侵报警聚合研究被引量：2
- 2016年
- 针对分布式入侵检测系统在实际应用中存在大量重复报警和高误报率的问题,在研究DBSCAN算法的基础上,引入时间密度,提出一种基于空间和时间密度的抗噪声聚合算法(DBS&TCAN)。基于空间密度聚合局部报警信息和时间密度对局部聚合结果进行合并,可以有效减少重复报警并降低误报率。实验采用数据集测试的方法对算法进行了测试,并与相关研究工作进行比较和分析。结果表明,该算法具有较好的聚合效果,并在实时性方面体现出优势。
- 张靖王衡军李俊全郁滨
- 关键词：入侵检测系统报警聚合DBSCAN
- 多PKG环境下无双线性对的基于身份AKA协议被引量：1
- 2012年
- 提出一种多PKG环境下无双线性对的基于身份AKA协议,且在随机预言模型下,将协议的安全性证明规约到标准的计算性CDH假设。提出了相应的基于身份XCR与DCR签名体制,通过对两处体制进行安全性证明,实现对新协议的安全性证明。通过与已有协议的相关性能比较体现了新协议的优点。
- 尤娟夏松李俊全
- 关键词：基于身份认证密钥协商双线性对
