EAP-AKA无线认证协议的形式化验证方法

• 作者: 张孝红 李谢华
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 形式化模型 EAP-AKA 改进认证测试方法 双向身份认证
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 网络与信息安全
• 页码范围: 72-74,78
• 页数: 4页
• 分类号: TP393.08
• 字数: 2836字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2009.04.022

摘要

EAP-AKA是应用于3G网络的身份认证和密钥分配协议.本文在详细分析EAP-AKA协议认证过程的基础上,使用改进的认证测试方法对其安全性进行验证分析.验证结果说明,EAP-AKA协议能够满足对等端和EAP服务器间的双向身份认证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李谢华	湖南大学计算机与通信学院	12	61	5.0	7.0
2	张孝红	湖南大学计算机与通信学院	2	5	2.0	2.0