首页> 中文期刊> 《电子与信息学报》 >协议组合逻辑安全的WiMAX无线网络认证协议

协议组合逻辑安全的WiMAX无线网络认证协议

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

国际标准IEEE 802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证.论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMAX无线网络安全认证协议,并使用协议组合逻辑(PCL)给出新协议的模块化正确性和安全性证明,新协议相对于PKMv2安全认证协议更加安全,更适应WiMAX无线网络复杂的网络应用环境.

著录项

来源
《电子与信息学报》 |2010年第9期|2106-2111|共6页
作者
冯涛; 张子彬; 马建峰;
展开▼
作者单位

兰州理工大学计算机与通信学院,兰州,730050;

西安电子科技大学计算机网络与信息安全教育部重点实验室,西安,710071;

福建师范大学网络安全与密码技术重点实验室,福州,350007;

兰州理工大学计算机与通信学院,兰州,730050;

西安电子科技大学计算机网络与信息安全教育部重点实验室,西安,710071;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
无线网络; 认证协议; 协议演绎系统; 协议组合逻辑; WiMAX;

相似文献

中文文献
外文文献
专利

1. 协议组合逻辑安全的4G无线网络接入认证方案 [J] . 王丽丽 ,冯涛 ,马建峰 . 通信学报 . 2012,第004期
2. 安全高效的异构无线网络可控匿名漫游认证协议 [J] . 周彦伟 ,杨波 ,张文政 . 软件学报 . 2016,第002期
3. 可证明安全的异构无线网络认证协议 [J] . 李亚晖 ,李凤华 ,杨卫东 . 通信学报 . 2007,第011期
4. 基于身份的WiMAX认证协议 [J] . 王开宇 ,马传贵 . 信息工程大学学报 . 2010,第004期
5. WiMAX认证协议一致性测试的内容与方法 [J] . 陈晓晨 ,黎卓芳 ,梁冰 . 现代电信科技 . 2008,第001期
6. 协议组合逻辑安全的4G无线网络接入认证方案 [C] . 冯涛 ,王丽丽 ,马建峰 . 第三届中国计算机网络与信息安全学术会议（CCNIS2010） . 2010
7. 无线网络中安全高效身份认证协议的设计与仿真实现 [A] . 彭洁瑶 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号