协议组合逻辑安全的4G无线网络接入认证方案

• 作者: 冯涛 王丽丽 马建峰
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 自证实公钥 协议组合逻辑 协议演绎系统 认证协议 4G
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 学术论文
• 页码范围: 77-84
• 分类号: TP309
• 字数: 5364字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436X.2012.04.011

摘要

针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明.通过安全性证明和综合分析,表明该方案具有会话认证性和密钥机密性,能抵御伪基站攻击和重放攻击,并能提供不可否认服务和身份隐私性,同时提高了移动终端的接入效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建峰	西安电子科技大学计算机网络与信息安全教育部重点实验室	389	4956	30.0	50.0
2	冯涛	兰州理工大学计算机与通信学院	33	352	13.0	17.0
11	王丽丽	兰州理工大学计算机与通信学院	4	36	3.0	4.0