| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 第1章 绪论 | 第8-17页 |
| 1.1 课题来源 | 第8页 |
| 1.2 课题背景和研究意义 | 第8-11页 |
| 1.3 国内外研究现状 | 第11-14页 |
| 1.3.1 国外研究现状 | 第11-13页 |
| 1.3.2 国内研究现状 | 第13-14页 |
| 1.4 本文的主要内容 | 第14-15页 |
| 1.5 本文的组织结构 | 第15-17页 |
| 第2章 无线Mesh网路由安全与Petri网理论 | 第17-30页 |
| 2.1 无线Mesh网路由协议与安全攻击 | 第17-24页 |
| 2.1.1 AODV（Ad hoc按需距离矢量路由协议） | 第17-18页 |
| 2.1.2 HWMP（混合无线Mesh协议） | 第18-20页 |
| 2.1.3 无线Mesh网路由安全攻击 | 第20-23页 |
| 2.1.4 无线Mesh网安全路由要求 | 第23-24页 |
| 2.2 Petri网理论 | 第24-28页 |
| 2.2.1 Petri网的概念与性质 | 第24-26页 |
| 2.2.2 Petri网的分析方法 | 第26-28页 |
| 2.2.3 时间着色Petri网 | 第28页 |
| 2.3 本章小结 | 第28-30页 |
| 第3章 虫洞攻击检测与避免及Petri网建模 | 第30-51页 |
| 3.1 虫洞攻击 | 第30-31页 |
| 3.2 虫洞攻击的安全路由方案 | 第31-33页 |
| 3.3 STDM虫洞攻击检测机制设计 | 第33-39页 |
| 3.3.1 网络环境 | 第33-34页 |
| 3.3.2 STDM安全路由机制 | 第34-36页 |
| 3.3.3 STDM算法 | 第36-39页 |
| 3.4 虫洞攻击的TCPN模型 | 第39-46页 |
| 3.4.1 颜色集定义 | 第40-41页 |
| 3.4.2 库所定义 | 第41-42页 |
| 3.4.3 变迁定义 | 第42页 |
| 3.4.4 函数定义 | 第42-43页 |
| 3.4.5 虫洞攻击的TCPN建模与分析 | 第43-46页 |
| 3.5 基于STDM安全路由机制的TCPN模型 | 第46-50页 |
| 3.5.1 新增或修改的颜色集 | 第46-47页 |
| 3.5.2 新增的库所定义 | 第47页 |
| 3.5.3 新增的变迁定义 | 第47-48页 |
| 3.5.4 新增或修改的函数定义 | 第48页 |
| 3.5.5 基于STDM的TCPN建模与分析 | 第48-50页 |
| 3.6 本章小结 | 第50-51页 |
| 第4章 模拟实验结果与分析 | 第51-56页 |
| 4.1 Petri网仿真实验工具CPN Tools介绍 | 第51-52页 |
| 4.2 虫洞攻击的TCPN模型实验结果 | 第52-54页 |
| 4.2.1 Petri网状态空间分析 | 第52页 |
| 4.2.2 Petri网可达性分析 | 第52-54页 |
| 4.3 基于STDM的TCPN模型实验结果 | 第54-55页 |
| 4.3.1 Petri网状态空间分析 | 第54-55页 |
| 4.3.2 Petri网可达性分析 | 第55页 |
| 4.4 本章小结 | 第55-56页 |
| 结论 | 第56-57页 |
| 参考文献 | 第57-64页 |
| 攻读硕士学位期间发表的论文及其它成果 | 第64-66页 |
| 致谢 | 第66页 |