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

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.

• Type: Journal
• Year: 2009
• Where: ICSE
• Authors: Youssef Hanna, Hridesh Rajan
• Keywords: ICSE 2009, Protocol-specific Intruder Models, Security Properties, Sensor Network Applications, Software Engineering