Formally Verified Convergence of Policy-Rich DBF Routing Protocols.
Matthew L. DaggittTimothy G. GriffinPublished in: CoRR (2021)
Keyphrases
- routing protocol
- ad hoc networks
- wireless sensor networks
- network topology
- mobile ad hoc networks
- routing algorithm
- energy aware
- energy consumption
- sensor networks
- data transmission
- biological inspired
- secure routing
- energy efficiency
- energy efficient
- wireless ad hoc networks
- wireless mesh networks
- cross layer
- sensor nodes
- end to end delay
- multipath
- packet delivery
- mobile nodes
- multi hop
- peer to peer
- source node
- routing overhead
- aodv routing protocol
- end to end
- data center
- multi path routing