基于认证测试方法的EAP-AKA协议分析

• 作者: 李谢华 王鹏 陆松年
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: EAp-AKA协议 认证测试方法 串空间模型 3G WLAN 形式化方法
• 年，卷（期）: 2007,（15）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 157-159
• 页数: 3页
• 分类号: TP393
• 字数: 3521字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.15.048

摘要

EAP-AKA(Extensible Authentication Protocol-Authentication and Key Agreement)是WLAN的认证和密钥分配协议;认证测试是一种以串空间理论为基础的安全协议分析验证方法.运用认证测试方法对EAp-AKA协议的双向身份认证过程进行了分析证明,结果说明EAp-AKA能够保证移动终端和认证服务器之间的双向认证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆松年	上海交通大学信息安全工程学院	98	674	14.0	21.0
2	王鹏	上海交通大学信息安全工程学院	59	547	10.0	22.0
3	李谢华	上海交通大学信息安全工程学院	6	54	5.0	6.0