| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-8页 |
| Content | 第8-10页 |
| 第一章 绪论 | 第10-18页 |
| ·研究背景与意义 | 第10-11页 |
| ·国内外网络安全现状 | 第11-14页 |
| ·网络安全服务 | 第14-17页 |
| ·本文的主要内容及章节安排 | 第17-18页 |
| 第二章 安全协议形式化分析方法 | 第18-37页 |
| ·发展简介 | 第18-21页 |
| ·基于推理的结构性方法 | 第21-25页 |
| ·基于攻击的结构性方法 | 第25-30页 |
| ·基于定理证明的方法 | 第30-37页 |
| 第三章 数学难题，密码体制，安全协议，访问控制 | 第37-50页 |
| ·对称密钥加密及非对称密钥体制 | 第37-40页 |
| ·大数分解与RSA密码体制 | 第40-42页 |
| ·离散对数问题及EIGamal体制 | 第42-44页 |
| ·安全协议与访问控制 | 第44-48页 |
| ·NS协议 | 第44-47页 |
| ·大嘴青蛙协议 | 第47页 |
| ·Otway-Rees协议 | 第47-48页 |
| ·访问控制 | 第48-50页 |
| 第四章 基于BAN类逻辑的Ad hoc网络路由协议分析 | 第50-58页 |
| ·AODV协议及其受到的攻击 | 第50-52页 |
| ·改进的AODV协议 | 第52-54页 |
| ·协议的形式化分析 | 第54-58页 |
| 第五章 基于串空间的Helsinki协议分析 | 第58-66页 |
| ·符号与假设 | 第58-59页 |
| ·串空间基本理论 | 第59-62页 |
| ·改进型Helsinki协议的串空间模型 | 第62-66页 |
| 总结与展望 | 第66-67页 |
| 参考文献 | 第67-70页 |
| 研究成果 | 第70-72页 |
| 致谢 | 第72页 |