基于AVISPA的快速切换认证协议FHAM的安全建模与检测
기우AVISPA적쾌속절환인증협의FHAM적안전건모여검측
The Security Modeling and Checking of the Fast Handover Authentication Protocol FHAM based on AVISPA
  • 万方数据
    信息网络安全 신식망락안전
    NETINFO SECURITY
    2014年 5期 21-25 ,共5页

    秦宁元%付安民%陈守国

    진저원%부안민%진수국

    AVISPA%HLPSL%FHAM协议%模型检测 AVISPA%HLPSL%FHAM協議%模型檢測
    AVISPA%HLPSL%FHAM협의%모형검측
    AVISPA%HLPSL%FHAM Protocol%model checking
    文章运用模型检测技术，以Dolev-Yao模型为基础，使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测，检测结果表明该协议是安全的，能抵制多种恶意攻击，符合FHAM协议设计的安全目标。
    문장운용모형검측기술，이Dolev-Yao모형위기출，사용HLPSL어언화모형검측공구AVISPA대쾌속절환인증협의FHAM진행료건모화안전검측，검측결과표명해협의시안전적，능저제다충악의공격，부합FHAM협의설계적안전목표。
    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.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문