摘要目前,信息安全已经成为信息时代的一个关键性的问题。安全协议是确保信息安全的关键手段。然而实践表明,设计一个正确可靠的安全协议是一项十分艰难的任务,许多广泛使用的安全协议被指出存在各种各样的安全漏洞。因此,分析和验证协议的安全性具有重要的应用价值。实践证明,形式化方法是安全协议安全性分析更为可靠和有效的途径。26796
本文主要研究应用ProVerif这一安全协议分析工具,来验证相关网络协议的安全性。主要的研究成果如下:
(1)介绍了安全协议的基本概念及安全协议形式化分析方法;
(2)描述了ProVerif的安装和使用,分析了ProVerif工具的整体结构;
(3)介绍了应用Pi演算的语法,分析了ProVerif对基本安全属性的验证;
(4)利用应用Pi演算对协议SE-AKA(secure and efficient group authentication and key agreement protocol)建立了验证模型,并利用ProVerif工具验证其保密性、认证性与匿名性,得出相应的分析结果。
关键字  安全协议 ProVerif 应用Pi演算 保密性 认证性 匿名性
毕业论文设计说明书外文摘要
Title    Security attack simulation based on ProVerif            
Abstract
At present,information security has become a key problem in the information age。Security protocol is the key means to ensure information security。However, practice shows that a correct and reliable security protocol design is a very difficult task, many widely used security protocols have been pointed out there is a variety of security vulnerabilities。
Therefore,it has important application value to analyze and verify security protocols。Formal methods have been proved to be an effective way for the analysis and verification of security protocols。
This paper mainly studies the application of ProVerif protocol analysis tool,to verify the security of network protocols。The main results are as follows:
(1) introduce the basic concept of security protocols and formal methods;
(2) describe the installation and use of ProVerif, analysis of the overall structure of the ProVerif tool;
(3) introduce the Applied Pi calculus,and analyze the verification of basic security attributes by ProVerif;
(4) model SE-AKA protocol in Applied Pi calculus and verify its confidentiality、authentication and anonymity by ProVerif, then get corresponding analysis results。
Keywords security protocol  ProVerif  Applied Pi calculus  confidentiality   authentication  anonymity
 目   次
1  绪论    1
1.1  安全协议    1
1.1.1  安全协议的基本概念    1
1.1.2  安全协议的常见攻击    1
1.1.3  安全协议的分类    1
1.1.4  安全协议的安全属性    2
1.2    安全协议形式化分析    3
1.2.1  安全协形式化分析的概念    3
1.2.2  安全协议形式化分析方法的分类    3
1.2.3  安全协议分析工具    4
1.3    课题研究的主要内容    4
1.4    章节安排    5
1.5    本章小结    5
2  ProVerif工具的介绍    6
2.1  ProVerif的体系结构    6
2.2  ProVerif的安装和使用    6
2.2.1  ProVerif的安装    6
2.2.1  ProVerif的使用    10
2.3  本章小结    11
3  应用PI演算    12
上一篇:基于智能手机的通用教学互动系统的设计实现
下一篇:JFinal的JSP代购门户网站的设计与实现

Android的音乐播放器的研究与应用

基于Android的五子棋设计与实现

jsp+mysql考试管理系统的设计与实现+ER图

php+mysql微擎系统的活动报名管理系统设计

基于云储存的文件管理系统设计+源代码

RFID射频识别技术的餐饮自...

安卓的生活助手设计与实现+源代码

哈萨克民歌中生态美學思想的表现【4092字】

中班幼儿“求助”型告状行为的访谈提纲

建议全面开放生育政策,...

地方政府跨区域联合环境污染治理研究

无刷电机调速系统设计任务书

天秤男婚后出轨能改好吗...

常用游戏对于小学生英语教学的影响

硅酸钇镥闪烁晶体的光学性能研究

室外办公系统创新设计研究

人性化的用户界面设计研究