摘要
安全协议是指使用密码技术或提供安全服务的协议,可以实现认证和密钥交换等安全目的。安全协议分析工具是指一套建立和分析安全协议模型的工具,它采用形式化的分析方法对安全协议进行分析并得出结论。文章以EKE协议为例,采用AVISPA分析工具对其安全性进行分析,给出了安全性与攻击轨迹的关系。
Security agreement is an agreement which employs crypto technology or provides security service, and which can realize security purposes as authentication, crypto key exchange etc. Security protocols Analysis tools on Security protocols which model and analyze security protocol, get the conclusion of security protocol adopting formal method. We take the EKE protocol as an example, analyze relationship between security and types of attacks with AVISPA analysis tool.
出处
《信息安全与通信保密》
2008年第8期76-78,共3页
Information Security and Communications Privacy
