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

作者：王丽丽; 冯涛; 马建峰

来源：通信学报, 2012, (04): 77-84.

• 自证实公钥
• 协议组合逻辑
• 协议演绎系统
• 认证协议
• 4G self-certified public key
• protocol composition logic
• protocol derivation system
• authentication protocol
• 4G

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

• 单位
  西安电子科技大学; 福建师范大学; 兰州理工大学