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

计算机应用 2016年第12期36卷 3454-3460页

作者：徐炜珊于磊冯俊池侯韶凡信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001 后勤科学研究所北京100071

针对基于Markov链模型的软件测试技术在测试数据生成时不考虑软件的结构信息,生成的测试数据集对代码路径的覆盖能力以及缺陷检测能力都较低的问题,将统计测试与基于Markov链模型的测试相结合,提出了一种新的软件测试模型——软件层次... 详细信息

针对基于Markov链模型的软件测试技术在测试数据生成时不考虑软件的结构信息,生成的测试数据集对代码路径的覆盖能力以及缺陷检测能力都较低的问题,将统计测试与基于Markov链模型的测试相结合,提出了一种新的软件测试模型——软件层次化模型。该模型涵盖了软件与外部环境之间的交互,同时描述了软件内部结构信息。还给出了该模型测试数据集的生成算法:首先生成符合使用情况的测试序列,然后为测试序列生成覆盖软件内部结构的输入数据。通过针对示例软件的实验结果表明,与基于Markov链模型的测试方法对比,基于软件层次化模型的测试在满足软件测试充分性要求的同时,提高了测试数据集的代码路径覆盖能力和缺陷检测能力。

关键词：软件测试 Markov链模型软件层次化模型测试数据生成

来源：评论

学校读者我要写书评

暂无评论

对象驱动的Linux内核crash分类技术研究

引用

小型微型计算机系统 2024年第4期45卷 926-932页

作者：何林浩魏强王允超郭志民信息工程大学数学工程与先进计算国家重点实验室郑州450001 国网河南省电力公司电力科学研究院郑州450052

Crash(程序崩溃)分析是漏洞挖掘与利用的关键阶段,精准的crash分类是crash分析和漏洞利用的前提.针对现有的Linux内核crash存在大量重复的问题,本文提出一种对象驱动的Linux内核crash分类方法.该方法将内核crash与内核对象的关系建模为... 详细信息

Crash(程序崩溃)分析是漏洞挖掘与利用的关键阶段,精准的crash分类是crash分析和漏洞利用的前提.针对现有的Linux内核crash存在大量重复的问题,本文提出一种对象驱动的Linux内核crash分类方法.该方法将内核crash与内核对象的关系建模为二部图结构,从而将crash分类问题转化为内核对象的相似性对比问题.首先,通过对crash执行后向污点分析提取crash相关的内核对象;其次,构造内核对象调用图计算内核与根本原因的相关性度量;最后,基于上述结果构造二部图实现crash相似性比较算法.基于上述方法,本文开发出了Linux内核crash分类的原型系统.通过在真实的数据集上进行实验,验证了系统的有效性和可用性,弥补了现有分类方法粒度较粗,存在误报较多的问题.

关键词： crash分类 Linux内核内核对象污点分析

来源：评论

学校读者我要写书评

暂无评论

二进制程序整型溢出漏洞的自动验证方法

引用

信息网络安全 2017年第5期 14-21页

作者：彭建山奚琪王清贤解放军信息工程大学河南郑州450002 数学工程与先进计算国家重点实验室河南郑州450002

整型溢出漏洞已成为威胁软件安全的第二大类漏洞,现有的整型溢出漏洞挖掘工具不支持自动验证漏洞,且现有的漏洞自动验证工具不支持整型溢出漏洞模式。因此,文章提出了一种二进制程序整型溢出漏洞的自动验证方法以填补这一空白。针对整... 详细信息

整型溢出漏洞已成为威胁软件安全的第二大类漏洞,现有的整型溢出漏洞挖掘工具不支持自动验证漏洞,且现有的漏洞自动验证工具不支持整型溢出漏洞模式。因此,文章提出了一种二进制程序整型溢出漏洞的自动验证方法以填补这一空白。针对整型溢出漏洞中有价值的IO2BO漏洞,为避免程序在缓冲区溢出过程中发生Crash导致无法劫持控制流,通过污点分析建立可疑污点集合以缩小待分析污点范围,利用污点回溯技术追踪污点来源,通过符号执行收集内存读写操作的循环条件,控制循环次数以覆盖堆栈关键数据,最后通过约束求解生成新样本,将IO2BO漏洞的自动验证问题转化为传统缓冲区溢出漏洞的自动验证。实验证明该方法能够自动验证典型的IO2BO漏洞,生成能够劫持控制流并执行任意代码的新样本。

关键词：漏洞验证符号执行污点分析整型溢出缓冲区溢出

来源：评论

学校读者我要写书评

暂无评论

基于机器学习的日志解析系统设计与实现

引用

计算机应用 2018年第2期38卷 352-356页

作者：钟雅郭渊博信息工程大学网络空间安全学院郑州450001 数学工程与先进计算国家重点实验室郑州450001

针对现有日志分类方法只适用于格式化的日志,且性能依赖于日志结构的问题,基于机器学习方法对日志信息解析算法LogSig进行了扩展改进,并设计开发了一个集数据处理与结果分析于一体的日志解析系统,包括原始数据预处理、日志解析、聚类分... 详细信息

针对现有日志分类方法只适用于格式化的日志,且性能依赖于日志结构的问题,基于机器学习方法对日志信息解析算法LogSig进行了扩展改进,并设计开发了一个集数据处理与结果分析于一体的日志解析系统,包括原始数据预处理、日志解析、聚类分析评价、聚类结果散点图显示等功能,在VAST 2011挑战赛的开源防火墙日志数据集上进行了测试。实验结果表明,改进后的算法在归类整理日志事件时的平均准确性达到85%以上;与原LogSig算法相比,日志解析精度提高了50%,同时解析时间仅为原先的25%,可用于大数据环境下高效准确地对多源非结构化日志数据进行解析。

关键词：日志解析机器学习聚类异常检测 LogSig算法

来源：评论

学校读者我要写书评

暂无评论

基于索引的完美模糊彩虹表时空折中攻击

引用

信息工程大学学报 2015年第4期16卷 405-412页

作者：宋玉涵光焱陈熹信息工程大学数学工程与先进计算国家重点实验室

提出一种新的完美模糊彩虹表预计算和在线分析方法,在预计算表的生成与存储过程中,将存储空间分块并设置索引,依据预计算链终节点对应的索引值进行存储,并在这一过程中完成对合并链的处理。在线分析阶段,借助索引对查表区域进行精确定位... 详细信息

提出一种新的完美模糊彩虹表预计算和在线分析方法,在预计算表的生成与存储过程中,将存储空间分块并设置索引,依据预计算链终节点对应的索引值进行存储,并在这一过程中完成对合并链的处理。在线分析阶段,借助索引对查表区域进行精确定位,有效减少了外存储器访问次数,提高了在线分析阶段的查表效率。与原有完美模糊彩虹表方法的对比表明,在相同的攻击成功率要求下,本方法预计算阶段的存储空间约减率可达到18%以上;而在线分析阶段,若综合考虑单向函数迭代与外存储器访问所需时间,文章方法对长度<8的全可打印字符口令进行攻击所需的在线阶段时间仅为原有方法的7.6%。

关键词：时空折中完美模糊彩虹表随机访问模型外部存储模型索引块

来源：评论

学校读者我要写书评

暂无评论

环Z/(2~e-1)上本原序列还原算法研究

引用

信息工程大学学报 2013年第2期14卷 129-134页

作者：毛竞朱宣勇戚文峰信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

通过建立非线性方程组的方法,给出一个还原算法,它只需要信息量长度的比特序列就可以还原整体序列;通过分析非线性方程组构建的计算量和方程项数的膨胀情况,给出了还原难度的定性评估;另外还给出一个基于最小次数项的二元域上非线性方... 详细信息

通过建立非线性方程组的方法,给出一个还原算法,它只需要信息量长度的比特序列就可以还原整体序列;通过分析非线性方程组构建的计算量和方程项数的膨胀情况,给出了还原难度的定性评估;另外还给出一个基于最小次数项的二元域上非线性方程组的求解算法。

关键词：线性递归序列本原序列还原算法非线性方程组

来源：评论

学校读者我要写书评

暂无评论

基于动态二进制插桩的密钥安全性检测

引用

网络与信息安全学报 2017年第11期3卷 50-58页

作者：林昊康绯光焱信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

针对加密软件中的密钥安全性问题,提出一种基于动态二进制插桩的密钥安全性检测方法。该方法面向CryptoAPI加密应用程序,首先通过对CryptoAPI密钥应用模式的分析,指出潜在的密钥安全性漏洞;然后以动态二进制分析平台Pin为支撑,动态记录... 详细信息

针对加密软件中的密钥安全性问题,提出一种基于动态二进制插桩的密钥安全性检测方法。该方法面向CryptoAPI加密应用程序,首先通过对CryptoAPI密钥应用模式的分析,指出潜在的密钥安全性漏洞;然后以动态二进制分析平台Pin为支撑,动态记录程序运行期间的加解密过程信息;在此基础上设计关联性漏洞检测算法,实现对密钥安全性的检测。测试结果表明,该方法能够有效检测出两大类密钥安全性漏洞。

关键词：密钥安全性检测动态二进制插桩 Pin平台 CryptoAPI加密应用程序

来源：评论

学校读者我要写书评

暂无评论

基于ARMv8架构gadget自动搜索框架

引用

计算机应用与软件 2016年第5期33卷 307-311,316页

作者：赵利军王震宇王奕森庄宽信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

为了在ARM公司最新发布的首款支持64位处理器的ARMv8架构上实现ROP(Return_Oriented Programmig)技术,设计了ARMv8架构上的ROP gadget的自动搜索工具。通过结合ARMv8架构指令系统的特点,首先在库文件搜索出所有的以RET指令结尾的短指令... 详细信息

为了在ARM公司最新发布的首款支持64位处理器的ARMv8架构上实现ROP(Return_Oriented Programmig)技术,设计了ARMv8架构上的ROP gadget的自动搜索工具。通过结合ARMv8架构指令系统的特点,首先在库文件搜索出所有的以RET指令结尾的短指令序列,并把这些指令序列存储在gadget库中,然后采用一些优化策略对该库进行优化,最后根据用户的输入在库中搜索到与用户输入功能相同的gadget链。通过对搜索工具搜索到的gadget的统计,结果表明gadget集具有图灵完整性,可以执行任意的操作。最后通过一个实例证明了ROP在ARMv8架构上的可行性。

关键词： ROP 指令序列自动搜索 ARMv8 图灵完整性

来源：评论

学校读者我要写书评

暂无评论

基于编译置换的指令随机化系统设计与实现

引用

计算机应用与软件 2017年第12期34卷 313-320页

作者：何红旗王奕森董卫宇朱怀东信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

指令集随机化技术是一种通过随机变换程序指令编码来抵御代码注入攻击的新型防御技术。现有指令集随机化技术还存在一定缺陷,如性能损耗大、指令数据混杂造成的编码难等。针对这些问题,提出一种基于编译置换的指令随机化技术。该技术在... 详细信息

指令集随机化技术是一种通过随机变换程序指令编码来抵御代码注入攻击的新型防御技术。现有指令集随机化技术还存在一定缺陷,如性能损耗大、指令数据混杂造成的编码难等。针对这些问题,提出一种基于编译置换的指令随机化技术。该技术在不降低防御效果的同时减少了随机化指令的数量,并在编译过程中实现了关键指令的随机置换,提高了指令随机化的性能和编码精确度。设计并实现了一套基于编译置换的指令随机化原型系统,验证了该技术的有效性。

关键词：指令随机化编译置换 ShellCode DynamoRIO 指令定位

来源：评论

学校读者我要写书评

暂无评论

还原卡在高校机房中的应用

引用

网络安全技术与应用 2014年第5期 90-91页

作者：谢江涛张卫清卢洪虎信息工程大学数学工程与先进计算国家重点实验室河南450001

随着高校计算机机房在高等教育中发挥越来越大的作用,高校计算机机房规模不断扩大、上机任务种类也逐渐增多,使得机房硬盘数据经常需要增减。还原卡利用硬盘网络对拷原理,可以很方便的在同类计算机之间进行数据传输和保护硬盘数据安全,... 详细信息

随着高校计算机机房在高等教育中发挥越来越大的作用,高校计算机机房规模不断扩大、上机任务种类也逐渐增多,使得机房硬盘数据经常需要增减。还原卡利用硬盘网络对拷原理,可以很方便的在同类计算机之间进行数据传输和保护硬盘数据安全,大大减少了管理员维护机房的工作量并提高了机房上机保障能力。还原卡具有的网络同传、保护数据、分配IP地址、远程开机、保护CMOS参数等功能,已经成为高校机房管理的必备品。本文主要介绍了还原卡的功能和特点,操作方法及使用过程中的注意事项。

关键词：机房管理硬盘保护网络同传

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：