论文部分内容阅读
安全协议利用密码技术实现开放网络环境下的安全通信,达到信息安全的目的。由于安全协议的重要性,人们对它的分析和设计一直没有停止过。文章主要介绍针对安全协议分析的模型检测工具AVISPA,用其对Yahalom协议进行分析,指Yahalom协议存在的漏洞,提出修改意见,并用AVISPA验证改进的Yahalom协议的正确性。