基于AVISPA的快速切换认证协议FHAM的安全建模与检测
首发时间:2014-01-16
摘要:运用模型检测技术,以Dolev-Yao模型为基础,使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测,检测结果表明该协议是安全的,能抵制多种恶意攻击,符合FHAM协议设计的安全目标。
关键词: 计算机应用 AVISPA HLPSL FHAM协议 模型检测
For information in English, please click here
The security modeling and checking of the fast handover authentication protocol FHAM based on AVISPA
Abstract:The model checking technology was used, and the method of modeling the fast handover authentication protocol FHAM by HLPSL language and analyzing it by AVISPA based on Dolev-Yao model was used. The test results show that the protocol is secure, able to resist many types of malicious attacks, and achieves the desired security goals.
Keywords: Computer application AVISPA HLPSL FHAM protocol model checking
论文图表:
引用
No.4581138891484138****
同行评议
共计0人参与
勘误表
基于AVISPA的快速切换认证协议FHAM的安全建模与检测
评论
全部评论0/1000