基于PCL的3GPP-AKA协议的形式化分析与证明

• 作者: 张涛
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: 3GPP-AKA协议 认证和密钥协商 协议组合逻辑
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 保密及网络安全
• 页码范围: 60-62
• 页数: 3页
• 分类号: TP212.9
• 字数: 2486字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7820.2009.04.017

摘要

3GPP-AKA协议在第三代移动通信的安全性方面起着至关重要的作用,它保证了移动用户MS与VLR/HLR之间的双向认证及密钥协商.文中通过协议组合逻辑(PCL)对3GPP-AKA协议进行了形式化分析及安全性证明.分析表明3GPP-AKA协议可以满足它的安全目标,因此该协议可以安全的作为第三代移动通信中的认证和密钥分配协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张涛		1	0	0.0	0.0