面向6G安全的复杂接入认证协议的安全验证与分析技术数据集

本研究针对5G-AKA协议中序列号机制引入的隐私泄露与可连接性风险展开研究，分析其在未来大规模、异构接入场景下面临的安全挑战，并提出新的安全需求。基于上述需求，设计了一种以随机数替代序列号的改进认证协议——5G-RNAKA，在保持现有5G网络架构兼容性的前提下，有效消除序列号相关攻击面。进一步地，围绕所提出协议，从计算开销、存储开销及端到端通信开销等维度进行了系统化效率评估，实验结果表明5G-RNAKA在整体性能上优于现有5G-AKA协议。同时，通过形式化建模与安全分析方法，对协议的安全属性进行了严格验证，证明5G-RNAKA能够有效抵御序列号暴露攻击、可连接性攻击等典型安全威胁，从而在安全性与效率之间实现良好平衡。本数据集主要包括了论文、相关代码和元数据，数据量162MB。