Hits:
Title of Paper:Log-based Anomalies Detection of MANETs Routing with Reasoning and Verification
Indexed by:Journal paper
Translation or Not:No
Date:2021-05-19
Prev One:Pvad: Privacy-preserving verification for secure routing in ad hoc networks
Next One:Crvad: Confidential reasoning and verification towards secure routing in ad hoc networks