基于avispa的快速切换认证协议fham的安全建模与检测 the security modeling and checking of the fast handover authentication protocol fham based on avispa.pdfVIP

2014 05 年第 期 技 术 研 究 ： doi 10.3969/j.issn.1671-1122.2014.05.005 基于 AVISPA 的快速切换认证协议 FHAM 的安全建模与检测 1 1,2 1 秦宁元 ，付安民 ，陈守国 （1. 南京理工大学计算机科学与工程学院，江苏南京 210094；2.中国科学院信息工程研究所信息安全国家重点实验室， 北京 100093） 摘　要 ：文章运用模型检测技术，以Dolev-Yao模型