Secure Wireless Sensor Networks

Key Pre-Distribution protocols for low power Wireless Sensor Networks (WSN)

Wireless sensor networks pose unique challenges with regards to unit power consumption, heat transfer and overall size, so the security protocols used for sensor data protection must be efficient, resource friendly and fast. Formal verification is the process used to enable trust and security issues to be verified in relation to security protocol design for the information communications sector. This project combines these topics and is concerned with the design and formal testing/verification of cryptographic based security protocols suitable for use with wireless sensor systems to perform tasks such as: key agreement, key transport and node authentication.



The project was funded by Science Foundation Ireland (SFI) (RFP 2005 05/RFP/CMS0071).
PI was Dr Thomas Newe.