Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA.
Davide BenettiMassimo MerroLuca ViganòPublished in: SEFM (2010)
Keyphrases
- model checking
- routing protocol
- ad hoc networks
- network topology
- routing algorithm
- wireless sensor networks
- mobile ad hoc networks
- wireless ad hoc networks
- sensor networks
- energy aware
- aodv routing protocol
- multi hop
- packet delivery
- key management
- end to end delay
- energy consumption
- data transmission
- mac protocol
- mobile networks
- formal methods
- energy efficient
- mobile nodes
- intermediate nodes
- neighboring nodes
- routing scheme
- wifi
- end to end
- base station
- multipath routing
- wireless networks
- peer to peer
- routing overhead
- average end to end delay
- distributed systems
- biological inspired
- energy efficiency
- data delivery
- sensor nodes
- ns simulator
- secure routing