The Research On A Provably Security Routing Protocol For Wireless Sensor Networks

Routing is a fundamental function in wireless sensor networks. The attacks against routing protocols will affect the service quality or even shut down the entire network. However, most of protocols proposed for wireless sensor networks have not been designed with consideration of security requirements. One important reason for this situation is the poor understanding of the design principles of secure routing protocols and lack of scientific theory as guideline. In order to remedy this situation, some researchers propose to come up with proof techniques on solid mathematical grounds. In this paper, we present a provably secure routing protocol for wireless sensor networks, called S-SPIN (Secure-SPIN), which is a security extension of SPIN.The major objective of this paper is to improve the security of the protocol, and Message Authentication Code (MAC) has been chosen to guarantee the correctness and integrity of messages. In order to adapt the new requirements, we have also changed the format and transmitting method of messages. To reduce the additional communicate overhead, we have designed an energy consumption optimization mechanism. According to our analysis, this mechanism is able to conserve energy and prolong the network's life.To verify the security of S-SPIN, we have adopted a formal security framework proposed by Acs, Buttyán and Vajda, called the ABV model. This model is mathematically rigorous and flexible, easy to learn and use. By using this model, we have been able to advance the proof technique for S-SPIN, and successfully proved that S-SPIN is secure if the MAC scheme is secure against existential forgery attack.