关键词: 无线传感器网络, 密钥协商, 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