Formal Modelling and Analysis of Energy Efficient and Secure Wireless Sensor Network (WSN) Routing Protocol

Abstract

The operational efficiency and lifetime of Wireless Sensor Network (WSNs) suffers from several factors among which the security and energy of the sensor nodes are the most important. Most of the WSN routing protocols are designed from the perspective of either security or energy. In this thesis, the network lifetime of an earlier proposed secure network routing protocol (RAEED - Robust Formally Analysed Protocol for Wireless Sensor Networks Deployment) is improved by introducing two newer versions 1) RAEED-EA (RAEED with energy efficiency and 2) RAEED-LB (RAEED with load balancing). In RAEED the decision of selecting the next node was taken entirely on the basis of the throughput of target nodes, whereas in RAEED-LB and RAEED-EA the decision is taken based upon load balancing and residual energy of the target nodes in addition to their throughput. For performance evaluation formal verification and network simulation are used. Formal verification results show that there is a considerable gain in lifetime of a network using RAEED-LB or RAEED-EA over RAEED. Similarly the simulation results show that RAEED-EA and RAEED-LB have comparable throughput to RAEED while there is a decrease in their number of transmissions resulting in an increase in the average energy of nodes.