Vulnerability of INSENS to denial of service attacks

Saghar, Kashif, Kendall, David and Bouridane, Ahmed (2011) Vulnerability of INSENS to denial of service attacks. In: Proceedings of the 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, Piscataway, NJ, pp. 1896-1899. ISBN 978-1457705380

Full text not available from this repository. (Request a copy)
Official URL: http://dx.doi.org/10.1109/ICASSP.2011.5946877

Abstract

Wireless Sensor Networks (WSNs) may be deployed in hostile or inaccessible environments and are often unattended. In these conditions securing a WSN against malicious attacks is a particular challenge. This paper proposes to use formal methods to investigate the security of the INSENS protocol, in respect of its capability to withstand several denial of service attacks. The paper is an extension to our previous work where we proposed a formal framework to verify some wireless routing protocols. We have confirmed that the bidirectional verification employed by INSENS prevents attacks such as hello flood. However, INSENS is shown to be vulnerable to invisible node, wormhole and black hole attacks, even in a network of only a few nodes communicating over ideal channels. Packet loss in the presence of these attacks has been demonstrated and quantified using the TOSSIM wireless simulator.

Item Type: Book Section
Additional Information: 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), held in Prague, from 22-27 May, 2011
Subjects: G400 Computer Science
Department: Faculties > Engineering and Environment > Computer Science and Digital Technologies
Depositing User: Sarah Howells
Date Deposited: 27 Sep 2012 10:51
Last Modified: 10 Nov 2016 12:39
URI: http://nrl.northumbria.ac.uk/id/eprint/9213

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