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

Kashif Saghar, David Kendall, Ahmed Bouridane

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

6 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of 2014 11th International Bhurban Conference on Applied Sciences and Technology
Place of PublicationPiscataway, NJ
PublisherIEEE
Pages191-194
ISBN (Print)978-1-4799-2319-9
DOIs
Publication statusPublished - 2014

Publication series

NameInternational Bhurban Conference on Applied Sciences and Technology
PublisherIEEE

Fingerprint

Dive into the research topics of 'Application of Formal Modeling to Detect Black Hole Attacks in Wireless Sensor Network Routing Protocols'. Together they form a unique fingerprint.

Cite this