On automating the verification of secure ad-hoc network routing protocols.
Ta Vinh ThongLevente ButtyánPublished in: Telecommun. Syst. (2013)
Keyphrases
- routing protocol
- secure routing
- ad hoc networks
- key management
- routing algorithm
- network topology
- wireless sensor networks
- wireless ad hoc networks
- mobile ad hoc networks
- biological inspired
- end to end delay
- routing scheme
- data transmission
- sensor networks
- energy aware
- mac protocol
- end to end
- multi hop
- peer to peer
- base station
- wireless networks
- mobile networks
- cross layer
- energy efficient
- network infrastructure
- wireless mesh networks
- quality of service
- packet delivery
- energy consumption
- mobile nodes
- digital libraries