Formal Analysis of Sensor Network Encryption Protocol (SNEP).
Llanos TobarraDiego CazorlaFernando CuarteroPublished in: MASS (2007)
Keyphrases
- formal analysis
- sensor networks
- ban logic
- wireless sensor networks
- sensor nodes
- environmental monitoring
- sensor data
- resource constrained
- communication cost
- energy efficient
- energy efficiency
- data streams
- base station
- formal methods
- energy consumption
- underwater acoustic
- data dissemination
- key management
- mobile sensor networks
- routing protocol
- agent model
- encryption scheme
- data transmission
- wireless networks
- wireless sensor
- lightweight
- artificial intelligence
- heterogeneous sensor networks