A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Slede: Framework for automatic verification of sensor network security protocol implementations
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