DAPV: Diagnosing Anomalies in MANETs Routing With Provenance and Verification.
Teng LiJianfeng MaQingqi PeiHoubing SongYulong ShenCong SunPublished in: IEEE Access (2019)
Keyphrases
- routing protocol
- mobile ad hoc networks
- ad hoc networks
- routing algorithm
- network topology
- anomaly detection
- wireless sensor networks
- metadata
- packet forwarding
- model checking
- multicast routing
- energy consumption
- face verification
- routing overhead
- peer to peer
- routing problem
- multi hop
- mobile nodes
- wireless ad hoc networks
- end to end delay
- network topologies
- routing scheme
- topology control
- intermediate nodes
- network nodes
- end to end
- multipath
- scientific workflows
- verification method
- quality of service
- network traffic
- qos parameters
- data transmission
- fine grained
- service discovery