首页|期刊导航|密码学报|基于Tamarin的5G AKA协议形式化分析及其改进方法

基于Tamarin的5G AKA协议形式化分析及其改进方法

刘镝王梓屹李大伟关振宇孙钰刘建伟

密码学报2022，Vol.9Issue(2)：P.237-247,11.

密码学报2022，Vol.9Issue(2)：P.237-247,11.DOI:10.13868/j.cnki.jcr.000515

基于Tamarin的5G AKA协议形式化分析及其改进方法

刘镝 ¹王梓屹 ¹李大伟 ¹关振宇 ¹孙钰 ¹刘建伟¹

作者信息

1. 北京航空航天大学网络空间安全学院,北京100191
折叠

摘要

关键词

鉴权协议/5GAKA协议/Lowe分类法/形式化分析/Tamarin

分类

信息技术与安全科学

引用本文复制引用

刘镝,王梓屹,李大伟,关振宇,孙钰,刘建伟..基于Tamarin的5G AKA协议形式化分析及其改进方法[J].密码学报,2022,9(2):P.237-247,11.

基金项目

国家重点研发计划(2021YFB2700200) （2021YFB2700200）

国家自然科学基金(62002006,62172025,U21B2021,61932011,61932014,61972018,61972019,61772538,32071775,91646203) （62002006,62172025,U21B2021,61932011,61932014,61972018,61972019,61772538,32071775,91646203）

国防基础科研计划(JCKY2021211B017)。（JCKY2021211B017）

密码学报

OACSCDCSTPCD

ISSN：2095-7025

访问量0

下载量0

段落导航