DAPV: Diagnosing Anomalies in MANETs Routing With Provenance and Verification | IEEE Journals & Magazine | IEEE Xplore