Application of formal modeling to detect black hole attacks in wireless sensor network routing protocols

@article{Saghar2014ApplicationOF,
  title={Application of formal modeling to detect black hole attacks in wireless sensor network routing protocols},
  author={Kashif Saghar and David Kendall and Ahmed Bouridane},
  journal={Proceedings of 2014 11th International Bhurban Conference on Applied Sciences & Technology (IBCAST) Islamabad, Pakistan, 14th - 18th January, 2014},
  year={2014},
  pages={191-194}
}
Black hole attack has long been a problem in wireless in data routing. Although numerous solutions have been proposed, they all have drawbacks. The main reason is that formal modeling techniques have not been employed to confirm whether the solutions are immune from black hole attacks. We have earlier shown how formal modeling can be utilized efficiently to detect the vulnerabilities of existing routing protocols against black hole attacks. In this paper we propose a new protocol, RAEED (Robust… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
11 Citations
9 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

Similar Papers

Loading similar papers…