基于AVISPA的快速切换认证协议FHAM的安全建模与检测,秦宁元,付安民,运用模型检测技术,以Dolev-Yao模型为基础,使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测,检测结果表