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

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (15): 157-159.

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

王鹏，李谢华，陆松年

上海交通大学信息安全工程学院，上海 200240

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-05-21 发布日期:2007-05-21
通讯作者: 王鹏

Formal analysis of EAP-AKA protocol based on authentication tests

WANG Peng，LI Xie-hua，LU Song-nian

School of Information Security Engineering，Shanghai Jiaotong University，Shanghai 200240，China

Received:1900-01-01 Revised:1900-01-01 Online:2007-05-21 Published:2007-05-21
Contact: WANG Peng

摘要/Abstract

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

关键词: EAP-AKA协议, 认证测试方法, 串空间模型, 3G, WLAN, 形式化方法

Abstract: EAP-AKA（Extensible Authentication Protocol-Authentication and Key Agreement） is authentication and key agreement protocol of WLAN；Authentication tests is a method based on the strand space model for analyzing and verifying the security protocols.This paper uses authentication tests to analyze EAP-AKA protocol，and proves that EAP-AKA protocol can ensure the mutual authentication between WLAN-UE and 3GPP AAA.

Key words: EAP-AKA protocol, authentication tests, strand space model, 3G, WLAN, formal method

王鹏，李谢华，陆松年. 基于认证测试方法的EAP-AKA协议分析[J]. 计算机工程与应用, 2007, 43(15): 157-159.

WANG Peng，LI Xie-hua，LU Song-nian. Formal analysis of EAP-AKA protocol based on authentication tests[J]. Computer Engineering and Applications, 2007, 43(15): 157-159.

[1]	刘友林，郑巍，谭莉娟，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证工具综述[J]. 计算机工程与应用, 2021, 57(11): 1-10.
[2]	徐浪，申滨，周晓勇，金纯. LWA关键技术分析[J]. 计算机工程与应用, 2018, 54(15): 6-12.
[3]	唐伟. 一种有效的模糊关联规则挖掘的形式化方法[J]. 计算机工程与应用, 2015, 51(18): 114-119.
[4]	余磊1，魏仕民1，卓泽朋2. 认证测试中协议主体串参数一致性研究[J]. 计算机工程与应用, 2015, 51(13): 86-91.
[5]	余磊，魏仕民. 协议主体密钥在测试组件构造上的性质分析[J]. 计算机工程与应用, 2013, 49(6): 114-117.
[6]	汪成亮1，袁芳舟1，陈娟娟2. 3G在线计费系统限定额分配方案的设计与研究[J]. 计算机工程与应用, 2013, 49(3): 258-262.
[7]	黄丽平，孙永雄，申晨. 用基于中值滤波的高斯过程预测3G网络性能[J]. 计算机工程与应用, 2013, 49(2): 126-129.
[8]	翟崇征，王赜，魏栖栖. 一种无线局域网漫游接入认证[J]. 计算机工程与应用, 2012, 48(7): 102-105.
[9]	陈亮1，李玉1，徐景2，胡艳军1. LTE上行链路HARQ重传方案研究[J]. 计算机工程与应用, 2012, 48(13): 94-99.
[10]	张建军¹，唐雅娟^1，2. 无线局域网的速率自适应算法设计与仿真分析[J]. 计算机工程与应用, 2011, 47(4): 109-113.
[11]	邢洪智1，罗颖2，罗长远1，霍士伟1. 移动环境中多级网络安全切换策略设计[J]. 计算机工程与应用, 2011, 47(36): 127-130.
[12]	曾一，孙政，周吉，胡小威. 一种状态图到B规格说明的自动转换方法研究实现[J]. 计算机工程与应用, 2011, 47(35): 77-80.
[13]	姜国松，贺小玲. 输电线路野外作业无线通信系统设计研究[J]. 计算机工程与应用, 2011, 47(33): 229-231.
[14]	王丽¹，王晓凯². LAN/WLAN集成网络的可靠性评估及预测研究[J]. 计算机工程与应用, 2010, 46(4): 95-97.
[15]	许万福，侯惠芳. 3G-WLAN互联网络中EAP-AKA协议的分析与改进[J]. 计算机工程与应用, 2010, 46(32): 81-83.