基于AVISPA的快速切换认证协议FHAM的安全建模与检测
秦宁元%付安民%陈守国
The Security Modeling and Checking of the Fast Handover Authentication Protocol FHAM based on AVISPA
QIN Ning-yuan%FU An-min%CHEN Shou-guo
摘要： 文章运用模型检测技术，以Dolev-Yao模型为基础，使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测，检测结果表明该协议是安全的，能抵制多种恶意攻击，符合FHAM协议设计的安全目标。