Markov modeling of Moving Target Defense games
Files
Published version
Date
2016
DOI
Authors
Valizadeh, Mohammad Hadi
Maleki, Hoda
Koch, William
Bestavros, Azer
Dijk, Marten van
Version
Published version
OA Version
Citation
Mohammad Hadi Valizadeh, Hoda Maleki, William Koch, Azer Bestavros, Marten van Dijk. 2016. "Markov Modeling of Moving Target Defense Games.." IACR Cryptology ePrint Archive, Volume 2016, pp. 741 - 741. https://eprint.iacr.org/2016/741
Abstract
We introduce a Markov-model-based framework for Moving Target Defense (MTD) analysis. The framework allows modeling of a broad range of MTD strategies, provides general theorems about how the probability of a successful adversary defeating an MTD strategy is related to the amount of time/cost spent by the adversary, and shows how a multilevel composition of MTD strategies can be analyzed by a straightforward combination of the analysis for each one of these strategies. Within the proposed framework we define the concept of security capacity which measures the strength or effectiveness of an MTD strategy: the security capacity depends on MTD specific parameters and more general system parameters. We apply our framework to two concrete MTD strategies.