Transitive Location Verification Algorithm in Location-Based Routing for Wireless Sensor Networks