| 【中文题名】 | 基于Petri网的网络协议分析 |
| 【英文题名】 | The Analysis of Protocols Based on Petri Nets |
| 【学科专业】 | 计算机应用技术 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2006-12-28 |
| 【中关键词】 | 安全协议,密码协议,形式化分析,颜色Petri网,模型检测, |
| 【英关键词】 | security protocols,cryptographic protocol,formal analysis,Colored Petri Net,model checking, |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>计算技术、计算机技术>计算机的应用>> |
| 【论文摘要】 | 密码协议安全性分析是网络安全的一个难题，从20世纪30年代到现在，运用形式化方法对安全协议进行分析一直是计算机安全领域的研究热点。并产生了一些比较有影响的验证方法，如Ban逻辑方法、GSP方法、串空间模型方法、Paulson归纳法、Petri网方法等。形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。本文主要研究了基于颜色Petri网的密码协议分析方法，开展了以下方面的研究工作：
(1)对常见的密码协议进行了总结，阐述了各自的特点。
(2)用颜色Petri网作为工具来分析密码协议，并且给出了用它分析密码协议的具体方法和步骤。
(3)用颜色Petri网模型对具体的三个密码协议进行了分析，并对密码协议的一类攻击的特点做出了概括。 |
| 【论文题纲】 |
|
1.绪论 |
9-14 |
|
1.1 网络协议工程 |
9-10 |
|
1.2 基于Petri网的网络协议分析的研究历史与现状 |
10-12 |
|
1.3 密码协议分析的研究现状 |
12 |
|
1.4 本论文的研究重点 |
12-13 |
|
1.5 论文的组织结构 |
13-14 |
|
2.密码协议的概念及形式分析 |
14-27 |
|
2.1 密码协议的基本概念 |
14-15 |
|
2.2 常见的密码协议 |
15-19 |
|
2.3 密码协议的安全性 |
19-21 |
|
2.4 密码协议的形式分析 |
21-27 |
|
3.颜色Petri网概述及密码协议分析 |
27-42 |
|
3.1 Petri网定义 |
27-29 |
|
3.2 Petri网系统模拟 |
29-30 |
|
3.3 Petri网性质 |
30-36 |
|
3.4 颜色Petri网的基本定义 |
36-39 |
|
3.5 颜色Petri网的性质 |
39-40 |
|
3.6 颜色Petri网的密码协议分析 |
40-42 |
|
4.密钥协议分析实例 |
42-52 |
|
4.1 两种无线通信安全协议 |
42-48 |
|
4.2 TMN协议 |
48-52 |
|
5.结论 |
52-53 |
|
5.1 本文的主要工作 |
52 |
|
5.2 下一步的工作 |
52-53 |
|
致谢 |
53-54 |
|
参考文献 |
54-59 |
|
详细摘要 |
59-67 |
|
| 【DOI】 | LunWen.ID:2.2008.374225 |
