A Program Logic for Verifying Secure Routing Protocols.
Chen ChenLimin JiaHao XuCheng LuoWenchao ZhouBoon Thau LooPublished in: Log. Methods Comput. Sci. (2015)
Keyphrases
- routing protocol
- secure routing
- ad hoc networks
- network topology
- routing algorithm
- wireless sensor networks
- energy aware
- key management
- mobile ad hoc networks
- energy consumption
- data transmission
- biological inspired
- data delivery
- multi hop
- routing scheme
- packet delivery
- energy efficiency
- wireless ad hoc networks
- sensor networks
- intermediate nodes
- energy efficient
- end to end delay
- aodv routing protocol
- sensor nodes
- routing overhead
- real time
- route selection
- mobile nodes
- multipath
- model checking
- network traffic