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

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

Full description

Saved in:
Bibliographic Details
Published in通信学报 Vol. 33; no. 4; pp. 77 - 84
Main Authors 王丽丽, 冯涛, 马建峰
Format Journal Article
LanguageChinese
Published 西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071%西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安,710071 2012
福建师范大学网络安全与密码技术重点实验室,福建福州350007
兰州理工大学计算机与通信学院,甘肃兰州,730050%兰州理工大学计算机与通信学院,甘肃兰州730050
Subjects
自证实公钥
4G
认证协议
协议演绎系统
协议组合逻辑
Online AccessGet full text
ISSN1000-436X
DOI10.3969/j.issn.1000-436X.2012.04.011

Cover

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