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

摘要：

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

关键词： 无线网络 接入认证 自证实公钥 协议组合逻辑 演绎系统

作者: 冯涛 王丽丽 马建峰

作者单位: 兰州理工大学计算机与通信学院,甘肃兰州730050;福建师范大学网络安全与密码技术重点实验室,福建福州350007;西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071 兰州理工大学计算机与通信学院,甘肃兰州730050 西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071

会议类型: 国内会议

会议名称: 第三届中国计算机网络与信息安全学术会议(CCNIS2010)

会议地点: 河北保定

会议语种:中文

页码: 227-234

在线出版日期: 2010-11-26（万方平台首次上网日期，不代表论文的发表时间）