声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：11-2223/N
国际刊号：1000-0054
发布日期:
作者：贾凡, 严妍, 袁开国, 赵璐婧
单位：1. 北京交通大学 电子信息工程学院, 北京 100044;<br>2. 中国网络安全审查技术与认证中心, 北京 100020;<br>3. 北京邮电大学 网络空间安全学院, 北京 100876
关键词：5G网络安全,EAP-AKA',Lowe分类法,TAMARIN
基金：国家自然科学基金资助项目（61872033）
5G网络发展迅速，作为系统安全基础的认证和密钥协商协议，其安全性是5G安全的核心问题。该文借助TAMARIN证明程序对5G网络中的EAP-AKA'协议进行建模分析。通过分析协议规范将安全性需求归纳为保密属性和认证属性两种安全属性，利用TAMARIN建立模型来验证不同安全属性的满足程度。根据TAMARIN证明程序返回的验证结果，该文发现了SEAF与AUSF间关于SNID的单射一致性违反以及锚定密钥KSEAF前向保密性的违反，从而发现了重放攻击、身份验证同步失败攻击以及锚定密钥KSEAF泄露攻击，并针对这些攻击提出了相应的安全加固方法，最后对方法进行理论分析和实验验证。
来源：2021年第11期
《清华大学学报(自然科学版)》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。