学位论文 > 优秀研究生学位论文题录展示
网络协议的自动化Fuzz Testing漏洞挖掘方法
作 者: 刘建财
导 师: 李伟明
学 校: 华中科技大学
专 业: 信息安全
关键词: 网络协议分析 协议逆向工程 模糊测试 序列比对
分类号: TP393.08
类 型: 硕士论文
年 份: 2011年
下 载: 91次
引 用: 1次
阅 读: 论文下载
内容摘要
|
随着网络应用越来越复杂和重要,对网络协议的安全性要求也越来越高。但是如何测试网络协议的安全性一直是个非常困难的问题。Fuzz Testing作为一种重要的测试手段,通过大量数据的注入来测试网络协议的安全,能够发现拒绝服务、缓冲区溢出和格式化字符串等多种重要漏洞。但是手工进行Fuzz Testing需要精确了解网络协议细节并构造大量测试数据集,工作量过于繁重,导致覆盖率有限,效果也不好。为了解决这个问题,文中结合网络协议逆向工程和Fuzz Testing技术,提出了一种能够自动化识别网络协议并产生模糊器进行Fuzz Testing的漏洞挖掘方法。文中采用的协议逆向工程方法经过报文分类、报文格式识别、状态机构造等多个阶段实现,可以在没有先验知识的条件下,最大程度减少对人工干预的依赖,分析出协议报文的格式及协议状态机,为深入理解协议提供了基础。结合协议逆向工程,使用SPIKE实现目标网络协议模糊测试器的自动化生成。而整个处理过程中没有任何人工干预,极大地减轻了传统Fuzz Testing测试所需的繁杂而枯燥的工作量。经过测试FTP、TNS、EM、ISQLPlus等多种已知和未知网络协议,结果表明这种方法在漏洞挖掘方面效果超过手工,并显著提升了测试效率,为提高网络协议的安全性提供了良好的基础,具有重要的应用价值。
|
全文目录
摘要 4-5 Abstract 5-8 1 绪论 8-13 1.1 研究背景 8 1.2 国内外研究现状 8-11 1.3 主要研究内容 11-12 1.4 本文组织结构 12-13 2 报文分类及报文格式识别方法 13-29 2.1 报文分类技术 13-17 2.2 多序列比对技术 17-23 2.3 报文格式识别技术 23-28 2.4 本章小结 28-29 3 状态机构造技术 29-34 3.1 状态机构造技术 29-30 3.2 状态冲突解决方案 30-33 3.3 状态再融合算法 33 3.4 本章小结 33-34 4 网络协议自动化Fuzz Testi 34-37 4.1 漏洞挖掘原理 34-35 4.2 构造模糊器 35 4.3 本章小结 35-37 5 系统设计实现 37-47 5.1 系统结构设计 37-39 5.2 开发环境 39-40 5.3 系统实现 40-46 5.4 本章小结 46-47 6 测试和分析 47-61 6.1 协议逆向工程测试 47-55 6.2 漏洞挖掘测试 55-60 6.3 本章小结 60-61 7 展望与总结 61-63 7.1 全文总结 61-62 7.2 改进建议及后续研究方向 62-63 致谢 63-64 参考文献 64-68 附录1 攻读硕士学位期间发表的论文目录 68
|
相似论文
- 古细菌生物域内氨基酸替代矩阵的构建,Q936
- 基于遗传算法的模糊测试技术研究,TP311.53
- 拓展的隐马氏模型和基于遗传算法的参数估计方法,O211.62
- 木马网络通信特征提取技术研究,TP393.08
- 基于信息素强度的蚁群算法及其应用研究,TP301.6
- 基于动态污点分析的状态协议实现软件模糊测试方法研究,TP311.52
- 生物多序列比对研究算法,Q7-3
- 帕金森病相关基因的聚类分析研究,R742.5
- 基于锚点的多基因组序列比对算法,TP301.6
- 多普勒气象雷达图像逆风区的检测与识别,TN957.52
- 基于权值衡量网络协议的模糊测试,TP393.08
- PIP2对三种Kir通道调控机制的研究,Q26
- 面向Web安全的漏洞检测系统的研究与实现,TP393.08
- 基于模型的组群安全分析方法及应用,TP393.08
- 生物信息多序列比对算法研究,TP301.6
- 基于模糊测试的软件安全漏洞发掘技术研究,TP311.53
- HMM及其在生物信息学中的应用,O211.62
- 基于生物信息学对油菜fad2基因的综合分析,S565.4
- 烟草普通花叶病毒株系分化研究,S435.72
- 基于序列比对的特征自动提取关键技术研究,TP393.08
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 计算机网络 > 一般性问题 > 计算机网络安全
© 2012 www.xueweilunwen.com
|