安全协议形式化分析的研究和实现

摘要

安全协议是指使用密码技术或提供安全服务的协议,可以实现认证和密钥交换等安全目的。安全协议分析工具是指一套建立和分析安全协议模型的工具,它采用形式化的分析方法对安全协议进行分析并得出结论。文章以EKE协议为例,采用AVISPA分析工具对其安全性进行分析,给出了安全性与攻击轨迹的关系。