| 【中文题名】 | 基于串空间模型的安全协议验证及算法研究 |
| 【英文题名】 | |
| 【学科专业】 | 计算机软件与理论 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2007-8-24 |
| 【中关键词】 | 安全协议,串空间模型,理想,认证测试,状态空间简化, |
| 【英关键词】 | security protocol,strand space model,ideal,authentication test,state space reduction, |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>计算技术、计算机技术>计算机的应用>> |
| 【论文摘要】 |
伴随着计算机网络的普及和电子商务新政务的发展，信息安全问题变得越来越关键。要保证信息的安全性，仅仅依赖良好的加密算法是不够的，在实际应用中，还需要有可信的机制为各个独立的通信实体分发密钥，并且在通信实体间进行身份认证，这就使人们研究出各种安全协议。
安全协议，是使用了密码学方法的网络通信协议，其目的就是为了在复杂的、不安全的网络环境中提供各种安全服务。安全协议的目的是保证信息的安全，但是如果安全协议本身存在漏洞，攻击者就会利用这些漏洞，对合法通信者造成危害。因此需要对安全协议进行分析和验证，来验证安全协议是否能够达到其预期的安全目标。
Strand Space模型是由Fábrega，Herzog和Guttman三人提出的一种形式化方法，该模型的提出为解决安全协议设计与分析的困难提供了一种可能，它是现有的安全协议形式化分析方法中最为直观、简洁、严格和有效的方法。本文在深入研究串空间理论的基础上，做了以下几个方面的工作：
1)深入了解了安全协议的安全性质，尤其是机密性与认证性，熟悉串空间理论模型及其协议验证方法；
2)运用串空间模型分析了MY-Helsinki协议，证明了... |
| 【论文题纲】 |
|
摘要 |
3-4 |
|
Abstract |
4-8 |
|
第一章 绪论 |
8-12 |
|
1.1 课题研究背景 |
8-9 |
|
1.2 课题研究意义 |
9-10 |
|
1.3 本文工作 |
10-12 |
|
第二章 安全协议形式化分析综述 |
12-21 |
|
2.1 密码学概述 |
12-14 |
|
2.1.1 密码学简介 |
12-13 |
|
2.1.2 密码学基本概念 |
13 |
|
2.1.3 密码体制的特点 |
13-14 |
|
2.2 安全协议的概念和安全性质 |
14-17 |
|
2.3 安全协议的形式化分析 |
17-21 |
|
2.3.1 安全协议分析的困难性 |
17-18 |
|
2.3.2 安全协议分析的基本假定 |
18 |
|
2.3.3 安全协议形式化分析方法分类 |
18-21 |
|
第三章 串空间理论模型及其应用研究 |
21-33 |
|
3.1 串空间基本概念 |
21-24 |
|
3.1.1 基本概念 |
21-23 |
|
3.1.2 攻击者模型 |
23-24 |
|
3.1.3 认证协议的一致性属性 |
24 |
|
3.2 利用串空间理论分析MY-Helsinki协议 |
24-30 |
|
3.2.1 MY-Helsinki协议描述 |
24-25 |
|
3.2.2 MY-Helsinki协议分析 |
25-30 |
|
3.3 理想和诚实 |
30-31 |
|
3.3.1 理想 |
30-31 |
|
3.3.2 入口点和诚实 |
31 |
|
3.4 运用理想分析Weakened-Yahalom协议的认证性 |
31-33 |
|
第四章 认证测试及其应用研究 |
33-40 |
|
4.1 基本概念 |
33-34 |
|
4.2 转换边和已转换边 |
34 |
|
4.3 认证测试 |
34-36 |
|
4.4 运用认证测试分析Weakened-Yahalom协议的认证性 |
36-38 |
|
4.5 理想和认证测试方法分析Weakened-Yahalom协议比较 |
38-40 |
|
第五章 动态串空间模型及其算法研究 |
40-53 |
|
5.1 动态串空间概念 |
40-42 |
|
5.2 状态空间消减规则 |
42-43 |
|
5.3 结点绑定算法的改进 |
43-46 |
|
5.4 丛扩展规则的增加 |
46-47 |
|
5.5 实例分析 |
47-53 |
|
5.5.1 Needham-Schroeder-Lowe协议分析 |
47-50 |
|
5.5.2 BAN-Yahalom协议分析 |
50-53 |
|
第六章 总结 |
53-54 |
|
参考文献 |
54-58 |
|
致谢 |
58-59 |
|
附录1 攻读硕士学位期间发表的论文 |
59 |
|
| 【DOI】 | LunWen.ID:2.2008.375780 |
