摘要随着计算机网络的不断发展，全球信息化已经成为社会发展的必然趋势。在网络的应用和服务中，信息安全已经是至关重要的环节。而安全协议以密码学为基础，在网络环境和分布式系统中提供各种安全服务，在信息系统安全中占据重要的位置。而安全协议目标的实现与安全性相关，因此对安全协议的安全性分析显得尤为重要。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 课题研究的主要内容 基于AVISPA的安全攻击仿真:http://www.youerw.com/jisuanji/lunwen_74246.html