Wireless Sensor Networks (WSN) are composed of small, low cost, resource-constrained computing nodes equipped with low power wireless transceivers. Generally, they are embedded in their environment to perform some specific monitoring and/or control function. Unlike wired networks that have dedicated routers for network connectivity and message forwarding, every node in a WSN can act as a router in a multi-hop network. A WSN can offer a cheap, applicationspecific solution in a variety of situations including military and disaster response scenarios, where other approaches are not viable. Due to their unattended nature and deployment in possibly hostile environmental conditions, there are many challenges in ensuring that a WSN is formed effectively and survives long enough to fulfil its function. Securing a WSN against attack is a particular challenge. Traditional encryption mechanisms are resource hungry and are not sufficient alone to provide a complete solution. This project is concerned with secure routing protocols. Formal methods are used to model and analyse the design of existing protocols and to demonstrate some previously unreported weaknesses.
|Title of host publication||Proceedings of the 9th Annual Postgraduate Symposium on the Convergence of Telecommunications , Networking & Broadcasting|
|Place of Publication||Liverpool|
|Publication status||Published - 2008|