| 目录 | 第1-6页 |
| CONTENTS | 第6-8页 |
| 摘要 | 第8-10页 |
| ABSTRACT | 第10-12页 |
| 符号说明 | 第12-13页 |
| 第一章 引言 | 第13-15页 |
| ·前言 | 第13-14页 |
| ·论文安排 | 第14-15页 |
| 第二章 安全协议的背景知识及基本概念 | 第15-24页 |
| ·密码学基础 | 第15-19页 |
| ·密码体制分类 | 第15-16页 |
| ·三种密码体制性质的分析 | 第16-17页 |
| ·散列函数以及数字签名 | 第17-19页 |
| ·安全协议的一些基本概念 | 第19-23页 |
| ·安全协议的分类 | 第19-20页 |
| ·安全协议系统模型 | 第20-22页 |
| ·安全协议的安全性质 | 第22-23页 |
| ·对安全协议的攻击 | 第23页 |
| ·小结 | 第23-24页 |
| 第三章 安全协议形式化分析的历史与现状 | 第24-34页 |
| ·符号模型方法 | 第24-32页 |
| ·Dolev-Yao模型 | 第25页 |
| ·逻辑推导方法 | 第25-29页 |
| ·攻击检测方法 | 第29-31页 |
| ·定理证明方法 | 第31-32页 |
| ·计算模型方法 | 第32页 |
| ·小结 | 第32-34页 |
| 第四章 BAN类逻辑的缺陷分析 | 第34-44页 |
| ·BAN逻辑的介绍 | 第34-37页 |
| ·BAN逻辑的初始假设 | 第34-35页 |
| ·BAN逻辑结构语句要素 | 第35页 |
| ·BAN逻辑的推理规则 | 第35-37页 |
| ·BAN逻辑的推理步骤 | 第37页 |
| ·BAN类逻辑的缺陷分析 | 第37-43页 |
| ·现有的对BAN类逻辑的一些缺陷分析 | 第37-40页 |
| ·个人对BAN类逻辑的缺陷分析 | 第40-43页 |
| ·BAN逻辑的两个缺陷分析 | 第41-43页 |
| ·BAN逻辑的两个缺陷对BAN类逻辑的影响 | 第43页 |
| ·小结 | 第43-44页 |
| 第五章 SVO逻辑的改进 | 第44-53页 |
| ·SVO逻辑 | 第44-48页 |
| ·SVO逻辑的基本结构 | 第44-46页 |
| ·SVO逻辑的推理规则以及公理 | 第46-48页 |
| ·SVO逻辑的改进 | 第48-50页 |
| ·引入逻辑环境模型 | 第48-49页 |
| ·Dolev-Yao模型 | 第48页 |
| ·Dolev-Yao模型的改进 | 第48-49页 |
| ·SVO逻辑语义及公理的改进 | 第49-50页 |
| ·应用改进后的SVO逻辑分析——改进的Otway-Rees协议 | 第50-52页 |
| ·本章小结 | 第52-53页 |
| 第六章 总结 | 第53-55页 |
| 参考文献 | 第55-62页 |
| 致谢 | 第62-63页 |
| 学位论文评阅及答辩情况表 | 第63页 |