NSF supports verification of security protocols in sensor networks

September 01, 2006

The National Science Foundation is supporting work on the specification and verification challenges of security protocols in sensor networks. Sensor networks operate under tight resource limits, and a flaw in a security protocol can be hard to find and costly to miss.

The project, part of the lab’s Slede line, develops techniques to model these protocols and check them for security flaws before deployment.

This work is part of Modularity and Modular Reasoning. Details are on the NSF award page.