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 language | English |
---|---|
Publication status | Published - 2010 |
Event | 7th 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
Conference | 7th International Symposium on Communication Systems Networks and Digital Signal processing (CSNDSP) |
---|---|
Period | 21/07/10 → … |
Internet address |
Keywords
- formal verification
- public cryptographic signatures
- wireless medium
- wireless routing protocols
- wireless sensor networks
- wormhole attack