Sciweavers

ICSE
2009
IEEE-ACM

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

13 years 1 months ago
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.
Youssef Hanna, Hridesh Rajan
Added 19 Feb 2011
Updated 19 Feb 2011
Type Journal
Year 2009
Where ICSE
Authors Youssef Hanna, Hridesh Rajan
Comments (0)