| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 1 引言 | 第9-14页 |
| ·课题的提出 | 第9页 |
| ·国内外研究现状 | 第9-12页 |
| ·本文的组织结构及主要工作 | 第12-14页 |
| 2 安全协议的常识 | 第14-27页 |
| ·密码学基础 | 第14-17页 |
| ·安全协议的基本定义 | 第17-19页 |
| ·常见的安全协议 | 第19-22页 |
| ·安全协议的安全性分析及攻击 | 第22-27页 |
| 3 颜色Petri网 | 第27-38页 |
| ·Petri网及其应用简介 | 第27页 |
| ·Petri网基本定义 | 第27-29页 |
| ·Petri网的性质 | 第29-34页 |
| ·颜色Petri网(Colored Petri Net)的基本定义 | 第34-37页 |
| ·赋时颜色Petri网 | 第37-38页 |
| 4 应用颜色Petri网分析安全协议 | 第38-53页 |
| ·分析方法概述 | 第38-42页 |
| ·基于颜色Petri网的安全协议分析方法 | 第42-46页 |
| ·典型攻击方法研究 | 第46-53页 |
| 5 安全协议实例分析 | 第53-75页 |
| ·引言 | 第53页 |
| ·NSSK协议 | 第53-75页 |
| 6 结论 | 第75-77页 |
| ·本文的主要工作 | 第75页 |
| ·对未来工作的展望 | 第75-77页 |
| 致谢 | 第77-78页 |
| 参考文献 | 第78-83页 |
| 详细摘要 | 第83-92页 |