基于Lowe分类的EAP-AKA′协议安全性分析与改进  

Security Analysis and Improvement of the EAP-AKA′ Protocol Based on Lowe's Classification

作　　者：黄明巍 缪祥华[1,2] 张世奇 张世杰 王欣源 HUANG Mingwei;MIAO Xianghua;ZHANG Shiqi;ZHANG Shijie;WANG Xinyuan

机构地区：[1]昆明理工大学信息工程与自动化学院,云南昆明650000 [2]云南省计算机技术应用重点实验室,云南昆明650000

出　　处：《数据通信》2025年第1期24-28,32,共6页

摘　　要：EAP-AKA′协议是5G网络中重要的认证协议之一,但在其协议中存在一些潜在的安全风险。针对EAP-AKA′协议在5G网络中的安全性问题,基于Lowe分类法对协议的安全性进行了分析,并提出了一系列改进措施,包括使用由Fiat-Shamir启发式优化的挑战-应答机制及数字签名验证,从而增强了认证过程的安全性。最后,我们采用了Tamarin验证工具进行了实验验证,结果表明,本文提出的改进措施可以有效地提高EAP-AKA′协议的安全性。

关 键 词：5G网络安全 EPA-AKA′协议 Lowe分类 Tamarin分析器 Dolve-Yao敌手模型 Fiat-Shamir启发式 形式化方法 

分 类 号：TN915.08[电子电信—通信与信息系统]