Formal modelling of a robust wireless sensor network routing protocol

Saghar, Kashif, Henderson, William, Kendall, David and Bouridane, Ahmed (2010) Formal modelling of a robust wireless sensor network routing protocol. In: 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS). IEEE, Piscataway, NJ, pp. 281-288. ISBN 978-1-4244-5887-5

Full text not available from this repository. (Request a copy)
Official URL:


Because of their low cost, small size, low resources and self-organizing nature a Wireless Sensor Network (WSN) is a potential solution in hostile environments including military applications. However, the broadcasting nature of radio transmission; their limited computing, power and communication resources; unattended and potentially hostile nature of the environment they operate in make WSNs prone to Denial of Service (DoS) attacks. Although many schemes have been proposed to address DoS attacks their effectiveness is yet to be proven. The traditional methods used (i.e. visual inspection, computer simulations and hardware implementations) can only detect errors but cannot verify that the whole system is error free. Therefore, new techniques to automatically determine the worst cases and hidden errors in WSNs are much desired. After an initial investigation using a formal verification which clearly shows that Arrive routing protocol is vulnerable to different DoS attacks, this paper proposes a method for its security. The finding contradicts the claim of the developers of Arrive that it is immune to black hole attacks. Several other DoS attacks were also found to be successful in Arrive routing protocol. The formal model generates the trace to confirm how an attack is possible in the protocol. However, it was found that INA attacks are addressed by Arrive protocol. To our best knowledge the results discussed in this paper have not been presented, proved or published before.

Item Type: Book Section
Additional Information: Organized by NASA Jet Propulsion Laboratory (JPL), European Space Agency (ESA), University of Edinburgh, UK ; supported by Society for Adaptive and Evolvable Hardware and Systems (ADEVO) ... [et al.] ; general chair, Tughrul Arslan ; vice general chairs, David Merodio, Didier Keymeulen.
Subjects: H600 Electronic and Electrical Engineering
H900 Others in Engineering
Department: Faculties > Engineering and Environment > Mathematics, Physics and Electrical Engineering
Depositing User: EPrint Services
Date Deposited: 18 Apr 2011 11:25
Last Modified: 12 Oct 2019 22:29

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics