首页> 中文期刊> 《信息网络安全》 >IEEE802.16安全认证协议的形式化分析

IEEE802.16安全认证协议的形式化分析

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

目前,随着宽带无线网络的飞速,网络安全成为人们日益关注的一个问题.文章首先简单介绍了IEEE802.16两个版本的认讧协议,然后利用BAN逻辑形式化分析方法,对PKMv1和PKMv2的认证协议分别进行了论证分析,指出了其中的安全漏洞,提出了改进措施,最后指明未来的研究方向.

著录项

来源
《信息网络安全》 |2008年第9期|36-38|共3页
作者
方科; 王荣;
展开▼
作者单位

解放军理工大学通信工程学院研究生1队;

解放军理工大学通信工程学院电信工程系;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
BAN逻辑; 安全密钥管理; 认证协议;

相似文献

中文文献
外文文献
专利

1. 基于形式化分析工具的认证协议安全性研究 [J] . 段然 ,徐乃阳 ,胡爱群 . 信息网络安全 . 2015,第007期
2. 802.11i认证协议可验安全性形式化分析 [J] . 宋宇波 ,胡爱群 ,姚冰心 . 中国工程科学 . 2010,第001期
3. 一种新的形式化模型对安全认证协议的分析 [J] . 胡晓辉 ,曾雪娜 ,姜浩 . 计算机应用研究 . 2010,第012期
4. 认证协议安全性的非形式化分析 [J] . 董玲 ,温蜜 ,陈克非 . 小型微型计算机系统 . 2008,第007期
5. 一种快速安全认证协议及其形式化分析 [J] . 王惠斌 ,祝跃飞 . 微计算机信息 . 2008,第027期
6. 网络安全认证协议形式化分析 [C] . 肖美华 ,邓宸芳 ,马小薏 . 第20次全国计算机安全学术交流会 . 2005
7. 无线体域网环境下三方认证协议的形式化分析与研究 [A] . 谌佳 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号