Slede: a domain-specific verification framework for sensor network security protocol implementations.
Youssef HannaHridesh RajanWensheng ZhangPublished in: WISEC (2008)
Keyphrases
- sensor networks
- domain specific
- sensor data
- security protocols
- heterogeneous sensor networks
- wireless sensor networks
- environmental monitoring
- data collection
- energy consumption
- communication cost
- energy efficient
- underwater acoustic
- data management
- base station
- resource constrained
- software engineering
- wireless sensor