论文部分内容阅读
目前,随着宽带无线网络的飞速,网络安全成为人们日益关注的一个问题。文章首先简单介绍了IEEE802.16两个版本的认证协议,然后利用BAN逻辑形式化分析方法,对PKMv1和PKMv2的认证协议分别进行了论证分析,指出了其中的安全漏洞,提出了改进措施,最后指明未来的研究方向。
IEEE802.16安全认证协议的形式化分析
【摘 要】
：
目前,随着宽带无线网络的飞速,网络安全成为人们日益关注的一个问题。文章首先简单介绍了IEEE802.16两个版本的认证协议,然后利用BAN逻辑形式化分析方法,对PKMv1和PKMv2的认证协议分别进行了论证分析,指出了其中的安全漏洞,提出了改进措施,最后指明未来的研究方向。
【机 构】
：
解放军理工大学通信工程学院研究生1队,解放军理工大学通信工程学院电信工程系
【出 处】
：
信息网络安全
【发表日期】
：
2008年09期
其他文献
文艺美学，作为一门具有原创性的新兴学科，出现于20世纪80年代的中国大陆。李咏吟先生的《文艺美学》，是第三代学者对文艺美学学科进行的一种全新的探索。本文以《文艺美学》为依
The“Belt and Road”initiative is of great importance to the development of China and the great rejuvenation of the Chinese nation.Improving the cultural exchan
新型冠状病毒疫情对我国的经济影响较大,工作生活的必需品,成为阻碍经济运行的瓶颈,口罩、防护用具以及医疗设备缺口较大,同时相关的供给不足导致企业无法复工,隐形制约条件
习近平新时代中国特色社会主义经济思想是当代中国马克思主义政治经济学。党的十八大以来,以习近平同志为核心的党中央在治国理政的伟大实践中系统阐释经济与社会发展的新思
当2010年4月,我国网络安全形势继续得到改善,虽然安全事件较之3月依然有一定数量的增长,但是从木马数量和僵尸网络这一重要指标来看,安全形势有了进一步的改进。这一结果也证明,我国网络安全建设的成效十分显著。
大洋洲研究日益受到国内学界的重视是在最近二十年,尤其是近十年。受到区域国别史或区域国别问题研究的推动,大洋洲研究因势而为,发展很快,成效显著,比如众多研究中心或智库
房地产企业发展时间较短,在高速发展过程中暴露很多财务内控管理问题,影响企业自身发展,也对社会经济带来不利影响。文章阐述了房地产企业财务内控管理的重要意义,分析财务内
近年来,中国经济增长迅速,已成为世界经济大国。但随着世界经济形势的变化,我国经济发展缓慢,而阻碍中国经济长远发展的重要原因之一就是供给与需求的不平衡。为解决此问题,2
电力调度二次防护背景电力能源是国民经济的命脉,随着"厂网分离"、"西电东送"、"电力交易市场"的开展,电力企业竞争加剧,信息化建设作为我国电力行业产业优化升级和实现现代化的关键手段,成为电力企业谋求生存和发展的必然选择。