Modeling and Verifying Ad Hoc Routing Protocols.
Mathilde ArnaudVéronique CortierStéphanie DelaunePublished in: CSF (2010)
Keyphrases
- routing protocol
- ad hoc networks
- network topology
- wireless sensor networks
- mobile ad hoc networks
- wireless ad hoc networks
- sensor networks
- multi hop
- energy consumption
- routing algorithm
- data delivery
- energy efficient
- biological inspired
- data sets
- data transmission
- energy efficiency
- secure routing
- cross layer
- route selection
- energy aware
- multi path routing
- wireless mesh networks
- mobile nodes
- computer simulation
- context aware
- cooperative