基于Petri网的密码协议分析

发布时间：2017-06-27 14:16

  本文关键词：基于Petri网的密码协议分析，由笔耕文化传播整理发布。

【摘要】：密码协议的安全性分析对于保障计算机网络的安全通信具有重要意义。运用形式化方法对密码协议进行分析一直是该领域的研究热点。目前密码协议的形式分析方法包括:逻辑方法、模型检测方法、定理证明方法和Petri网方法等,这些方法各自有它们的优点和缺点。本文主要针对Petri网方法在密码协议分析中存在的一些不足,研究将Petri网方法和模型检测方法的一些理论成果结合起来对密码协议进行分析,取得了如下结果: 1.提出将运行模式法和Petri网建模结合起来分析密码协议的思想,给出了协议运行模式的基础Petri网模型和攻击Petri网模型的概念,并阐述了两者与密码协议分析之间的关系。 2.给出协议运行模式的基础Petri网模型和攻击Petri网模型的构造方法,在此基础上给出密码协议分析的具体步骤。 3.具体对Needham—Schroeder公钥协议,Helsinki协议以及TMN协议进行了分析,并对密码协议的一类攻击的特点做出了概括。 本文工作的特点是: 1.利用协议的运行模式来指导Petri网建模,这使得我们的方法与一般Petri网方法分析密码协议的思路有所不同。 2.以一个协议的两个实例并行运行时可能存在的攻击为例,探讨了多个实例并行运行情况下的协议安全问题。
【关键词】：密码协议 形式分析 Petri网 模型检测 运行模式
【学位授予单位】：山东科技大学
【学位级别】：硕士
【学位授予年份】：2005
【分类号】：TN918.1
【目录】：

• 1 绪论17-21
• 1.1 课题的提出17
• 1.2 密码协议分析的研究现状17-19
• 1.3 论文的研究思路和内容安排19-21
• 2 密码协议的形式分析21-30
• 2.1 密码协议基本概念21-22
• 2.2 密码协议的安全性22-24
• 2.3 密码协议的形式分析24-30
• 3 Petri网概述30-40
• 3.1 Petri网及其应用简介30
• 3.2 Petri网定义30-32
• 3.3 Petri网系统模拟32-35
• 3.4 Petri网性质分析35-40
• 4 基于运行模式法和Petri网的密码协议分析40-50
• 4.1 密码协议的运行模式分析法40-41
• 4.2 协议运行模式的Petri网模型41-44
• 4.3 协议分析的具体步骤44-48
• 4.4 本章小结48-50
• 5 密码协议分析实例50-61
• 5.1 Helsinki协议分析50-54
• 5.2 TMN协议分析54-60
• 5.3 本章小结60-61
• 6 结束语61-63
• 6.1 本文的主要工作61
• 6.2 本文工作的特点和不足61-62
• 6.3 下一步的工作62-63
• 致谢63-64
• 参考文献64-68

【引证文献】

中国硕士学位论文全文数据库 前1条

1 刘冠君;基于网络加密卡的传输层基本协议研究[D];黑龙江大学;2012年

  本文关键词：基于Petri网的密码协议分析，，由笔耕文化传播整理发布。

本文编号：490111