IT之家 12 月 6 日消息，据中科院官网，近日，中国科学院软件研究所在 5G-AKA 研究中取得重要进展，提出了隐私保护的 5G 认证密钥协商协议设计方法，以标准兼容的方式解决了当前 5G-AKA 存在的隐私安全问题，可为移动通信用户安全接入提供新一代核心技术。
据介绍，在第五代移动通信技术中，5G 认证密钥协商协议（5G-AKA）承担了 5G 移动设备的接入认证与密钥协商功能，是保障 5G 网络安全的核心协议。但是，5G-AKA 在隐私保护方面存在安全缺陷，易受链接攻击。
该研究团队通过安全协议形式化验证工具 Tamarin，对该协议进行建模和形式化验证，证明了该协议可达到隐私性、认证性和机密性目标。
IT之家了解到，该设计方法支持现行公钥密码标准在 5G 移动通信系统中的大规模应用，也适用于抗量子安全的密钥封装机制等。
