缓冲区溢出攻击语言研究与实现
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第1章 绪论 | 第11-23页 |
| ·研究背景与意义 | 第11-13页 |
| ·研究背景 | 第11-12页 |
| ·研究意义 | 第12页 |
| ·课题来源 | 第12-13页 |
| ·相关理论与技术基础 | 第13-19页 |
| ·缓冲区溢出攻击基础 | 第13-16页 |
| ·高级语言编译 | 第16-19页 |
| ·国内外研究现状 | 第19-21页 |
| ·缓冲区溢出攻击 | 第19-20页 |
| ·攻击语言 | 第20-21页 |
| ·存在的问题 | 第21页 |
| ·论文研究目标与内容 | 第21-22页 |
| ·研究目标 | 第21-22页 |
| ·研究内容 | 第22页 |
| ·论文组织结构 | 第22页 |
| ·小结 | 第22-23页 |
| 第2章 缓冲区溢出攻击及其高级语言描述 | 第23-40页 |
| ·缓冲区溢出攻击的分类 | 第23-28页 |
| ·栈溢出及其利用 | 第24页 |
| ·堆溢出及其利用 | 第24-27页 |
| ·Bss溢出及其利用 | 第27-28页 |
| ·三种溢出利用方式的比较 | 第28页 |
| ·栈溢出攻击分析 | 第28-36页 |
| ·一个远程缓冲区溢出攻击例子分析 | 第29-33页 |
| ·缓冲区溢出攻击抽象 | 第33-34页 |
| ·Windows与Linux/Unix下的差异 | 第34-36页 |
| ·溢出攻击的高级语言描述问题 | 第36-38页 |
| ·一种新的缓冲区溢出攻击思路 | 第38-39页 |
| ·小结 | 第39-40页 |
| 第3章 植入代码构成及描述语言定义 | 第40-53页 |
| ·植入代码构成元素 | 第40-42页 |
| ·shellcode | 第40-41页 |
| ·返回地址 | 第41页 |
| ·填充数据 | 第41-42页 |
| ·植入代码的构造 | 第42-46页 |
| ·构造类型 | 第42-44页 |
| ·构造植入代码的关键方法 | 第44-46页 |
| ·程序设计语言的定义 | 第46-52页 |
| ·程序设计语言的语法 | 第47-52页 |
| ·程序语言的语义 | 第52页 |
| ·小结 | 第52-53页 |
| 第4 章 缓冲区溢出攻击语言BOAL设计 | 第53-61页 |
| ·BOAL的设计目标 | 第53页 |
| ·缓冲区溢出攻击自动生成模型 | 第53-54页 |
| ·BOAL的基本构成 | 第54-55页 |
| ·BOAL的语法规则 | 第55-56页 |
| ·BOAL的形式化分析和证明 | 第56-60页 |
| ·证明BOAL的文法 | 第56-59页 |
| ·形式化分析BOAL能够完成溢出攻击 | 第59-60页 |
| ·小结 | 第60-61页 |
| 第5章 BOAL的实现 | 第61-70页 |
| ·开发环境 | 第61页 |
| ·总体设计 | 第61-62页 |
| ·模块设计 | 第62-66页 |
| ·词法扫描模块 | 第62-63页 |
| ·语法分析模块 | 第63-65页 |
| ·语义执行模块 | 第65-66页 |
| ·系统数据结构设计 | 第66-69页 |
| ·全局变量描述 | 第66-67页 |
| ·基本数据结构 | 第67-69页 |
| ·小结 | 第69-70页 |
| 第6章 BOAL的实验验证 | 第70-75页 |
| ·实验的验证目标 | 第70页 |
| ·实验环境 | 第70页 |
| ·验证步骤与记录 | 第70-73页 |
| ·实验结果分析与评价 | 第73-74页 |
| ·小结 | 第74-75页 |
| 总结与展望 | 第75-77页 |
| 1、论文工作总结 | 第75-76页 |
| 2、进一步研究工作 | 第76-77页 |
| 参考文献 | 第77-80页 |
| 攻读硕士期间发表的学术论文 | 第80-81页 |
| 致谢 | 第81页 |
