Formally Verified Convergence of Policy-Rich DBF Routing Protocols.
Matthew L. DaggittTimothy G. GriffinPublished in: IEEE/ACM Trans. Netw. (2024)
Keyphrases
- routing protocol
- ad hoc networks
- routing algorithm
- mobile ad hoc networks
- wireless sensor networks
- network topology
- energy consumption
- energy aware
- multi hop
- sensor networks
- wireless ad hoc networks
- data transmission
- cross layer
- data delivery
- secure routing
- biological inspired
- route selection
- neighboring nodes
- end to end delay
- energy efficiency
- mobile nodes
- energy efficient
- wireless networks
- sensor nodes
- end to end
- communication links
- computer simulation
- multi dimensional
- data streams
- multipath
- multi path routing