目录 | 第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页 |