| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 1 绪论 | 第10-26页 |
| ·研究背景 | 第10-13页 |
| ·安全协议的基本概念 | 第13-16页 |
| ·国内外研究现状 | 第16-25页 |
| ·本文研究的主要内容 | 第25-26页 |
| 2 安全协议研究的相关基础知识 | 第26-41页 |
| ·Dolev-Yao模型 | 第26-28页 |
| ·串空间模型 | 第28-29页 |
| ·安全协议缺陷 | 第29-33页 |
| ·针对安全协议攻击方法 | 第33-40页 |
| ·本章小结 | 第40-41页 |
| 3 安全协议分析逻辑及其缺陷 | 第41-71页 |
| ·BAN逻辑及其缺陷 | 第41-56页 |
| ·Kailar逻辑及其缺陷 | 第56-70页 |
| ·本章小结 | 第70-71页 |
| 4 一种分析和设计安全协议的新逻辑CPL | 第71-87页 |
| ·CPL逻辑的符号定义 | 第71-73页 |
| ·CPL逻辑的分析规则 | 第73-77页 |
| ·CPL逻辑分析安全协议步骤 | 第77-78页 |
| ·CPL逻辑的设计规则 | 第78-84页 |
| ·CPL逻辑设计安全协议的步骤 | 第84-85页 |
| ·本章小结 | 第85-87页 |
| 5 CPL逻辑的相关理论证明 | 第87-95页 |
| ·CPL逻辑的语义 | 第87-88页 |
| ·分析规则证明 | 第88-94页 |
| ·本章小结 | 第94-95页 |
| 6 CPL逻辑的应用 | 第95-110页 |
| ·用CPL逻辑分析与设计身份认证协议 | 第95-100页 |
| ·用CPL逻辑分析与设计对称密钥分配协议 | 第100-107页 |
| ·CPL逻辑对改进Andrew RPC协议的正确性验证 | 第107-109页 |
| ·本章小结 | 第109-110页 |
| 7 总结与展望 | 第110-112页 |
| ·全文总结 | 第110-111页 |
| ·研究展望 | 第111-112页 |
| 致谢 | 第112-113页 |
| 参考文献 | 第113-128页 |
| 附录1 攻读博士学位期间发表的论文目录和从事的科研项目 | 第128-130页 |
| 附录2 符号说明 | 第130-131页 |