推荐星级:
- 1
- 2
- 3
- 4
- 5
协议组合逻辑安全的4G无线网络接入认证方案
资料介绍
协议组合逻辑安全的4G无线网络接入认证方案
摘要:针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案具有会话认证性和密钥机密性,能抵御伪基站攻击和重放攻击,并能提供不可否认服务和身份隐私性,同时提高了移动终端的接入效率。
关键词:自证实公钥;协议组合逻辑;协议演绎系统;认证协议;4G
部分文件列表
文件名 | 大小 |
协议组合逻辑安全的4G无线网络接入认证方案.pdf | 924K |
全部评论(0)