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

• 作者: 方科 王荣
• 来源期刊: 信息网络安全
• 学科: 工学
• 关键词: BAN逻辑 安全密钥管理 认证协议
• 年，卷（期）: 2008,（9）
• 所属期刊栏目: 技术研究与应用
• 页码范围: 36-38
• 页数: 3页
• 分类号: TP3
• 字数: 2992字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-1122.2008.09.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王荣	解放军理工大学通信工程学院电信工程系	93	325	10.0	13.0
2	方科		4	1	1.0	1.0