RAEED: A formally verified solution to resolve sinkhole attack in Wireless Sensor Network

Saghar, Kashif, Tariq, Mamoona, Kendall, David and Bouridane, Ahmed (2016) RAEED: A formally verified solution to resolve sinkhole attack in Wireless Sensor Network. In: 2016 13th International Bhurban Conference on Applied Sciences and Technology (IBCAST). IEEE, Piscataway, NJ, pp. 334-345. ISBN 978-1-4673-9126-9

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

Abstract

Denial of Services (DoS) attacks has long been a problem in ad-hoc and wireless networks during data routing. The aim of DoS attacks is to disrupt the routing and prevent data generated from the wireless source nodes to reach the sink or destination nodes. The sinkhole attack is a type of DoS in which the intruder attracts all the data traffic towards itself and does not forward it further. Although numerous solutions have been proposed to avoid sinkhole attack, they all have drawbacks. The main reason is that application of formal methods has not been utilized to confirm whether the solutions are immune from DoS attacks. We have earlier shown how formal modeling can be utilized efficiently to detect the vulnerabilities of existing routing protocols against DoS attacks. We also proposed a new protocol, RAEED (Robust formally Analysed protocol for wirEless sEnsor networks Deployment), which is able to address the problems of most DoS attacks. In this paper we have proved formally that RAEED can avoid Sinkhole attack. Finally computer simulations and practical implementation on McaZ motes have confirmed our results of formal methods.

Item Type:	Book Section
Subjects:	G400 Computer Science
Department:	Faculties > Engineering and Environment > Computer and Information Sciences
Depositing User:	Becky Skoyles
Date Deposited:	05 Aug 2016 10:41
Last Modified:	12 Oct 2019 22:30
URI:	http://nrl.northumbria.ac.uk/id/eprint/27479

Downloads