Slede: Framework for Automatic Verification of Sensor Network Security Protocol Implementations

A sensor network is a collection of small, low power, low-cost sensor nodes that have limited computational, communication and storage capacity. These nodes can operate unattended, sensing and recording detailed information about their surroundings. Applications of sensor networks include civil and military applications such as target tracking, remote surveillance, and habitat monitoring. The operating environments of sensor networks are often hostile, requiring mechanisms for secure communication. A number of security protocols for sensor networks have been proposed in the past decade.