期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Tamarin的5G AKA协议形式化分析及其改进方法
被引量：
5
1
作者
刘镝
王梓屹
+3 位作者
李大伟
关振宇
孙钰
刘建伟
《密码学报》
CSCD
2022年第2期237-247,共11页
对于5G移动通信网络,3GPP组织标准化了5G AKA等协议,用于身份认证和密钥协商.本文使用安全协议验证工具Tamarin对5G AKA协议进行了形式化分析.首先基于3GPP TS33.501 v17.0.0版本,完成了对5G AKA协议及期望其满足的安全性质的形式化建模...
对于5G移动通信网络,3GPP组织标准化了5G AKA等协议,用于身份认证和密钥协商.本文使用安全协议验证工具Tamarin对5G AKA协议进行了形式化分析.首先基于3GPP TS33.501 v17.0.0版本,完成了对5G AKA协议及期望其满足的安全性质的形式化建模.安全性质考虑了保密性质和Lowe鉴权性质,保密性质包括安全锚点密钥KSEAF和长期共享密钥K的保密性,鉴权性质包括协议参与实体之间在参数SUPI、SNID、KSEAF上的非单射一致性,以及在KSEAF上的单射一致性.然后本文在Tamarin中验证了5G AKA协议是否满足相关安全性质,发现保密性质全部得到满足,鉴权性质一共验证了36种情况,其中有23种情况没有得到满足.最后针对协议不满足的鉴权性质,本文采用了三种修改方法来对协议模型进行改进,并对改进前后的验证结果进行了分析总结.
展开更多
关键词
鉴权协议
5g
aka
协议
Lowe分类法
形式化分析
TAMARIN
在线阅读
下载PDF
职称材料
5G鉴权认证协议的安全性研究
被引量：
8
2
作者
胡鑫鑫
刘彩霞
+2 位作者
彭亚斌
柏溢
陈强
《无线电通信技术》
2020年第4期405-411,共7页
移动通信网的鉴权认证功能是保证网络和用户身份合法性以及安全提供和享受服务的根本。网络的鉴权认证功能是依托鉴权认证协议实现的,认证协议的安全性直接影响网络和用户的通信安全。研究了5G网络的鉴权认证协议5G AKA的安全脆弱性,发...
移动通信网的鉴权认证功能是保证网络和用户身份合法性以及安全提供和享受服务的根本。网络的鉴权认证功能是依托鉴权认证协议实现的,认证协议的安全性直接影响网络和用户的通信安全。研究了5G网络的鉴权认证协议5G AKA的安全脆弱性,发现了5G AKA协议的2种缺陷。对发现的缺陷提出了2种修复方案并通过形式化分析方法和自动验证工具TAMARIN验证了所提方案的有效性。此外,分析了修复方案产生的通信开销、计算成本和存储开销,分析结果表明,仅增加少量计算和通信开销就可以提高修复后身份认证协议的安全性,相关机制也适用于5G的另一个认证协议EAP-AKA′。
展开更多
关键词
5g
网络
5g
aka
认证协议
安全性研究
形式化方法
在线阅读
下载PDF
职称材料
题名
基于Tamarin的5G AKA协议形式化分析及其改进方法
被引量：
5
1
作者
刘镝
王梓屹
李大伟
关振宇
孙钰
刘建伟
机构
北京航空航天大学网络空间安全学院
出处
《密码学报》
CSCD
2022年第2期237-247,共11页
基金
国家重点研发计划(2021YFB2700200)
国家自然科学基金(62002006,62172025,U21B2021,61932011,61932014,61972018,61972019,61772538,32071775,91646203)
国防基础科研计划(JCKY2021211B017)。
文摘
对于5G移动通信网络,3GPP组织标准化了5G AKA等协议,用于身份认证和密钥协商.本文使用安全协议验证工具Tamarin对5G AKA协议进行了形式化分析.首先基于3GPP TS33.501 v17.0.0版本,完成了对5G AKA协议及期望其满足的安全性质的形式化建模.安全性质考虑了保密性质和Lowe鉴权性质,保密性质包括安全锚点密钥KSEAF和长期共享密钥K的保密性,鉴权性质包括协议参与实体之间在参数SUPI、SNID、KSEAF上的非单射一致性,以及在KSEAF上的单射一致性.然后本文在Tamarin中验证了5G AKA协议是否满足相关安全性质,发现保密性质全部得到满足,鉴权性质一共验证了36种情况,其中有23种情况没有得到满足.最后针对协议不满足的鉴权性质,本文采用了三种修改方法来对协议模型进行改进,并对改进前后的验证结果进行了分析总结.
关键词
鉴权协议
5g
aka
协议
Lowe分类法
形式化分析
TAMARIN
Keywords
authentication
protocol
5g aka protocol
Lowe’s taxonomy
formal analysis
Tamarin
分类号
TP309.7 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
5G鉴权认证协议的安全性研究
被引量：
8
2
作者
胡鑫鑫
刘彩霞
彭亚斌
柏溢
陈强
机构
中国人民解放军战略支援部队信息工程大学
中国人民解放军
出处
《无线电通信技术》
2020年第4期405-411,共7页
基金
国家自然科学基金创新群体项目(61521003)
国家自然科学基金项目(61801515)。
文摘
移动通信网的鉴权认证功能是保证网络和用户身份合法性以及安全提供和享受服务的根本。网络的鉴权认证功能是依托鉴权认证协议实现的,认证协议的安全性直接影响网络和用户的通信安全。研究了5G网络的鉴权认证协议5G AKA的安全脆弱性,发现了5G AKA协议的2种缺陷。对发现的缺陷提出了2种修复方案并通过形式化分析方法和自动验证工具TAMARIN验证了所提方案的有效性。此外,分析了修复方案产生的通信开销、计算成本和存储开销,分析结果表明,仅增加少量计算和通信开销就可以提高修复后身份认证协议的安全性,相关机制也适用于5G的另一个认证协议EAP-AKA′。
关键词
5g
网络
5g
aka
认证协议
安全性研究
形式化方法
Keywords
5g
network
5g
aka
authentication
protocol
s
security research
formal methods
分类号
TN918.91 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Tamarin的5G AKA协议形式化分析及其改进方法
刘镝
王梓屹
李大伟
关振宇
孙钰
刘建伟
《密码学报》
CSCD
2022
5
在线阅读
下载PDF
职称材料
2
5G鉴权认证协议的安全性研究
胡鑫鑫
刘彩霞
彭亚斌
柏溢
陈强
《无线电通信技术》
2020
8
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
