| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 第一章 引言 | 第8-14页 |
| ·研究背景 | 第8-9页 |
| ·安全协议的分析和设计现状 | 第9-11页 |
| ·安全协议的分析理论现状 | 第9-10页 |
| ·安全协议的设计理论现状 | 第10-11页 |
| ·主要工作及创新点 | 第11-12页 |
| ·论文的组织结构 | 第12-13页 |
| ·本章小结 | 第13-14页 |
| 第二章 密码学基础知识 | 第14-20页 |
| ·密码体制的基本原理 | 第14页 |
| ·密码系统模型 | 第14-15页 |
| ·密码算法分类 | 第15-16页 |
| ·根据加密算法的特点分类 | 第15-16页 |
| ·根据加密算法对明文的处理方式分类 | 第16页 |
| ·目前常见的密码攻击技术 | 第16-17页 |
| ·密钥管理 | 第17-19页 |
| ·密钥的管理问题 | 第17-18页 |
| ·密钥的生成 | 第18页 |
| ·密钥的分配 | 第18-19页 |
| ·本章小结 | 第19-20页 |
| 第三章 认证协议概述 | 第20-34页 |
| ·引言 | 第20页 |
| ·认证协议的概念 | 第20-21页 |
| ·认证协议的分类 | 第21-23页 |
| ·从功能上来分 | 第21页 |
| ·根据协议中采用的密码体制来分 | 第21-22页 |
| ·根据协议的裁决情况来分 | 第22页 |
| ·根据协议中涉及的主体数目来分 | 第22页 |
| ·根据认证的方式来分 | 第22页 |
| ·根据消息的新鲜性来分 | 第22页 |
| ·根据协议功能来分 | 第22-23页 |
| ·根据认证协议的目的来分 | 第23页 |
| ·认证协议的安全性质 | 第23-24页 |
| ·认证协议的运行系统模型 | 第24-26页 |
| ·认证协议的安全缺陷及受到的攻击形式与实例 | 第26-33页 |
| ·认证协议的缺陷 | 第27-28页 |
| ·认证协议的攻击方法与实例 | 第28-33页 |
| ·本章小结 | 第33-34页 |
| 第四章 抗重放和类型缺陷攻击认证协议的设计原则和方法 | 第34-49页 |
| ·认证协议中消息的理解 | 第34-35页 |
| ·重放攻击和类型缺陷攻击简介 | 第35-39页 |
| ·重放攻击 | 第36-37页 |
| ·类型缺陷攻击 | 第37-39页 |
| ·抗重放和类型缺陷攻击的设计原则和方法 | 第39-42页 |
| ·认证协议的分析与修改 | 第42-48页 |
| ·Abadi-Needhan改进版本的Otway-Rees协议的重放攻击的分析与修改 | 第42-43页 |
| ·BAN-Yahalom协议的重放与类型缺陷攻击的分析与修改 | 第43-45页 |
| ·Yahalom协议的重放与类型缺陷攻击的分析与改进 | 第45-48页 |
| ·本章小结 | 第48-49页 |
| 第五章 基于抗重放和类型缺陷攻击认证协议的BAN逻辑的分析与改进 | 第49-66页 |
| ·BAN逻辑的概述 | 第49-55页 |
| ·基本术语与符号 | 第49-50页 |
| ·主要推理规则 | 第50-51页 |
| ·协议分析的任务及步骤 | 第51-52页 |
| ·认证的目标 | 第52页 |
| ·NS认证协议的BAN逻辑分析 | 第52-54页 |
| ·BAN逻辑的缺陷 | 第54-55页 |
| ·BAN类逻辑简介 | 第55-57页 |
| ·BAN逻辑的改进 | 第57-65页 |
| ·初始假设的改进 | 第57-60页 |
| ·推理公式的改进 | 第60-62页 |
| ·用改进的BAN逻辑对认证协议的分析 | 第62-65页 |
| ·本章小结 | 第65-66页 |
| 第六章 结束语 | 第66-68页 |
| ·论文主要工作总结 | 第66页 |
| ·研究展望 | 第66-68页 |
| 致谢 | 第68-69页 |
| 参考文献 | 第69-71页 |
| 附录 | 第71-72页 |
