-
摘要随着计算机网络技术的不断发展，网络技术给我们的工作和生活带来了很多的方便，但享受网络给我们带来方便的同时，随之而来的网络安全问题也日益突出，网络安全形势日益严峻。其中，信息安全更是重中之重。而安全协议作为现代信息安全的重要组成部分，在网络环境和分布式系统中提供各种安全服务，在信息系统安全中占据重要的位置。因此，安全协议的安全性分析也变得尤为重要。20266
- 上一篇：php+mysql项目需求管理系统设计
- 下一篇：面向WEB服务的测试执行自动化技术框架设计与实现
本毕业论文主要应用Casper/FDR（Communication Sequential Process/ Failure Divergence Refinement）工具，来验证安全协议的安全性。主要的研究成果如下：
（1） 介绍了对安全协议和安全协议检测方法的概念
（2） 分析了Casper/FDR工具的安装使用
（3） 研究并分析了Casper语言及语法
（4） 利用Casper/FDR工具研究NSPK协议的安全性，并对发现的攻击漏洞进行分析，得到改进方案即NSL协议，并对之进行分析。
关键词 安全协议 安全攻击仿真 形式化分析方法 模型检测 Casper/FDR
毕业设计说明书（论文）外文摘要
Title Security attack simulation based on Casper
Abstract
Along with the development of computer networks, network technology has brought a lot of convenience to our work and life. But enjoy the convenience that network bring to us, network security issues become increasingly prominent attendant.Information security is the most important thing of the network security system.The security protocols which is an important part of modern information security, provides a wide variety of security services in networks and distributed systems and occupies an important position in the information systems security. Therefore, the security analysis of security protocols are important.
This paper studies on the application Casper/FDR (Communication Sequential Process/Failure Divergence Refinement)tool,to verify the security of safety protocols. The main results are as follows:
(1)Introduce the conception of the security protocols and security protocols detection methods.
(2)Analyze the installation and use of Casper/FDR tool.
(3)Introduce the language and grammar for Casper.
(4)Use Casper / FDR tool to analyze NSPK protocol,and discover the flaw of protocol,then improve it（NSL） and get corresponding analysis results.
Keywords Security Protocol Safety Simulation Formal analysis method Model Checking Casper/FDR
目 次
1引言 1
1.1课题背景 1
1.2国内外研究现状及我的工作 1
1.3论文结构安排 2
1.4本章小结 2
2.安全协议及协议分析方法概述 3
2.1安全协议概述 3
2.1.1安全协议的基本概念 3
2.1.2安全协议分类 3
2.1.3常见的安全协议攻击 4
2.1.4设计安全协议的原则 4
2.2安全协议分析方法概述 5
2.2.1非形式化分析方法 5
2.2.2形式化分析方法 5
2.3常用模型检测工具概述 6
2.3.1 Casper/FDR工具 6
2.3.2 Murphi工具 6
2.3.3 SMV工具 7
2.3.4 NRL协议分析器 7
2.3.5 Interrogator工具 7
2.3.6 AVISPA工具 7
2.4本章小结 8
3. CASPER/FDR工具分析 9
3.1 CASPER/FDR工具简介 9
-
基于MATLAB的图像增强算法设计
-
jsp+sqlserver高校二手商品交...
-
基于Kinect的手势跟踪与识别算法设计
-
JAVA基于安卓平台的医疗护工管理系统设计
-
java+mysql设备监控记录的大...
-
基于核独立元分析的非线...
-
基于Hadoop的制造过程大数据存储平台构建
十二层带中心支撑钢结构...
乳业同业并购式全产业链...
酸性水汽提装置总汽提塔设计+CAD图纸
java+mysql车辆管理系统的设计+源代码
杂拟谷盗体内共生菌沃尔...
河岸冲刷和泥沙淤积的监测国内外研究现状
大众媒体对公共政策制定的影响
当代大学生慈善意识研究+文献综述
中考体育项目与体育教学合理结合的研究
电站锅炉暖风器设计任务书