重庆时时彩有人控制吗|重庆时时彩的规律

打赏

基于ProVerif的安全攻击仿真+源代码

时间:2018-08-09 16:58来源:毕业论文
设计一个正确可靠的安全协议是一项十分艰难的任务,许多广泛使用的安全协议被指出存在各种各样的安全漏洞。因此,分析和验证协议的安全性具有重要的应用价值

摘要目前,信息安全已经成为信息时代的一个关键性的问题。安全协议是确保信息安全的关键手段。然而实践表明,设计一个正确可靠的安全协议是一项十分艰难的任务,许多广泛使用的安全协议被指出存在各种各样的安全漏洞。因此,分析和验证协议的安全性具有重要的应用价值。实践证明,形式化方法是安全协议安全性分析更为可靠和有效的途径。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。 源自:六-维!论*文`网.加7位QQ3249`114 重庆时时彩的规律 www.mamitama.com
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 本文来源:http://www.mamitama.com/a/www.zhulang.com/

重庆时时彩的规律 www.mamitama.com,加强基层组织建设是全面从严治党的基础性工程。同时,个体整个生命周期的生命质量也将是衡量全面小康社会的重要内容,然而目前我国人口临终期生命质量严重低下。

源自:六-维!论*文`网.加7位QQ3249`114 重庆时时彩的规律 www.mamitama.com


2.2.1  ProVerif的安装    6
2.2.1  ProVerif的使用    10
2.3  本章小结    11
3  应用PI演算    12 基于ProVerif的安全攻击仿真+源代码:/a/jisuanjilunwen/20180809/21080.html
------分隔线----------------------------
推荐内容
小说 小说 小说 小说 小说 小说
小说 小说 小说 小说 小说 小说
小说 小说 小说 小说 小说 小说
排列3开奖结果 快乐十分钟技巧 江苏11选5在线 江西时时彩官方 贵州快三所有号码
泳坛夺金中奖结果查询 为什么玩分分彩老输 极速赛车图片 中国福利深圳风采 河北快三