摘要： 无线传感器网络(WSN)节点在电源、计算能力和内存容量等方面存在局限性，且面临的安全威胁更复杂。为此，提出一种适用于类LEACH路由的WSN密钥协商和认证协议。通过引入当前轮数，实现节点间的双向身份认证，以抵御选择性转发、Sybil和Hello泛洪等常见攻击。利用ID和双线性对原理生成节点间的动态会话密钥，从而减少节点间的交互步骤，降低能耗。SVO逻辑推理和性能分析结果表明，该协议同时满足安全性要求和WSN的特殊应用要求。

关键词: 无线传感器网络, 密钥协商, SVO逻辑, 双线性对, 身份认证, 形式化分析

Abstract: Due to the limitations of power, computation capability and storage resources, as well as the more complex security threats the current network faces, a pairings-based key negotiation and authentication protocol for class LEACH routing in Wireless Sensor Network(WSN) is proposed, which achieves bidirectional authentication between nodes by introducing the current round of routing to defend familiar attacks such as selective forwarding, Sybil attack, and Hello flood attack in WSN. And dynamic session keys between nodes are generated by using ID and bilinear principle, which reduces the interaction steps between nodes and energy costs. SVO logic reasoning and performance analysis show that the protocol can guarantee the security of WSN, and it meet the special application requirements of WSN.

Key words: Wireless Sensor Network(WSN), key negotiation, SVO logic, bilinear pairings, identity authentication, formal analysis

中图分类号: 

• TP309