Formal modelling of a robust Wireless Sensor Network routing protocol

2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010

Volumn , Issue , 2010, Pages 281-288

  Saghar, Kashif ^a   Henderson, William ^a   Kendall, David ^a   Bouridane, Ahmed ^a,b  

^a NORTHUMBRIA UNIVERSITY   (United Kingdom)

^b KING SAUD UNIVERSITY   (Saudi Arabia)

Author keywords

[No Author keywords available]

Indexed keywords

BLACK HOLE ATTACK; COMMUNICATION RESOURCES; DENIAL OF SERVICE ATTACKS; DOS ATTACKS; FORMAL MODEL; FORMAL MODELLING; FORMAL VERIFICATIONS; HARDWARE IMPLEMENTATIONS; HOSTILE ENVIRONMENTS; LOW COSTS; POTENTIAL SOLUTIONS; SELF ORGANIZING; SMALL SIZE; VISUAL INSPECTION; WHOLE SYSTEMS; WORST CASE;

COMPUTER CRIME; COMPUTER SIMULATION; ERRORS; HARDWARE; MILITARY APPLICATIONS; NETWORK SECURITY; RADIO BROADCASTING; RADIO TRANSMISSION; ROUTING PROTOCOLS; SENSOR NETWORKS; VISUAL COMMUNICATION; WIRELESS SENSOR NETWORKS;

COMPUTER HARDWARE;

EID: 77956960777     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AHS.2010.5546247     Document Type: Conference Paper

References (14)

1. T. Andel and A. Yasinsac. Automated evaluation of secure route discovery in MANET protocols. In K. Havelund, R. Majumdar, and J. Palsberg, editors, Proceedings of 15th International SPIN Workshop on Model Checking Software (SPIN 2008),Los Angeles, CA, USA, volume 5156 of Lecture Notes in Computer Science, pages 26-41. Springer, August 10-12, 2008.
2. G. Behrmann, A. David, K. Larsen, J. Håkansson, P. Pettersson, W. Yi, and M. Hendriks. UPPAAL 4.0. In Proceedings of the 3rd International Conference on the Quantitative Evaluation of SysTems (QEST) 2006, IEEE Computer Society, pages 125-126, 2006.
3. D. Braginsky and D. Estrin. Rumor routing algorithm for sensor networks. In Proceedings of the First Workshop on Sensor Networks and Applications (WSNA), Atlanta, GA, pages 22-31, October 2002.
4. Y. Hanna, H. Rajan, and W. Zhang. Slede: a domain-specific verification framework for sensor network security protocol implementations. In Proceedings of the first ACM conference on Wireless network security (WISEC 2008), Alexandria, VA, USA, pages 109-118, 2008.
5. W. Heinzelman, J. Kulik, and H. Balakrishnan. Adaptive protocols for information dissemination in wireless sensor networks. In Proceedings of the 5th Annual ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom'99), Seattle, Washington, USA, pages 174-185, August 1999.
6. C. Intanagonwiwat, R. Govindan, and D. Estrin. Directed diffusion: a scalable and robust communication paradigm for sensor networks. In Mobile Computing and Networking, pages 56-67, 2000.
7. C. Karlof, Y. Li, and J. Polastre. Arrive: Algorithm for robust routing in volatile environments. In Technical Report UCBCSD-02-1233, Computer Science Department, University of California at Berkeley, March 2003.
8. C. Karlof and D. Wagner. Secure routing in wireless sensor networks: Attacks and countermeasures. In Elsevier's AdHoc Networks Journal, Special Issue on Sensor Network Applications and Protocols, volume 1, pages 293-315, September 2003.
9. A. Perrig, R. Szewczyk, V. Wen, D. Culler, and J. Tygar. SPINS: Security Protocols for Sensor Networks. In ACM Mobile Computing and Networking, volume 8, pages 521-534, Sep 2002.
10. K. Saghar, W. Henderson, and D. Kendel. Formal modelling and analysis of routing protocol security in wireless sensor networks. In PGNET 2009,Liverpool, UK, pages 179-184, 22-23 June 2009.
11. L. Tobarra, D. Cazorla, and F. Cuartero. Formal Analysis of Sensor Network Encryption Protocol (SNEP). In IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems (MASS 2007), Piscataway, NJ, USA, pages 767-772, Pisa (Italy), October 2007.
12. L. Tobarra, D. Cazorla, F. Cuartero, G. Diaz, and E. Cambronero. Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. In Proc. of the First IFIP International Conference on Wireless Sensor and Actor Networks (WSAN'07), pages 95-106, Albacete (Spain), September, 2007. IFIP Main Series, Springer.
13. A. Wood and J. Stankovic. Denial of service in sensor networks. In IEEE Computer, volume 35, pages 54-62, Sep 2002.
14. S. Zhu, S. Setia, and S. Jajodia. LEAP: Efficient security mechanisms for large-scale distributed sensor networks. In ACM Conference on Computer and Communications Security (CCS'03), pages 62-72, October 2003. (Pubitemid 40673789)