A formal verification of mutation-based moving target defense.
Muhammad Abdul Basit Ur RahimQi DuanEhab Al-ShaerPublished in: HotSoS (2019)
Keyphrases
- formal verification
- moving target defense
- model checking
- genetic algorithm
- evolutionary algorithm
- differential evolution
- model checker
- symbolic model checking
- automated verification
- bounded model checking
- genetic algorithm ga
- program slicing
- mutation operator
- population size
- fitness function
- temporal logic
- evolutionary process