首页--工业技术论文--无线电电子学、电信技术论文--通信论文--通信保密与通信安全论文--密码的加密与解密论文

BAN类逻辑的研究

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

论文共63页,点击 下载论文
上一篇:CAN/LIN总线与汽车开关在载货汽车上的应用
下一篇:带式输送机多滚筒驱动的特性研究