Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks.
William D. HendersonSteven TronPublished in: ETFA (2006)
Keyphrases
- minimum cost
- wireless sensor networks
- data delivery
- cryptographic protocols
- network layer
- protocol specification
- residual energy
- mac protocol
- routing protocol
- np hard
- network flow
- approximation algorithms
- sensor networks
- spanning tree
- ip address
- energy consumption
- network flow problem
- node selection
- energy efficient
- mobile nodes
- capacity constraints
- multi hop
- data transmission
- sensor nodes
- minimum cost flow
- network simplex algorithm
- energy efficiency
- routing algorithm
- secure routing
- base station
- model checking
- application layer
- edit operations