Applying formal modelling to detect DoS attacks in wireless medium

Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane

Research output: Contribution to conferencePaperpeer-review

16 Citations (Scopus)

Abstract

Due to broadcast transmission and unattended nature, and hostile environments a variety of denial of service (DoS) attacks are possible in both Wireless Sensor Networks (WSNs) and ad-hoc networks. We have developed a formal framework which can automatically verify different wireless routing protocols against DoS attacks exhaustively. In this paper we apply our formal framework against a secure ad-hoc routing protocol ARAN, which employs public cryptographic signatures as a defense against attacks. Our framework confirmed that ARAN is still vulnerable to different DoS attacks such as black hole, INA and wormhole. The framework also traces back the reason(s) as to why and how the attacks were successful.
Original languageEnglish
Publication statusPublished - 2010
Event7th International Symposium on Communication Systems Networks and Digital Signal processing (CSNDSP) - Northumbria University, Newcastle upon Tyne
Duration: 21 Jul 2010 → …
http://www.csndsp.com/

Conference

Conference7th International Symposium on Communication Systems Networks and Digital Signal processing (CSNDSP)
Period21/07/10 → …
Internet address

Keywords

  • formal verification
  • public cryptographic signatures
  • wireless medium
  • wireless routing protocols
  • wireless sensor networks
  • wormhole attack

Fingerprint

Dive into the research topics of 'Applying formal modelling to detect DoS attacks in wireless medium'. Together they form a unique fingerprint.

Cite this