Verification of Ad Hoc Networks with Node and Communication Failures.
Giorgio DelzannoArnaud SangnierGianluigi ZavattaroPublished in: FMOODS/FORTE (2012)
Keyphrases
- ad hoc networks
- network nodes
- node mobility
- link failure
- limited bandwidth
- network topology
- neighboring nodes
- routing protocol
- wireless networks
- mobile nodes
- wireless ad hoc networks
- routing algorithm
- topology control
- end to end
- quality of service
- multi hop
- key management
- network infrastructure
- inter domain
- mac protocol
- peer to peer
- mobile wireless
- mobile networks
- aodv routing protocol
- mobile ad hoc networks
- end to end delay
- multi path routing
- base station
- key management scheme
- computer networks
- transmission range
- network connectivity
- resource constrained
- wireless sensor networks
- communication networks
- ad hoc networking
- vehicular ad hoc networks
- intermediate nodes
- malicious nodes
- multipath routing
- qos routing
- service differentiation
- source node
- network topologies
- wireless mesh networks