Paper 2016/741

MARKOV MODELING OF MOVING TARGET DEFENSE GAMES

Hoda Maleki, Saeed Valizadeh, William Koch, Azer Bestavros, and Marten van Dijk

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 multi-level 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.

Note: The paper was re-submitted based on the email we got from Sasha Boldyreva.

Metadata
Available format(s)
PDF
Publication info
Published elsewhere. Minor revision.Third ACM Workshop on Moving Target Defense (MTD 2016)
DOI
10.1145/2995272.2995273
Keywords
Moving Target DefenseSecurity CapacityMarkov ModelsIP HoppingSingleMultiple-Target Hiding.
Contact author(s)
mohammad valizadeh @ uconn edu
History
2016-10-03: last of 2 revisions
2016-07-29: received
See all versions
Short URL
https://ia.cr/2016/741
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2016/741,
      author = {Hoda Maleki and Saeed Valizadeh and William Koch and Azer Bestavros and Marten van Dijk},
      title = {MARKOV MODELING OF MOVING TARGET DEFENSE GAMES},
      howpublished = {Cryptology ePrint Archive, Paper 2016/741},
      year = {2016},
      doi = {10.1145/2995272.2995273},
      note = {\url{https://eprint.iacr.org/2016/741}},
      url = {https://eprint.iacr.org/2016/741}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.