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

摘要：

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

关键词：自证实公钥、协议组合逻辑、协议演绎系统、认证协议、4G

所属期刊栏目：33

分类号：TP309(计算技术、计算机技术)

资助基金：国家高技术研究发展计划"863"计划基金资助项目2007AA01Z429;国家自然科学基金资助项目60972078;甘肃省高等学校基本科研业务费基金资助项目0914ZTB 186;甘肃省自然科学基金资助项目2007GS04823;兰州理工大学博士基金资助项目BS 14200901;网络安全与密码技术福建省高校重点实验室开放课题基金资助项目09A006

在线出版日期：2012-07-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：77-84