一种面向5G专网鉴权协议的形式化分析方案

文章提出一种面向5G专网鉴权协议EAP-TLS的细粒度形式化建模与验证方案。方案以TS 33.501文档为依据,首先构建基于Diffie-Hellman模式的协议交互模型;然后扩展Dolev-Yao攻击者模型,提出了两种参与方受控场景和混合信道模型;最后使用验证工具SmartVerif验证保密性、认证性、隐私性3类安全属性。实验结果表明,协议在保密性和认证性方面存在3类安全隐患。文章分析了出现安全隐患的根本原因并提出了修订方案,修订后的协议可以满足文章定义的全部安全属性。

企业办公环境无线局域网搭建策略研究

对企业办公环境无线局域网需求进行分析,选取了集中型无线局域网搭建策略。重点阐述了分级认证和漫游切换的实施方案,给中小型企业的信息化建设提供参考意见,有实际的指导价值。