Markov Modeling of Moving Target Defense Games
On the effectiveness of multi-variant program execution for vulnerability detection and prevention