| 摘要 | 第1-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-18页 |
| ·研究背景 | 第12-14页 |
| ·国内外研究现状 | 第14-16页 |
| ·论文研究目标及内容 | 第16-17页 |
| ·本文结构 | 第17-18页 |
| 第二章 相关研究 | 第18-31页 |
| ·Petri 网的基本理论 | 第18-21页 |
| ·Petri 网的定义 | 第18-19页 |
| ·Petri 网的性质 | 第19-20页 |
| ·Petri 的理论分析方法 | 第20-21页 |
| ·攻击树的基本理论 | 第21-22页 |
| ·威胁模型 | 第22-24页 |
| ·标识资源 | 第23页 |
| ·创建总体体系结构 | 第23页 |
| ·分解应用程序 | 第23页 |
| ·识别威胁 | 第23-24页 |
| ·记录威胁 | 第24页 |
| ·评价威胁 | 第24页 |
| ·缓冲区溢出攻击原理 | 第24-30页 |
| ·栈溢出攻击原理 | 第25-27页 |
| ·堆溢出攻击原理 | 第27-29页 |
| ·数据段/BSS 段溢出攻击原理 | 第29-30页 |
| ·本章小结 | 第30-31页 |
| 第三章 基于Petri 网的内存保护机制MPP 模型 | 第31-40页 |
| ·MPP 模型的结构分析 | 第31-34页 |
| ·MPP 模型框架 | 第32页 |
| ·模型本体的构建准则 | 第32-33页 |
| ·模型的层次结构 | 第33-34页 |
| ·MPP 模型的构建 | 第34-39页 |
| ·MPP 模型本体的核心概念集 | 第34-36页 |
| ·内存保护机制分析图的核心概念集 | 第36页 |
| ·操作系统内存保护机制分析 | 第36-37页 |
| ·内存保护机制状态提取 | 第37-39页 |
| ·从内存保护机制到MPP 模型的映射 | 第39页 |
| ·本章小结 | 第39-40页 |
| 第四章 内存保护威胁模型的攻击树安全分析方法 | 第40-49页 |
| ·利用攻击树标识缓冲区溢出威胁 | 第40-42页 |
| ·缓冲区溢出攻击方法 | 第40-41页 |
| ·缓冲区溢出攻击树的构造 | 第41-42页 |
| ·缓冲区溢出攻击风险评估方法研究 | 第42-46页 |
| ·攻击树风险评估过程 | 第42-43页 |
| ·缓冲区溢出攻击风险评估 | 第43-44页 |
| ·缓冲区溢出攻击风险值算法 | 第44-46页 |
| ·MPP 模型安全性的攻击树判定算法 | 第46-48页 |
| ·攻击集的构造 | 第46页 |
| ·MPP 模型的安全性判定算法 | 第46-48页 |
| ·算法分析 | 第48页 |
| ·本章小结 | 第48-49页 |
| 第五章 MPP 模型在Windows 上的实现与验证 | 第49-64页 |
| ·Windows Vista 内存保护关键技术 | 第49-54页 |
| ·地址空间分布随机化ASLR | 第49-51页 |
| ·数据执行保护DEP | 第51页 |
| ·GS | 第51-52页 |
| ·SafeSEH | 第52-54页 |
| ·Windows Vista MPP 模型的构建 | 第54-56页 |
| ·Windows Vista 内存保护机制分析 | 第54-55页 |
| ·Vista MPP 模型状态提取及构建 | 第55-56页 |
| ·Windows Vista 内存保护机制的脆弱性分析 | 第56-58页 |
| ·Windows Vista 缓冲区溢出攻击树模型描述 | 第56-57页 |
| ·Vista 内存保护机制安全性分析 | 第57-58页 |
| ·实验结果 | 第58-63页 |
| ·脆弱性分析 | 第58-60页 |
| ·实验环境 | 第60页 |
| ·实验过程及结果 | 第60-63页 |
| ·本章小结 | 第63-64页 |
| 第六章 总结与展望 | 第64-66页 |
| ·本文工作总结 | 第64页 |
| ·展望 | 第64-66页 |
| 致谢 | 第66-68页 |
| 参考文献 | 第68-71页 |
| 作者在学期间取得的学术成果 | 第71页 |
