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

Youssef Hanna Hridesh Rajan

Published in: ICSE Companion (2009)

Keyphrases

sensor networks
wireless sensor networks
energy consumption
data collection
sensor data
security protocols
heterogeneous sensor networks
energy efficient
base station
energy efficiency
resource constrained
environmental monitoring
sensor nodes
mobile sensor networks
artificial immune algorithm