Application of Formal Modeling to Detect Black Hole Attacks in Wireless Sensor Network Routing Protocols

Saghar, Kashif, Kendall, David and Bouridane, Ahmed (2014) Application of Formal Modeling to Detect Black Hole Attacks in Wireless Sensor Network Routing Protocols. In: Proceedings of 2014 11th International Bhurban Conference on Applied Sciences and Technology. International Bhurban Conference on Applied Sciences and Technology . IEEE, Piscataway, NJ, pp. 191-194. ISBN 978-1-4799-2319-9

Full text not available from this repository. (Request a copy)
Official URL: htp://dx.d.oi.org/10.1109/IBCAST.2014.6778144

Abstract

Black hole attack has long been a problem in wireless in data routing. Although numerous solutions have been proposed, they all have drawbacks. The main reason is that formal modeling techniques have not been employed to confirm whether the solutions are immune from black hole attacks. We have earlier shown how formal modeling can be utilized efficiently to detect the vulnerabilities of existing routing protocols against black hole attacks. In this paper we propose a new protocol, RAEED (Robust formally Analyzed protocol for wirEless sEnsor networks Deployment), which is able to address the problem of black hole attacks. Using formal modeling we prove that RAEED avoids this type of attack. Finally computer simulations were carried out to support our findings.

Item Type: Book Section
Uncontrolled Keywords: Formal Modeling; Wireless Sensor; Networks (WSN); Routing Protocol; Security Attacks
Subjects: G400 Computer Science
Department: Faculties > Engineering and Environment > Computer and Information Sciences
Depositing User: Becky Skoyles
Date Deposited: 10 Apr 2015 13:15
Last Modified: 10 Nov 2016 12:38
URI: http://nrl.northumbria.ac.uk/id/eprint/22034

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics


Policies: NRL Policies | NRL University Deposit Policy | NRL Deposit Licence