Formal verification of a new authenticated and optimized version of AOMDV for WSN.
Djellouli Ahmed AmineMustapha Kamel AbdiKechar BouabdellahPublished in: Int. J. Commun. Syst. (2020)
Keyphrases
- formal verification
- routing protocol
- wireless sensor networks
- model checking
- bounded model checking
- model checker
- program slicing
- energy efficient
- automated verification
- ad hoc networks
- energy consumption
- sensor nodes
- knowledge representation
- key exchange protocol
- artificial intelligence
- resource constrained
- key management
- data aggregation
- symbolic model checking