3G移动通讯AKA协议及其形式化验证

• 作者: 张爱新 杨明福
• 来源期刊: 华东理工大学学报(自然科学版)
• 学科: 工学
• 关键词: 移动通讯 认证 密钥协商 AUTLOG09
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 46-49,86
• 页数: 5页
• 分类号: TP393|TP309
• 字数: 1974字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2003.01.013

摘要

简略回顾了移动通讯的发展过程以及相应的安全机制.介绍了第三代移动通讯系统中所采用的认证与密钥协商协议,并利用AUTLOG信仰逻辑给出了形式化验证过程.在假定HE和SN之间的系统连接安全的前提下,该协议能够成功地达到预期目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨明福	华东理工大学计算机科学与工程系	61	485	12.0	19.0
2	张爱新	华东理工大学计算机科学与工程系	7	33	3.0	5.0