TY - CONF KW - Deforestation; Internet protocols; Network routing; Routing protocols KW - Forest fire detection; Gossip protocols; Large-scale wireless sensor networks; Multicast routing protocol; Retransmissions KW - Wireless sensor networks KW - Data Transmission; Forest Fires; Sensors TI - Gossip routing protocol for forest fire detection using wireless sensor networks ID - scholars5994 SP - 240 N2 - 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. N1 - 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 AV - none EP - 247 UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-84926352893&doi=10.1109%2fIBCAST.2015.7058511&partnerID=40&md5=518ff07ed26669970e279641997691e8 A1 - Yasin, D. A1 - Saghar, K. A1 - Younis, S. SN - 9781479963690 PB - Institute of Electrical and Electronics Engineers Inc. Y1 - 2015/// ER -