检索结果-内蒙古大学图书馆

信息工程大学学报 2017年第4期18卷 492-497页

作者：李刚于磊侯韶凡张兴隆数学工程与先进计算国家重点实验室河南郑州450001 信息工程大学河南郑州450001

现有基于搜索的面向对象程序测试数据生成方法缺乏对参数列表的更新,导致测试数据生成效率不高。在传统基于遗传算法的面向对象程序测试数据生成方法的基础上,引入粒子群算法对参数列表进行更新,实现了方法序列和参数列表的共同更新。... 详细信息

现有基于搜索的面向对象程序测试数据生成方法缺乏对参数列表的更新,导致测试数据生成效率不高。在传统基于遗传算法的面向对象程序测试数据生成方法的基础上,引入粒子群算法对参数列表进行更新,实现了方法序列和参数列表的共同更新。测试结果表明,所提方法能大幅提高面向对象程序测试数据生成的成功率及生成效率。

关键词：面向对象程序测试数据生成基于搜索的方法参数列表更新

来源：评论

学校读者我要写书评

暂无评论

基于Intel VT硬件虚拟化的Rootkit技术

引用

信息工程大学学报 2016年第5期17卷 579-585页

作者：孔维亮曾光裕周登元信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

Intel VT硬件虚拟化技术使Rootkit可以利用底层优势实现深度隐藏。首先结合木马协同隐藏的思想,提出了基于Intel VT硬件虚拟化的Rootkit(HVRootkit)的协同隐藏模型,并给出形式化描述;然后根据该模型,在深入分析进程切换过程和操作系统... 详细信息

Intel VT硬件虚拟化技术使Rootkit可以利用底层优势实现深度隐藏。首先结合木马协同隐藏的思想,提出了基于Intel VT硬件虚拟化的Rootkit(HVRootkit)的协同隐藏模型,并给出形式化描述;然后根据该模型,在深入分析进程切换过程和操作系统内核数据结构的基础上,设计并实现了HVRootkit原型,该原型能够监控系统进程的切换过程,并通过修改与内核层进程视图和用户层进程视图相关的数据结构,隐藏系统进程。实验表明,HVRootkit原型符合协同隐藏的思想,能够实现对进程的深度隐藏,隐藏性能明显优于传统的内核级Rootkit。

关键词：内核级Rootkit 硬件虚拟化协同隐藏进程切换进程视图

来源：评论

学校读者我要写书评

暂无评论

减轮分组密码算法MIBS的分析

引用

信息工程大学学报 2017年第1期18卷 87-92页

作者：戴艺滨田亚陈少真信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

利用S盒和线性层的性质,设计一个简单而快速的差分路径搜索算法,给出差分路径的估计;利用S盒的输出差分集合和轮子密钥之间的关系,给出14轮的差分分析;同时,可以找到两个短的、高概率相关密钥差分特征,即7轮和5轮相关密钥差分特征,构成1... 详细信息

利用S盒和线性层的性质,设计一个简单而快速的差分路径搜索算法,给出差分路径的估计;利用S盒的输出差分集合和轮子密钥之间的关系,给出14轮的差分分析;同时,可以找到两个短的、高概率相关密钥差分特征,即7轮和5轮相关密钥差分特征,构成12轮相关密钥矩形区分器,实现14轮MIBS算法的相关密钥矩形攻击,攻击需要2^(55)个选择明文,计算复杂度为2^(55)。研究结果表明,对于差分分析和相关密钥矩形攻击,MIBS算法仍是安全的,同时,结果也丰富了MIBS算法的安全性分析。

关键词：密码分析分组密码 MIBS算法差分攻击相关密钥矩形攻击

来源：评论

学校读者我要写书评

暂无评论

基于MapReduce和Bagging的并行组合支持向量机

引用

信息工程大学学报 2018年第2期19卷 196-202,208页

作者：丁宣宣黄伟郭渊博苏晓丹信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

为提高大规模支持向量机的运算效率,提出一种基于MapReduce和Bagging的并行组合支持向量机训练算法。该算法包括两个MapReduce流程:(1)分布式并行训练,利用标准SVM算法进行多任务并行的分块训练,保留所有的支持向量,迅速缩减数据集;(2)... 详细信息

为提高大规模支持向量机的运算效率,提出一种基于MapReduce和Bagging的并行组合支持向量机训练算法。该算法包括两个MapReduce流程:(1)分布式并行训练,利用标准SVM算法进行多任务并行的分块训练,保留所有的支持向量,迅速缩减数据集;(2)集成式并行训练,采用Bagging集成算法的思想,结合随机次梯度SVM算法对剩余的支持向量训练,以提高算法的分类精度。实验结果表明,并行组合支持向量机训练算法在保持较高分类精度的基础上,能提高算法运行效率及数据处理能力,能很好地应用于大规模数据集的SVM训练。

关键词：支持向量机 MapReduce RHadoop 非线性SVM随机次梯度投影 Bagging

来源：评论

学校读者我要写书评

暂无评论

面向有状态网络协议的模糊测试优化方法

引用

信息工程大学学报 2023年第1期24卷 86-92页

作者：杨睿井靖戚旭衍任帅信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

针对现有模糊测试工具应用于有状态网络协议时存在的测试报文合法性差、测试效率低等问题,提出了一种面向有状态网络协议的模糊测试优化方法。首先通过分析待测协议的校验规则,利用可拓展标记语言对报文中与校验相关的字段进行标记,结... 详细信息

针对现有模糊测试工具应用于有状态网络协议时存在的测试报文合法性差、测试效率低等问题,提出了一种面向有状态网络协议的模糊测试优化方法。首先通过分析待测协议的校验规则,利用可拓展标记语言对报文中与校验相关的字段进行标记,结合标签对应的功能函数计算正确的校验数据,生成合法性高的测试报文;其次使用协议状态驱动算法识别当前协议状态并选择对应的测试报文完成测试。实验结果表明,与当前流行的协议模糊测试工具Boofuzz和Peach相比,该方法可有效提升测试报文合法性和测试效率,并发现了2个0day漏洞。

关键词：模糊测试有状态网络协议漏洞挖掘数据关联状态驱动

来源：评论

学校读者我要写书评

暂无评论

基于访问对的有害数据竞争定位方法

引用

信息工程大学学报 2017年第6期18卷 712-718,725页

作者：张高举郭绍忠王磊信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

在收集数据竞争访问对时,对内存访问记录进行过滤,只关注用户代码中共享变量,减少运行时开销;将有害的数据竞争分为两类,并根据不同特点设计了两种算法,有效地检测出之前没有检测到的有害数据竞争操作;实现了该原型系统LocRace,并用11... 详细信息

在收集数据竞争访问对时,对内存访问记录进行过滤,只关注用户代码中共享变量,减少运行时开销;将有害的数据竞争分为两类,并根据不同特点设计了两种算法,有效地检测出之前没有检测到的有害数据竞争操作;实现了该原型系统LocRace,并用11个常见的开源测试集对其进行评估。实验证明,LocRace可以以较低的开销有效地检测出程序中有害的数据竞争错误。

关键词：数据竞争错误定位并发程序

来源：评论

学校读者我要写书评

暂无评论

嵌入式软件逆向分析中的动静态分析交互机制

引用

信息工程大学学报 2015年第5期16卷 613-618页

作者：井靖何红旗司彬彬朱晓青刘春玲信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

由于动静态分析相结合的软件逆向分析方法缺乏规范的交互模式,软件逆向分析工作的效率低下,可复用性不强。基于嵌入式软件动静态分析流程,提出了由静至动(STD)、由动至静(DTS)以及动静结合(SDM)的3种动静态分析交互机制,详细给出了3种... 详细信息

由于动静态分析相结合的软件逆向分析方法缺乏规范的交互模式,软件逆向分析工作的效率低下,可复用性不强。基于嵌入式软件动静态分析流程,提出了由静至动(STD)、由动至静(DTS)以及动静结合(SDM)的3种动静态分析交互机制,详细给出了3种交互机制的实现方法。测试结果表明,STD、DTS和SDM交互机制适用于静态分析结果中异常结点的修正,动态提取信息的优化以及隐藏代码的识别等,能大幅提高嵌入式软件逆向分析工作的效率。

关键词：软件逆向分析静态分析动态分析动静结合交互机制

来源：评论

学校读者我要写书评

暂无评论

MD4差分路径的自动化构造算法

引用

信息工程大学学报 2014年第2期15卷 129-133,186页

作者：程宽韩文报信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

通过考察MD4算法及其差分路径自动化构造算法的原理,分析了差分路径自动化构造中发挥影响的各因素,对原算法进行了改进。改进算法通过充分考虑第32比特位差分的特殊性,有效控制自动化构造过程中相应的进位扩展次数,并利用了MD4本身的结... 详细信息

通过考察MD4算法及其差分路径自动化构造算法的原理,分析了差分路径自动化构造中发挥影响的各因素,对原算法进行了改进。改进算法通过充分考虑第32比特位差分的特殊性,有效控制自动化构造过程中相应的进位扩展次数,并利用了MD4本身的结构缺陷,构造得到了新的差分路径。相对于原算法,生成的差分路径含有更少的充分条件。

关键词： Hash函数 MD4 差分路径自动化构造

来源：评论

学校读者我要写书评

暂无评论

节点相关的网络安全风险量化评估方法

引用

信息工程大学学报 2015年第2期16卷 145-151页

作者：张树伟刘文芬王君信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

网络安全风险评估是网络系统安全管理的基础和前提。针对传统量化评估方法中普遍存在忽视节点关联性和差异性的问题,提出一种节点相关的网络安全风险量化方法。该方法通过在基于隐马尔科夫模型的量化评估过程中,引入网络节点关联性,解... 详细信息

网络安全风险评估是网络系统安全管理的基础和前提。针对传统量化评估方法中普遍存在忽视节点关联性和差异性的问题,提出一种节点相关的网络安全风险量化方法。该方法通过在基于隐马尔科夫模型的量化评估过程中,引入网络节点关联性,解决了已有网络安全风险量化评估方法中普遍忽视节点关联性的问题;同时考虑主机的相对重要性,充分刻画出不同主机对网络风险贡献的差异性。仿真实验表明,该方法能更加精确地量化网络安全风险值,及时发现网络节点的脆弱性,为网络安全策略调整提供依据。

关键词：网络安全风险评估网络节点关联性隐马尔科夫模型

来源：评论

学校读者我要写书评

暂无评论

并发错误检测技术研究综述

引用

信息工程大学学报 2017年第5期18卷 618-625页

作者：张高举郭绍忠许瑾晨王磊张辛信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

随着多核/众核设备的普及,多线程程序得到了广泛应用,而多线程程序执行的不确定性,导致严重的并发错误,同时也给并发错误检测带来了困难。如何有效地检测并发错误,提高多线程软件的可靠性成为亟待解决的问题。在前人研究的基础上,首先... 详细信息

随着多核/众核设备的普及,多线程程序得到了广泛应用,而多线程程序执行的不确定性,导致严重的并发错误,同时也给并发错误检测带来了困难。如何有效地检测并发错误,提高多线程软件的可靠性成为亟待解决的问题。在前人研究的基础上,首先对并发错误检测的诸多障碍进行分析,探究影响并发错误检测的根本原因。其次根据对程序运行的影响将并发错误检测结果分为良性错误、不可运行错误和破坏性错误3类,并在此基础上提出了并发错误检测的评价性指标。最后围绕上述指标,对并发错误检测技术的实现方法和研究现状进行了详细分析,并对并发错误检测可能的研究方向进行了展望,为并发错误检测技术的研究提供了基础性支撑。

关键词：多核设备多线程程序并发错误错误检测

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：