%K Deforestation; Internet protocols; Network routing; Routing protocols, Forest fire detection; Gossip protocols; Large-scale wireless sensor networks; Multicast routing protocol; Retransmissions, Wireless sensor networks, Data Transmission; Forest Fires; Sensors %X Multicast routing protocols such as flooding are inefficient for large scale wireless sensor networks. The Gossip protocol provides a better approach with less retransmissions for the routing of data from sensors to the base station. In this paper we propose an implementation of the Gossip protocol on TinyOS. We produce simulation results for the protocol. We also do formal verification of the Gossip protocol for WSNs. In this way hidden vulnerabilities in the protocol are exposed. © 2015 IEEE. %D 2015 %R 10.1109/IBCAST.2015.7058511 %O cited By 9; Conference of 12th International Bhurban Conference on Applied Sciences and Technology, IBCAST 2015 ; Conference Date: 13 January 2015 Through 17 January 2015; Conference Code:111546 %L scholars5994 %J Proceedings of 2015 12th International Bhurban Conference on Applied Sciences and Technology, IBCAST 2015 %T Gossip routing protocol for forest fire detection using wireless sensor networks %I Institute of Electrical and Electronics Engineers Inc. %A D. Yasin %A K. Saghar %A S. Younis %P 240-247