Windows下二进制软件漏洞挖掘技术研究



Windows下二进制软件漏洞挖掘技术研究

分类1：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→一般性问题论文→安全保密论文
分类2：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

Windows下二进制软件漏洞挖掘技术研究

论文目录
摘要	第1-9页
ABSTRACT	第9-11页
第一章绪论	第11-17页
1.1 研究背景	第11-12页
1.2 相关研究工作	第12-14页
1.2.1 二进制软件漏洞建模	第12页
1.2.2 二进制插桩技术	第12-13页
1.2.3 二进制软件漏洞自动挖掘技术	第13-14页
1.3 主要研究内容	第14-16页
1.4 论文组织形式	第16-17页
第二章二进制软件漏洞挖掘方法	第17-24页
2.1 模糊测试方法	第17-19页
2.1.1 基本流程	第17-18页
2.1.2 测试用例生成方法	第18-19页
2.1.3 模糊测试方法评估	第19页
2.2 污点分析方法	第19-21页
2.2.1 污点引入策略	第19-20页
2.2.2 污点传播规则和污点检查	第20-21页
2.2.3 污点分析方法评估	第21页
2.3 符号执行方法	第21-23页
2.3.1 静态符号执行	第21-22页
2.3.2 动态符号执行	第22-23页
2.3.3 符号执行方法评估	第23页
2.4 本章小结	第23-24页
第三章二进制软件缓冲区溢出高危函数粗定位方法	第24-34页
3.1 缓冲区溢出漏洞的形式化模型	第24-25页
3.2 基于静态污点分析的缓冲区溢出高危函数粗定位算法	第25-30页
3.2.1 算法流程	第25-27页
3.2.2 中间语言表示	第27页
3.2.3 待分析基本块集生成	第27页
3.2.4 静态污点分析	第27-30页
3.3 实验与结果分析	第30-32页
3.3.1 实验设计	第30-31页
3.3.2 结果分析	第31-32页
3.4 本章小结	第32-34页
第四章基于离线符号执行的漏洞挖掘方法	第34-51页
4.1 静态分析敏感链提取方法	第34-36页
4.2 基于动态污点分析的关键字段标记方法	第36-39页
4.2.1 关键字段标记	第36-37页
4.2.2 关键字段标记方法	第37-39页
4.3 基于离线符号执行的指定路径执行方法	第39-43页
4.3.1 离线符号执行	第39-40页
4.3.2 指定路径执行方法	第40-41页
4.3.3 离线符号执行策略	第41-43页
4.4 Windows下缓冲区溢出漏洞的挖掘方法	第43-49页
4.4.1 栈溢出漏洞的挖掘方法	第43-47页
4.4.2 堆溢出漏洞的挖掘方法	第47-49页
4.5 本章小结	第49-51页
第五章 SymbolicWin漏洞挖掘系统	第51-69页
5.1 FuzzWin离线符号执行工具	第51-53页
5.1.1 FuzzWin离线符号执行工具架构	第51-52页
5.1.2 FuzzWin缺陷	第52-53页
5.2 SymbolicWin漏洞挖掘系统	第53-61页
5.2.1 SymbolicWin系统整体构架	第53-54页
5.2.2 SymbolicWin污点分析和符号执行引擎实现	第54-60页
5.2.3 SymbolicWin分析检测模块实现	第60-61页
5.3 系统测试及分析	第61-67页
5.3.1 系统相关模块有效性测试	第62-63页
5.3.2 系统挖掘效率测试性能比较	第63-66页
5.3.3 真实软件漏洞挖掘测试	第66-67页
5.4 本章小结	第67-69页
结束语	第69-71页
致谢	第71-73页
参考文献	第73-76页
作者在学期间取得的学术成果	第76页

本篇论文共76页，点击这进入下载页面。

更多论文
Windows下二进制软件漏洞挖掘技术研
Top-k查询处理优化技术研究
MOOC学习者学习行为分析及推送应用
MOOC课程建设标准及考试系统的自适
一种快速鲁棒的单图超分辨率重建方
关联成像中散斑场性质对成像质量的
Spark内存管理与缓存策略研究
关联规则算法Apriori的优化及基于S
分类器设计及其在序列图像目标识别
分布式海量视频人脸识别框架设计与
光纤激光泵浦As₂S
介观尺度微粒的可控光致旋转技术研
OpenVAS：一种面向Networked FPGA的
CO₂和（CO₂
倾斜印刷对数周期天线及其阵列研究
分队协同导航算法研究
SAR图像特征增强的正则化方法
共形相控阵雷达极化测量误差校正研
便携式穿墙雷达显控系统的设计与实
低轨卫星通信星座多目标优化设计
全向介质谐振天线研究
伪随机码调相连续波雷达关键技术研
TH/DS-CDMA体制地基导航系统测距接
SAR图像港口内舰船目标检测
OFDM系统中的IQ不平衡补偿算法研究
OFDM SAR信号分析与成像技术研究
PMI泡沫夹层结构复合材料吸湿性能研
低轨卫星网络移动性管理技术研究
三星时差频差无源定位与测速算法研
SAR图像飞机目标分类识别技术研究
UHMWPE纤维混凝土动态材料模型参数
TFSC栅线电极低温固化型银浆的制备
LiNi_0.8Co_0.15
中华按蚊触角转录本表达的研究
军队医疗救援保障能力分析与评价研
初级指挥生长干部学员军事训练法规
中国特色退役军官安置制度建设研究
军事信息系统需求优先级排序方法研
军校教员职业倦怠问题分析与对策研
全光纤掺钬ZBLAN光纤放大器中超连续
介质装载型石墨烯等离激元波导及其
倾斜光纤光栅的特性、制作及应用研
V波段渡越辐射振荡器的研究
光纤激光增益光纤温度分布式在线测
一种基于QHCF模型的模数转换器积分
光纤激光相干合成中的相位控制研究
F类高效率功率放大器的研究与设计
低阶大行程像差补偿器件设计与应用
中红外波段能量耦合系数/辐射系数的
MgO薄膜忆阻器的制备及其阻变与瞬态
NEPE固体推进剂点火与燃烧试验研究
倾转三旋翼无人机建模与姿态增稳控
乙烯燃料连续旋转爆震波传播特性研
一种微小型反作用飞轮控制器设计与
仿生异形空间飞网构型设计与仿真
一种适用于无人机组网的AODV协议改
PBT推进剂主要组份的表/界面特性及
不确定条件下高超声速飞行器轨迹优
GEO目标接近轨迹规划与控制方法研究
亚轨道飞行器总体设计优化方法研究
仿杰达姆型制导航空炸弹制导控制律
×××机械化桥战场抢修研究
制导航空弹药控制回路校正环节设计
制导航空炸弹制导控制系统集成测试
制导子母炸弹旋转抛撒决策研究
LTL语义描述下无人—有人机协同任务
中低速磁浮列车节能运行研究

Windows论文漏洞挖掘论文静态分析论文动态污点分析论文
版权申明：目录由用户qiantian**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved