| 中文摘要 | 第6-7页 |
| 英文摘要 | 第7-8页 |
| 1. 导言 | 第10-13页 |
| 2. 密码学方法 | 第13-22页 |
| 2.1. 概述 | 第13-18页 |
| 2.2. 典型的经典密码方法 | 第18-19页 |
| 2.3. 现代密码算法 | 第19-22页 |
| 3. 协议及其安全性 | 第22-29页 |
| 3.1. 密码协议的特点 | 第22-23页 |
| 3.2. 密码协议的表示方法 | 第23-25页 |
| 3.3. 密码协议的类型 | 第25-27页 |
| 3.4. 基于密码学方法的协议安全性分析过程 | 第27-29页 |
| 4. 逻辑方法 | 第29-46页 |
| 4.1. 逻辑学的发展 | 第29-35页 |
| 4.2. BAN逻辑 | 第35-38页 |
| 4.3. BAN类逻辑及进一步扩展 | 第38-42页 |
| 4.4. 最新的进展 | 第42-43页 |
| 4.5. 利用逻辑方法对密码协议进行安全性分析的过程 | 第43-46页 |
| 5. 逻辑方法的优势与不足 | 第46-49页 |
| 5.1. 逻辑方法和密码学方法在分析密码协议安全性上的对比 | 第46-47页 |
| 5.2. 逻辑方法和经验方法在分析密码协议安全性上的对比 | 第47-49页 |
| 6. 几点哲学意蕴 | 第49-54页 |
| 6.1. 密码协议的实在性 | 第49-50页 |
| 6.2. 理性的作用和限度 | 第50-52页 |
| 6.3. 知识的关联和整合 | 第52-54页 |
| 7. 结论 | 第54-55页 |
| 参考文献 | 第55-57页 |
| 后记 | 第57页 |
