SLEDE: lightweight verification of sensor network security protocol implementations.
Youssef HannaPublished in: ESEC/SIGSOFT FSE (2007)
Keyphrases
- lightweight
- sensor networks
- security protocols
- wireless sensor networks
- key management
- rfid tags
- authentication protocol
- resource constrained
- security mechanisms
- sensor data
- security services
- sensor nodes
- data collection
- energy consumption
- energy efficient
- base station
- data streams
- block cipher
- communication cost
- data transmission
- routing protocol
- mobile sensor networks
- information systems
- security requirements
- temporal reasoning
- camera network
- security issues
- routing algorithm
- end to end
- sensing devices
- data sets
- visual sensor networks