Abstract
Wireless and Ad-Hoc networks are affected by Denial of Service (DoS) attacks during data routing. Different protocols have different degree of resilience to DoS attacks. In our earlier research we have discussed weaknesses in existing routing protocols used in wireless and ad hoc networks. As a solution we presented the RAEED protocol. In this research, we have presented a new handshake scheme in the Data Forwarding Phase (DFP) of the RAEED protocol. The new protocol RAEED-NEHA is proved to be more resilient towards DoS attacks such as black hole attacks, sink hole attacks etc. The proof is established using the methodology introduced in our earlier research which is a combination of formal verification, computer aided simulation and observance of response of the protocol running on MicaZ motes.
| Original language | English |
|---|---|
| Title of host publication | 2017 14th International Bhurban Conference on Applied Sciences and Technology (IBCAST) |
| Place of Publication | Piscataway |
| Publisher | IEEE |
| Pages | 377-383 |
| ISBN (Print) | 978-1-4673-9074-3 |
| DOIs | |
| Publication status | Published - Jan 2017 |
Keywords
- Security Attacks
- Formal Modeling and Verification
- Wireless Sensor Networks (WSN)
- Routing Protocol