A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense.
Muhammad Abdul Basit Ur RahimEhab Al-ShaerQi DuanPublished in: SecureComm (1) (2020)
Keyphrases
- formal verification
- moving target defense
- model checking
- genetic algorithm
- automated verification
- bounded model checking
- model checker
- differential evolution
- symbolic model checking
- evolutionary algorithm
- program slicing
- mutation operator
- evolutionary process
- optimal configuration
- temporal logic
- genetic algorithm ga
- software engineering
- artificial intelligence