菜单
  

    摘要随着计算机网络的不断发展,全球信息化已经成为社会发展的必然趋势。在网络的应用和服务中,信息安全已经是至关重要的环节。而安全协议以密码学为基础,在网络环境和分布式系统中提供各种安全服务,在信息系统安全中占据重要的位置。而安全协议目标的实现与安全性相关,因此对安全协议的安全性分析显得尤为重要。66343

    本文主要研究应用AVISPA(Automated Validation of Internet Security Protocols and Applications)这一套建立和分析安全协议模型的工具,来验证各种安全相关网络协议。主要的研究成果如下:

    (1)介绍了安全协议的基本概念和安全协议的安全性;

    (2)介绍了AVISPA的安装和使用,分析了AVISPA工具的整体结构;

    (3)介绍了高级协议规范语言HLPSL(High Level Protocol Specification Language);

    (4) 利用HLPSL语言对两个协议实例建立了抽象验证模型,并利用AVISPA工具验证其安全性,得到相应的分析结果。

    毕业论文关键字: 安全协议;安全仿真;模型检测;AVISPA

    毕业设计说明书(论文)外文摘要

    Title        Security attack simulation based on AVISPA                                             

                                                                  

    Abstract

    Along with the continuous development of computer networks, the global information has become an inevitable trend of social development. Information security plays a vital role in the network applications and services. Security protocols which based on cryptography, provides a wide variety of security services in networks and distributed systems and occupies an important position in the information security system. The goals of security protocols are related to the safety, so security analysis of security protocols are very important.

    This paper studies on the application of AVISPA (Automated Validation of Internet Security Protocols and Applications), which is a set of tools to establish and analyze for security protocol models, to verify the various security-related network protocols. The main results are as follows:

    (1) Introduce the basic conceptions and the security of security protocols.

    (2) Analyze the structure of the AVISPA tool and introduce the installation and use of AVISPA.

    (3) Introduce High Level Protocols Specification Language HLPSL.

    (4) Model two security protocols in HLPSL and verify their security by AVISPA, then get corresponding analysis results.

    Keywords: security protocol; safety simulation; model checking; AVISPA 

    目   次

    1 绪论 1

    1.1 安全协议概述 1

    1.1.1 安全协议的基本概念 1

    1.1.2 安全协议的常见攻击 1

    1.1.3 安全协议的设计规范 2

    1.2 安全协议模型检测概述 2

    1.2.1 模型检测的原理 3

    1.2.2 模型检测器的工作原理 4

    1.3 课题研究的主要内容

  1. 上一篇:高效视频编码帧间预测中运动估计算法研究
  2. 下一篇:DTI/fMRI谱聚类的大脑子网络一致性分析
  1. 基于MATLAB的图像增强算法设计

  2. jsp+sqlserver高校二手商品交...

  3. 基于Kinect的手势跟踪与识别算法设计

  4. JAVA基于安卓平台的医疗护工管理系统设计

  5. java+mysql设备监控记录的大...

  6. 基于核独立元分析的非线...

  7. 基于Hadoop的制造过程大数据存储平台构建

  8. 当代大学生慈善意识研究+文献综述

  9. 中考体育项目与体育教学合理结合的研究

  10. 电站锅炉暖风器设计任务书

  11. 杂拟谷盗体内共生菌沃尔...

  12. 十二层带中心支撑钢结构...

  13. 酸性水汽提装置总汽提塔设计+CAD图纸

  14. 大众媒体对公共政策制定的影响

  15. 河岸冲刷和泥沙淤积的监测国内外研究现状

  16. java+mysql车辆管理系统的设计+源代码

  17. 乳业同业并购式全产业链...

  

About

751论文网手机版...

主页:http://www.751com.cn

关闭返回