srsLTE项目中非空加密算法导致的UE附着失败问题分析
2025-06-19 06:57:28作者:凌朦慧Richard
问题背景
在5G网络部署过程中,核心网与终端设备(UE)之间的安全机制是保障通信安全的重要环节。加密算法的正确配置和交互是安全机制的基础。近期在srsLTE项目中发现一个典型的安全算法协商问题:当核心网采用非空加密算法时,用户设备(UE)无法完成正常的网络附着过程。
现象描述
测试环境采用free5gc作为核心网,srsRAN作为基站,srsRAN 4G作为终端设备。当核心网配置为NEA0(空加密算法)时,无论完整性保护算法配置为NIA1、NIA2还是NIA3,UE都能成功完成附着过程。然而,当核心网配置为NEA1等非空加密算法时,UE在解析注册接受(Registration Accept)消息时出现异常,具体表现为无法正确解码扩展协议鉴别器(Extended Protocol Discriminator),导致附着失败。
技术分析
1. 安全算法协商机制
在5G网络初始附着过程中,安全算法协商分为以下几个关键步骤:
- UE向网络发送注册请求(Registration Request)
- 核心网AMF选择适当的加密和完整性保护算法
- AMF通过初始上下文建立请求(Initial Context Setup Request)下发安全算法配置
- UE根据配置建立安全上下文
2. 问题根源
通过对现象的分析,可以定位问题可能出现在以下几个环节:
- 消息解析异常:UE在安全激活状态下无法正确解析加密后的NAS消息
- 安全上下文建立失败:UE与核心网之间的安全密钥推导不一致
- 算法实现差异:srsRAN UE与free5gc在特定算法实现上存在兼容性问题
3. 加密算法处理流程
当使用非空加密算法时,NAS消息的加密处理流程如下:
- 核心网使用选择的加密算法对NAS消息进行加密
- 添加安全头部(包含加密算法标识等)
- UE接收到消息后,根据安全头部指示的算法进行解密
- 解密成功后解析NAS消息内容
解决方案
经过深入排查,发现问题可能由以下原因导致:
- 安全能力协商不匹配:确保UE和核心网支持的安全算法集合一致
- 密钥派生错误:检查KDF函数的实现是否正确
- 加密上下文同步问题:确认安全激活时序是否正确
建议的解决步骤包括:
- 检查UE和核心网的安全能力配置
- 验证密钥派生过程
- 在控制面消息中添加详细的日志输出
- 使用空加密算法建立连接后,通过UE能力查询确认实际支持的安全算法
经验总结
这个问题揭示了5G安全实现中的几个重要注意事项:
- 算法兼容性:不同厂商设备间的算法实现可能存在细微差异
- 测试覆盖:安全测试应覆盖所有支持的算法组合
- 日志分析:详细的信令跟踪对定位安全相关问题至关重要
- 标准符合性:确保各组件严格遵循3GPP安全规范
在实际网络部署中,建议先使用空加密算法建立连接,然后通过安全模式命令(Security Mode Command)协商升级到更强的安全算法,这种方式可以简化初始问题的排查。
扩展思考
这个问题也反映了5G安全机制的一个特点:安全算法协商不仅需要考虑加密强度,还需要考虑设备实现的一致性。在异构网络环境中,安全算法的选择策略应当考虑以下因素:
- 终端设备的能力限制
- 网络部署的安全策略要求
- 不同厂商设备间的互操作性
- 性能与安全性的平衡
通过这个案例,我们可以更好地理解5G安全机制的实际运作方式,以及在实际部署中可能遇到的典型问题。
登录后查看全文
热门项目推荐
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust099- DDeepSeek-V4-ProDeepSeek-V4-Pro(总参数 1.6 万亿,激活 49B)面向复杂推理和高级编程任务,在代码竞赛、数学推理、Agent 工作流等场景表现优异,性能接近国际前沿闭源模型。Python00
MiMo-V2.5-ProMiMo-V2.5-Pro作为旗舰模型,擅⻓处理复杂Agent任务,单次任务可完成近千次⼯具调⽤与⼗余轮上 下⽂压缩。Python00
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
Kimi-K2.6Kimi K2.6 是一款开源的原生多模态智能体模型,在长程编码、编码驱动设计、主动自主执行以及群体任务编排等实用能力方面实现了显著提升。Python00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00
项目优选
收起
deepin linux kernel
C
28
16
Claude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed.
Get Started
Rust
570
99
暂无描述
Dockerfile
709
4.51 K
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
958
955
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.61 K
942
Ascend Extension for PyTorch
Python
572
694
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
413
339
🍒 Cherry Studio 是一款支持多个 LLM 提供商的桌面客户端
TypeScript
1.42 K
116
暂无简介
Dart
952
235
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
12
2