A Program Logic for Verifying Secure Routing Protocols.
Chen ChenLimin JiaHao XuCheng LuoWenchao ZhouBoon Thau LooPublished in: FORTE (2014)
Keyphrases
- routing protocol
- secure routing
- ad hoc networks
- routing algorithm
- wireless sensor networks
- energy aware
- mobile ad hoc networks
- energy consumption
- key management
- network topology
- multi hop
- sensor networks
- wireless ad hoc networks
- data delivery
- data transmission
- energy efficiency
- biological inspired
- cross layer
- mobile nodes
- routing scheme
- end to end delay
- energy efficient
- model checking
- end to end
- intermediate nodes
- neighboring nodes
- wireless networks
- communication links
- multi path routing
- cooperative
- base station
- sensor nodes
- routing overhead
- low cost
- response time