基于标识的无线Mesh网络接入认证协议

作者：张钧媛; 鄢楚平; 王朝翔

来源：计算机工程与设计, 2012, (04): 1300-1304.

DOI：10.16208/j.issn1000-7024.2012.04.004

• 无线Mesh网络
• 接入认证协议
• 标识
• BAN逻辑
• 形式化证明 wireless mesh network
• access authentication protocol
• identity
• BAN logic
• formal verification

为解决无线Mesh网络节点高效、安全入网认证的问题,提出了一种新的基于标识认证的无线Mesh网络接入认证协议。该协议针对无线Mesh网络的特点,将标识认证体制引入到无线Mesh节点接入认证当中,并在标识认证的基础上一次性完成了入网节点的双向身份认证、网络认证和空口密钥的建立3个步骤。简化了认证的流程,减少了认证的时延,达到了分布式认证的效果,为大规模的节点接入提供了一种新的认证方案。通过BAN逻辑形式化方法证明了协议的安全性,通过效率分析说明了协议的高效性。

• 单位
  中国电子科技集团公司第十五研究所