基于特征分析的缓冲区溢出发现技术研究
| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第1章 绪论 | 第9-19页 |
| ·课题研究背景 | 第9-11页 |
| ·缓冲区溢出攻击的特点分析 | 第11-15页 |
| ·什么是缓冲区溢出 | 第11-14页 |
| ·C语言常见安全漏洞 | 第14页 |
| ·缓冲区溢出是安全性问题 | 第14-15页 |
| ·避免缓冲区溢出 | 第15-16页 |
| ·基于编译器运行时边界检查 | 第15-16页 |
| ·基于库运行时边界检查 | 第16页 |
| ·国内外研究现状 | 第16-17页 |
| ·缓冲区溢出漏洞研究机构 | 第16-17页 |
| ·本文的研究内容 | 第17-19页 |
| 第2章 缓冲区溢出发现技术 | 第19-31页 |
| ·缓冲区溢出发现技术方法 | 第19页 |
| ·缓冲区溢出漏洞静态分析技术 | 第19-24页 |
| ·静态分析技术简介 | 第19-20页 |
| ·静态分析方法的特点 | 第20-21页 |
| ·静态分析的局限 | 第21页 |
| ·基于特征匹配的缓冲区溢出发现技术 | 第21-23页 |
| ·典型方法和工具 | 第23-24页 |
| ·缓冲区溢出动态分析技术 | 第24-29页 |
| ·态分析技术简介 | 第24-26页 |
| ·动态分析技术的特点 | 第26-27页 |
| ·动态分析技术的局限性 | 第27-28页 |
| ·典型的动态分析方法及工具 | 第28-29页 |
| ·本章小节 | 第29-31页 |
| 第3章 基于特征分析的缓冲区溢出发现技术研究 | 第31-38页 |
| ·静态分析基础 | 第31-32页 |
| ·缓冲区的抽象表示 | 第31-32页 |
| ·缓冲区溢出、空指针引用和整数溢出的共性 | 第32页 |
| ·整数区间运算和整型表达式的值区间的计算 | 第32-33页 |
| ·整数区间的运算规则 | 第32页 |
| ·整型表达式值区间的计算 | 第32-33页 |
| ·基于特征分析的缓冲区溢出发现技术 | 第33-36页 |
| ·整数范围限制的分析 | 第33-34页 |
| ·Wagner的约束处理方法 | 第34页 |
| ·改进的分析处理方法 | 第34-35页 |
| ·结果处理方法 | 第35-36页 |
| ·关键词搜索 | 第36-37页 |
| ·本章小结 | 第37-38页 |
| 第4章 缓冲区溢出漏洞发现系统方案设计与实现 | 第38-51页 |
| ·总体设计 | 第38-39页 |
| ·功能结构 | 第38-39页 |
| ·开发环境 | 第39页 |
| ·可扩展性 | 第39页 |
| ·缓冲区开辟搜索模块 | 第39-42页 |
| ·缓冲区开辟搜索方法 | 第39-41页 |
| ·搜索处理流程 | 第41-42页 |
| ·字符串属性分析处理模块 | 第42-43页 |
| ·字符串属性定义 | 第42页 |
| ·字符串属性处理流程 | 第42-43页 |
| ·特征分析处理模块 | 第43-45页 |
| ·基于词典的搜索 | 第43-44页 |
| ·回调函数 | 第44页 |
| ·特征分析模块流程 | 第44-45页 |
| ·交互界面设计 | 第45-50页 |
| ·选择图形开发包 | 第46-47页 |
| ·实际的界面 | 第47-48页 |
| ·面对对象的图形界面设计 | 第48-50页 |
| ·本章小结 | 第50-51页 |
| 第5章 基于特征分析的缓冲区溢出发现系统实验 | 第51-57页 |
| ·系统试证实验 | 第51-52页 |
| ·测试环境 | 第51页 |
| ·测试项目 | 第51-52页 |
| ·检测实例一 | 第52-53页 |
| ·检验自己做的测试源代码 | 第52页 |
| ·测试结果 | 第52-53页 |
| ·检测实例二 | 第53-55页 |
| ·检测工程项目 | 第53-54页 |
| ·测试结果 | 第54-55页 |
| ·验证系统测试结果的分析及结论 | 第55-56页 |
| ·测试结果数据统计 | 第55-56页 |
| ·结果分析 | 第56页 |
| ·本章小结 | 第56-57页 |
| 结论 | 第57-59页 |
| 参考文献 | 第59-62页 |
| 哈尔滨工业大学硕士学位论文原创性声明 | 第62页 |
| 哈尔滨工业大学硕士学位论文使用授权书 | 第62页 |
| 哈尔滨工业大学硕士学位涉密论文管理 | 第62-63页 |
| 致谢 | 第63页 |
