重庆时时彩官网|重庆时时彩的规律

打赏

基于Spin的安全攻击仿真设计

时间:2018-07-08 16:38来源:毕业论文
利用Spin工具研究NSPK(Needham-Schroeder Public-Key Protocol)协议的安全性,并对发现的攻击漏洞进行分析,得到改进方案,研究并分析了Spin语言及语法

摘要随着计算机网络技术的飞速发展,网络技术给我们带来很多方便,但享受着网络给我们带来方便的同时,随之而来的网络安全问题也就日益突出,网络安全形势日益严峻。在这些问题中,信息安全更是重中之重。安全协议目标的实现与安全性紧密相关,因此对安全协议的安全性分析也就显得尤为重要。25429
本文主要应用SPIN(Simple Promela Interpreter)工具,来验证安全协议的安全性。主要的研究成果如下:
(1)    介绍了对安全协议和安全协议检测方法的概念
(2)    分析了Spin工具的安装使用
(3)    研究并分析了Spin语言及语法
(4)    利用Spin工具研究NSPK(Needham-Schroeder Public-Key Protocol)协议的安全性,并对发现的攻击漏洞进行分析,得到改进方案。
关键词  安全协议 安全攻击仿真 模型检测 Spin
重庆时时彩的规律设计说明书外文摘要
Title    Security attack simulation based on Spin                   
Abstract
Along with the development of computer networks, network technology has brought us a lot of convenience,but enjoying the convenience that network brings to us, network security issues will become increasingly prominent attendant. Network security situation is increasingly grim. Among these problems, information security is a top priority. Therefore security analysis of security protocols also has become very important. This paper studies on the application of Spin (Simple Promela Interpreter) tool, to verify the secure of safety protocols. The main results are as follows:
源自!六-维`论+文$网.加7位QQ3249`114 重庆时时彩的规律 www.mamitama.com

(1)Introduce the conception of the security protocols and the detection of security protocols.
(2)Analyze the installation and use of Spin tool.
(3)Introduce the language and grammar for Spin.
(4)Use Spin tool to analyze NSPK protocol, and discover the flaw of protocol, get corresponding analysis results.
Keywords  Security Protocol  Safety Simulation  Model Checking  Spin 
目   次
1 绪论    1
1.1 课题背景    1
1.2 模型检测的基本原理    1
1.3 模型检测器的工作原理    2
1.4 章节安排    2
1.5 本章小结    3
2 安全协议及分析方法概述    4
2.1 安全协议概述    4
2.1.1 安全协议的基本概念    4
2.1.2 安全协议分类    4
2.2 安全协议分析方法概述    5
2.2.1 非形式化分析方法    5
2.2.2 形式化分析方法    5
2.3 常用的模型检测工具    5
2.3.1 Casper/FDR工具    6
2.3.2 AVISPA工具    6
2.4 本章小结    6
3 SPIN工具分析    7
3.1 Spin工具简介    7
3.2 Promela语言    8
3.2.1 Promela语法简介    9
3.2.2 Promela语言的具体使用    11
3.3 Spin安装    13
3.3.1 安装Cygwin    13
3.3.2 在Cygwin中安装yacc和SPIN    17
3.3.3 安装SPIN 的图形界面工具ispin    18
3.4 iSpin界面介绍    20
3.5互斥协议仿真结果    21
3.6 本章小结    23
4 协议安全攻击仿真的实现    24 本文来源:http://www.mamitama.com/a/www.synss.com/

重庆时时彩的规律 www.mamitama.com,  从审理的非法集资案件来看,参与非法集资的投资人以中老年人居多,而实施非法集资犯罪的行为人以青年人为主。该书被称为日本国宝级文艺美学绘本,故事源自对日本物语文学鼻祖《竹取物语》的改编升华,而在绘画、造型和构图上,则全面继承吸收日本传统连环画《源氏物语绘卷》、日本国宝级漫画《鸟兽人物戏画》的精华。

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


4.1 协议步骤    24
4.2 协议的Spin语言表示    25
4.3 安全仿真攻击结果分析    26
4.4 漏洞分析    28 基于Spin的安全攻击仿真设计:重庆时时彩的规律/a/jisuanjilunwen/20180708/19221.html
------分隔线----------------------------
推荐内容
小说 小说 小说 小说 小说 小说
小说 小说 小说 小说 小说 小说
小说 小说 小说 小说 小说 小说
云南11选5开奖 四人麻将 安徽11选5开奖 排列3试机号 福建快3开奖号码表
贵州快3中奖图片 新加坡二分彩官网 北京赛车联盟 真钱21点 喜乐彩走势图