【 5g|软件所在5G核心安全协议研究中取得进展】在第五代移动通信技术中,5G认证密钥协商协议(5G-AKA)承担了5G移动设备的接入认证与密钥协商功能,是保障5G网络安全的核心协议。近日,中国科学院软件研究所在5G-AKA研究中取得重要进展,提出了隐私保护的5G认证密钥协商协议设计方法,以标准兼容的方式解决了当前5G-AKA存在的隐私安全问题,可为移动通信用户安全接入提供新一代核心技术。
以往研究表明,5G-AKA在隐私保护方面存在安全缺陷,易受链接攻击。攻击者主动介入无线信道可将同一设备的不同会话进行链接、达到追踪目标用户的目的,甚至对目标设备实施跨5G/4G-AKA协议链接攻击而泄露用户身份。为了抵抗链接攻击,学术界提出了各种解决方案,但均不能满足后向兼容的应用需求。随着全球5G网络的商用推进,5G-AKA已得到广泛应用和部署,如何解决5G-AKA的隐私缺陷成为学术界公开问题。
针对这一隐私安全问题,软件所创新性地提出了基于密钥封装机制的隐私保护5G认证密钥协商协议设计方法,以兼容5G标准的方式设计了5G-AKA’协议,能够在不更换移动用户SIM卡、保持5G服务网现行部署的基础上安全抵抗链接攻击、保护用户隐私。5G-AKA’不仅具有兼容3GPP标准的设计优势,而且具有良好的性能优势(在计算时间上仅引入0.03%的额外开销、带宽方面则实现零增长,易于标准化和应用部署)。现行5G端点可由5G-AKA便捷迁移,也可以兼容的方式支持5G-AKA’,其软件修改只涉及约20代码行。
科研团队通过安全协议形式化验证工具Tamarin,对该协议进行建模和形式化验证,证明了该协议可达到隐私性、认证性和机密性目标。该设计方法适用于ECIES椭圆曲线集成加密方案和我国SM2椭圆曲线公钥加密算法,支持现行公钥密码标准在5G移动通信系统中的大规模应用,也适用于抗量子安全的密钥封装机制,为移动通信接入认证与密钥协商应对量子计算带来的安全威胁提供模块化理论支撑。
相关研究成果以Privacy-Preserving and Standard-Compatible AKA Protocol for 5G为题,发表在国际网络安全旗舰会议USENIX Security 2021上,这是我国学者首次在国际安全会议上发表关于移动通信安全协议设计的研究成果。
论文链接
文章插图
5G通信系统架构
文章插图
链接性攻击者通过跨协议攻击获取目标设备标识符
文章插图
5G-AKA’协议初始化阶段
文章插图
5G-AKA’协议挑战-响应阶段
【来源:中国科学院科技产业网】
声明:转载此文是出于传递更多信息之目的。若有来源标注错误或侵犯了您的合法权益,请作者持权属证明与本网联系,我们将及时更正、删除,谢谢。 邮箱地址:newmedia@xxcb.cn
举报/反馈
- 荷兰|苹果公司向荷兰“妥协”:将开放交友软件的第三方支付系统
- 恶意软件|报告称 2021 年 Linux 的恶意软件样本数量增加了 35%
- 军工|中国版“英伟达”诞生,核心技术完全自研,国产替代即将崛起
- 软件|想提高效率?这五款软件你需要了解
- 软件|在家也能赚钱的方式,适合零基础阅读
- 三星堆|陌陌推行“付费服务”,社交软件成“约X神器”?从业者该收手了
- 阿里巴巴|程序员与软件工程师的区别
- 英特尔|Intel未发布下代至强被开盖:完整64个核心、只开启56个
- 软件|ui设计培训需要学什么软件?
- 社交软件|微信啥时候跟上?支付宝也能一键清除未读消息了:强迫症直呼好评