基于AVISPA的快速切换认证协议FHAM的安全建模与检测

作者：秦宁元; 付安民; 陈守国

来源：信息网络安全, 2014, (05): 21-25.

• AVISPA
• HLPSL
• FHAM协议
• 模型检测

文章运用模型检测技术,以Dolev-Yao模型为基础,使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测,检测结果表明该协议是安全的,能抵制多种恶意攻击,符合FHAM协议设计的安全目标。

• 单位
  中国科学院信息工程研究所; 信息安全国家重点实验室; 南京理工大学