吴志勇
- 作品数：12 被引量：59H指数：4
- 供职机构：解放军电子工程学院更多>>
- 发文基金：博士研究生创新基金国家自然科学基金安徽省省重点实验室科研基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一个解决集合覆盖问题的二阶段遗传算法被引量：3
- 2011年
- 针对集合覆盖问题,提出一个高效的可解决大规模数据的二阶段遗传算法.二阶段遗传算法可以分为数据约简阶段和启发式求解阶段,论文形式化地描述了数据约简阶段的相关定义、定理和算法,证明了该约简方法的有效性;并给出了启发式求解阶段中针对集合覆盖问题的遗传算法中选择、交叉、变异算子的设计方法.对Beasley提出的45个测试用例的测试结果验证了二阶段遗传算法的求解效率和求解质量高于其它遗传算法.
- 吴志勇陈韬王红川孙乐昌张旻李秩
- 关键词：约简方法遗传算法
- 一个关于漏洞扫描插件的调度算法
- 2008年
- 论文通过对插件之间的运行关系的分析,提出了分析插件调度问题的依赖任务调度模型.通过对此模型的分析和研究,得到定理:任务线繁忙度的数学期望越大,效率越高.在上述研究的基础上,论文进一步设计出了贪心算法,并给出了相关的分析和测试.
- 吴志勇孙乐昌王岩钟高贤余升
- 关键词：贪心算法
- Fuzzing技术综述被引量：31
- 2010年
- 通过分析比较多种Fuzzing技术的定义,结合其当前发展所基于的知识和采用的方法,给出了Fuzzing技术的一个新的定义;重点从与黑盒测试技术的区别、测试对象、架构和测试数据产生机理四个方面总结了当前Fuzzing技术采用的一些新思想、新方法以及它们的缺陷。针对这些缺陷和实际应用中的需求,分别提出了当前Fuzzing技术下一步的具体研究方向和对应的研究方法。
- 吴志勇王红川孙乐昌潘祖烈刘京菊
- 关键词：FUZZING技术黑盒测试架构测试数据知识
- 数据流分析的二进制程序理解方法
- 2010年
- 二进制程序数据流静态分析首先将被分析的程序转换成数据流描述标记,确定每个基本块的输入、输出定值集合,结合程序控制流图,建立模块内数据流方程组,通过迭代的方法解数据流方程并推导出函数输入与输出之间的联系,实现函数功能的静态理解。经过实验表明,在不需要额外提示的情况下,能够准确识别二进制形式的字符串拷贝函数。
- 唐和平黄曙光吴志勇
- 关键词：反汇编
- 基于数据流分析的二进制代码程序理解方法被引量：2
- 2010年
- 通过数据流分析将程序转换成数据流描述标记,结合数据流到达-定值分析,确定每个基本块的输入、输出定值集合,推导出函数输入与输出间的联系,实现函数功能的静态理解。实验结果表明,在不需要额外提示的情况下,该方法能准确识别二进制形式的字符串拷贝等字符串处理函数。
- 唐和平吴志勇黄曙光李永成
- 关键词：数据流分析反汇编
- Fuzzing技术的样本数据组合研究
- 2010年
- 提出了基于样本数据组合的Fuzzing技术,并抽象出了解决样本数据覆盖问题(data sample covering problem,DSCP)的数学模型;为了更好地解决样本数据覆盖问题,提出了改进遗传算法(developed genetic algorithm,DGA),通过实例实验说明了DGA的有效性,并且通过仿真实验,验证了算法在求解复杂协议文件样本数据覆盖问题时比贪心算法和简单遗传算法具有更高的效率。
- 王红川吴志勇孙乐昌张旻刘京菊
- 关键词：遗传算法测试用例代码覆盖
- 遗传算法在多维Fuzzing技术中的应用被引量：2
- 2011年
- 对存在的多维Fuzzing技术中使用的遗传算法不能表示多种输入类型元素,不能充分使用已得到知识从而大大降低了基于知识的多维Fuzzing技术中提出的多维Fuzzing技术挖掘的漏洞的范围和能力,设计了一个包含选择、交叉、变异、修补等操作的可以表示大多数输入元素类型的遗传算法,提出一种多个输入元素的小染色体级连成一个大染色体,大染色体的遗传算子操作分解到各个小染色体之间操作的编码及操作方案,针对字符串型输入元素,提出一套可变长染色体的实值编码及操作方法.漏洞挖掘实验结果显示应用论文设计的遗传算法的多维Fuzzing技术具有更好的漏洞挖掘能力和更好的漏洞挖掘效率.
- 吴志勇王红川孙乐昌陈韬张旻
- 关键词：遗传算法漏洞挖掘
- 多维Fuzzing技术综述被引量：12
- 2010年
- Fuzzing技术是一项有效的动态漏洞挖掘技术,但是当前对多维Fuzzing技术的研究还不多见。把多维Fuzzing技术面临的问题归纳为组合爆炸、覆盖脆弱语句和触发潜在漏洞三个问题,对存在的多种多维Fuzzing技术进行了研究和比较,并总结出多维Fuzzing技术的三个基本步骤:定位脆弱语句、查找影响脆弱语句的输入元素和多维Fuzzing测试挖掘脆弱语句中的漏洞。最后,给出了多维Fuzzing技术的进一步发展方向。
- 吴志勇夏建军孙乐昌张旻
- 关键词：遗传算法
- 集合覆盖问题的数据约简研究被引量：2
- 2010年
- 针对当前解决大规模集合覆盖问题的算法普遍存在着效率不高的问题,提出了一套削减数据规模的约简方法,并给出了一个能够与其他所有解决集合覆盖问题算法相结合的约简算法。用Beasley提出的45个测试用例进行试验,结果显示贪心算法和遗传算法在结合了约简算法后能够在更少的时间内得到更优的解,表明该约简方法和约简算法可以有效提高传统算法和智能算法解决大规模集合覆盖问题的效率。
- 陈韬吴志勇孙乐昌张旻刘京菊
- 关键词：约简方法约简算法贪心算法遗传算法
- 基于Fuzzing的PNG漏洞挖掘技术被引量：4
- 2010年
- Fuzzing是一种利用黑盒测试思想的自动化漏洞挖掘技术。文章基于Fuzzing的漏洞挖掘思想,设计并实现了一个针对PNG文件查看软件的fuzz工具-PNGFuzzer,可以实现对PNG文件的漏洞测试,最后给出了该工具测试的实例。
- 夏建军孙乐昌吴志勇王红川刘京菊
- 关键词：漏洞漏洞挖掘FUZZING技术PNG
