| 1 绪论 | 第1-28页 |
| ·课题的提出 | 第21页 |
| ·密码协议 | 第21-23页 |
| ·密码协议的安全性 | 第23-25页 |
| ·密码协议分类 | 第25-26页 |
| ·论文的安排 | 第26-28页 |
| 2 密码协议的形式化分析 | 第28-39页 |
| ·形式化分析的研究与进展 | 第28-30页 |
| ·BAN逻辑 | 第30-33页 |
| ·模型检测方法 | 第33-35页 |
| ·定理证明方法 | 第35-38页 |
| ·形式化分析技术小结 | 第38-39页 |
| 3 时延Petri网 | 第39-53页 |
| ·Petri网及其应用简介 | 第39-40页 |
| ·Petri网基本知识 | 第40-44页 |
| ·时延Petri网 | 第44-46页 |
| ·时延Petri网的基本分析方法 | 第46-53页 |
| 4 时延Petri网分析和评估密码协议的方法 | 第53-61页 |
| ·分析方法概述 | 第53-57页 |
| ·密码协议的评估方法 | 第57-59页 |
| ·TPN分析评估协议的方法和步骤 | 第59-61页 |
| 5 若干密码协议的TPN分析和评估 | 第61-77页 |
| ·引言 | 第61页 |
| ·MSR协议分析和评估 | 第61-65页 |
| ·Aziz-Diffie协议分析和评估 | 第65-70页 |
| ·TMN协议分析和评估 | 第70-72页 |
| ·本章小结 | 第72-77页 |
| 6 自动化密码协议分析工具TPN分析器的研究与开发 | 第77-81页 |
| ·时间Petri网的常用分析工具 | 第77-79页 |
| ·TPN分析器的结构 | 第79-81页 |
| 7 结论 | 第81-83页 |
| ·讨论 | 第81页 |
| ·本文的主要工作 | 第81页 |
| ·进一步的工作 | 第81-83页 |
| 致谢 | 第83-84页 |
| 参考文献 | 第84-89页 |
| 作者在读期间的研究成果 | 第89页 |