| 摘要 | 第1-5页 |
| ABSTRACT | 第5-6页 |
| 目录 | 第6-7页 |
| 第一章 绪论 | 第7-12页 |
| ·研究背景及意义 | 第7页 |
| ·国内外研究现状 | 第7-11页 |
| ·本文的主要研究内容 | 第11-12页 |
| 第二章 无线认证协议分析 | 第12-21页 |
| ·安全协议及其形式化方法分析 | 第12-15页 |
| ·无线网络 | 第15-18页 |
| ·无线认证协议 | 第18-19页 |
| ·本章小结 | 第19-21页 |
| 第三章 无线认证协议的模型检测技术研究 | 第21-33页 |
| ·模型检测技术的基本原理 | 第21-24页 |
| ·模型检测工具SPIN | 第24-31页 |
| ·线性时态逻辑LTL | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第四章 Aziz-Diffie协议的模型检测分析 | 第33-42页 |
| ·Aziz-Diffie协议简介 | 第33-34页 |
| ·Aziz-Diffie协议的模型检测分析 | 第34-39页 |
| ·Aziz-Diffie协议的Promela建模 | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 第五章 Aziz-Diffie协议的检测结果及改进 | 第42-49页 |
| ·模型检测结果 | 第42-45页 |
| ·缺陷所产生的影响 | 第45-46页 |
| ·Aziz-Diffie协议的改进 | 第46-48页 |
| ·本章小结 | 第48-49页 |
| 结论 | 第49-50页 |
| 致谢 | 第50-51页 |
| 参考文献 | 第51-52页 |