| 目录 | 第1-9页 |
| 缩略词说明 | 第9-10页 |
| 第一章 MANET安全路由协议 | 第10-15页 |
| ·移动自主网简介 | 第10-11页 |
| ·安全协议 | 第11-12页 |
| ·移动自主网安全协议 | 第12-14页 |
| ·安全协议的安全目标 | 第14-15页 |
| 第二章 安全路由协议 | 第15-19页 |
| ·路由请求 | 第16页 |
| ·请求传播 | 第16-17页 |
| ·路由回答 | 第17页 |
| ·回答确认 | 第17-18页 |
| ·SRP评注 | 第18页 |
| ·Kerberos协议 | 第18-19页 |
| 第三章 SPI演算 | 第19-26页 |
| ·SPI演算简介 | 第19-20页 |
| ·SPI演算语法 | 第20-22页 |
| ·SPI演算语义 | 第22-25页 |
| ·SPI演算的特点 | 第25-26页 |
| 第四章 攻击者模型的建立 | 第26-27页 |
| 第五章 SRP安全性分析 | 第27-33页 |
| ·SPI演算下攻击者进程描述 | 第27-28页 |
| ·SRP中路由发现SPI演算表示 | 第28-33页 |
| 第六章 对SRP协议的建议 | 第33-35页 |
| ·SRP协议缺陷的修正 | 第33-34页 |
| ·DoS(Denial of Service)的移除 | 第34-35页 |
| ·修正后的安全性 | 第35页 |
| 第七章 Kerberos的SPI演算表示 | 第35-38页 |
| ·Kerberos协议的SPI演算的形式化表示 | 第35-36页 |
| ·Kerberos协议认证性的认证 | 第36-37页 |
| ·Kerberos协议的缺陷 | 第37-38页 |
| 第八章 结束语 | 第38-40页 |
| ·本文工作总结 | 第38页 |
| ·进一步的研究内容 | 第38-40页 |
| 参考文献 | 第40-44页 |
| 攻读硕士学位期间发表的论文情况 | 第44-45页 |
| 致谢 | 第45页 |