Items where Author is "Saghar, Kashif"

Saghar, Kashif, Farid, Hunaina and Bouridane, Ahmed (2017) Formally verified solution to resolve tunnel attacks in wireless sensor network. In: 2017 14th International Bhurban Conference on Applied Sciences and Technology (IBCAST). IEEE, Piscataway, pp. 448-455. ISBN 978-1-4673-9074-3

Saghar, Kashif, Yasin, Daniyal and Bouridane, Ahmed (2017) RAEED-NEHA: A new handshake scheme for RAEED protocol. In: 2017 14th International Bhurban Conference on Applied Sciences and Technology (IBCAST). IEEE, Piscataway, pp. 377-383. ISBN 978-1-4673-9074-3

Saghar, Kashif, Farid, Hunaina, Kendall, David and Bouridane, Ahmed (2016) Formal specifications of Denial of Service attacks in Wireless Sensor Networks. In: 2016 13th International Bhurban Conference on Applied Sciences and Technology (IBCAST). IEEE, Piscataway, NJ, pp. 324-333. ISBN 978-1-4673-9126-9

Saghar, Kashif, Tariq, Mamoona, Kendall, David and Bouridane, Ahmed (2016) RAEED: A formally verified solution to resolve sinkhole attack in Wireless Sensor Network. In: 2016 13th International Bhurban Conference on Applied Sciences and Technology (IBCAST). IEEE, Piscataway, NJ, pp. 334-345. ISBN 978-1-4673-9126-9

Saghar, Kashif, Kendall, David and Bouridane, Ahmed (2015) RAEED: A solution for hello flood attack. In: Applied Sciences and Technology (IBCAST), 2015 12th International Bhurban Conference on, 13 - 17 January 2015, Islamabad.

Saghar, Kashif, Kendall, David and Bouridane, Ahmed (2014) Application of Formal Modeling to Detect Black Hole Attacks in Wireless Sensor Network Routing Protocols. In: Proceedings of 2014 11th International Bhurban Conference on Applied Sciences and Technology. International Bhurban Conference on Applied Sciences and Technology . IEEE, Piscataway, NJ, pp. 191-194. ISBN 978-1-4799-2319-9

Saghar, Kashif, Kendall, David and Bouridane, Ahmed (2011) Vulnerability of INSENS to denial of service attacks. In: Proceedings of the 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, Piscataway, NJ, pp. 1896-1899. ISBN 978-1457705380

Saghar, Kashif (2010) Formal modelling and analysis of denial of services attacks in wireless sensor networks. Doctoral thesis, Northumbria University.

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.

Saghar, Kashif, Henderson, William, Kendall, David and Bouridane, Ahmed (2010) Formal modelling of a robust wireless sensor network routing protocol. In: 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS). IEEE, Piscataway, NJ, pp. 281-288. ISBN 978-1-4244-5887-5

Saghar, Kashif, Henderson, William and Kendall, David (2009) Formal modelling and analysis of routing protocol security in wireless sensor networks. In: 10th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting (PGNET 09).