Applying formal modelling to detect DoS attacks in wireless medium

Saghar, Kashif, Henderson, William, Kendall, David and Bouridane, Ahmed (2010) Applying formal modelling to detect DoS attacks in wireless medium. In: 7th International Symposium on Communication Systems Networks and Digital Signal processing (CSNDSP), 21-23 July 2010, Northumbria University, Newcastle upon Tyne.

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


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.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: formal verification , public cryptographic signatures , wireless medium , wireless routing protocols , wireless sensor networks , wormhole attack
Subjects: H600 Electronic and Electrical Engineering
Department: Faculties > Engineering and Environment > Mathematics, Physics and Electrical Engineering
Related URLs:
Depositing User: EPrint Services
Date Deposited: 18 Apr 2011 13:45
Last Modified: 13 Oct 2019 00:30

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics