基于AVISPA的快速切换认证协议FHAM的安全建模与检测

作     者：秦宁元 付安民 陈守国 QIN Ning-yuan;FU An-min;CHEN Shou-guo

作者机构：南京理工大学计算机科学与工程学院江苏南京210094 中国科学院信息工程研究所信息安全国家重点实验室北京100093 

基　　金：国家自然科学基金 国家博士后基金[2012M521088 2013T60543] 教育部博士点基金 南京理工大学"紫金之星"计划项目[2013_ZJ_0209] 

出 版 物：《信息网络安全》 (Netinfo Security)

年 卷 期：2014年第5期

页      码：21-25页

摘      要：文章运用模型检测技术,以Dolev-Yao模型为基础,使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测,检测结果表明该协议是安全的,能抵制多种恶意攻击,符合FHAM协议设计的安全目标。

主 题 词：AVISPA HLPSL FHAM协议 模型检测 

学科分类：0810[工学-土木类] 08[工学] 081001[081001] 

D　O　I：10.3969/j.issn.1671-1122.2014.05.005

馆 藏 号：203162680...