Slede: Framework for automatic verification of sensor network security protocol implementations

Youssef Hanna, Hridesh Rajan
2009 2009 31st International Conference on Software Engineering - Companion Volume  
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a verification framework for sensor network applications. Key features include automation of: extraction of models, generation and composition of intrusion models, and verification of security properties.
doi:10.1109/icse-companion.2009.5071045 dblp:conf/icse/HannaR09 fatcat:jawejil4fne6zebinaz6y36uee