Markov modeling of moving target defense games

H. Maleki; S. Valizadeh; W. Koch; A. Bestavros; M. Van Dijk

doi:10.1145/2995272.2995273

Markov modeling of moving target defense games

H. Maleki
, S. Valizadeh
, W. Koch
, A. Bestavros
, M. Van Dijk

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

© 2016 ACM.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.

Original language	English
Title of host publication	MTD 2016 - Proceedings of the 2016 ACM Workshop on Moving Target Defense, co-located with CCS 2016
Publisher	Association for Computing Machinery, Inc
Pages	81-92
ISBN (Electronic)	9781450345705
DOIs	https://doi.org/10.1145/2995272.2995273
Publication status	Published - 24 Oct 2016
Externally published	Yes
Event	2016 ACM Workshop on Moving Target Defense, MTD 2016 - Vienna, Austria Duration: 24 Oct 2016 → …

Conference

Conference	2016 ACM Workshop on Moving Target Defense, MTD 2016
Country/Territory	Austria
City	Vienna
Period	24/10/16 → …

Access to Document

10.1145/2995272.2995273

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{a3aa65e366c94c36b4ee959d94659d82,

title = "Markov modeling of moving target defense games",

abstract = "{\textcopyright} 2016 ACM.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.",

author = "H. Maleki and S. Valizadeh and W. Koch and A. Bestavros and \{Van Dijk\}, M.",

year = "2016",

month = oct,

day = "24",

doi = "10.1145/2995272.2995273",

language = "English",

pages = "81--92",

booktitle = "MTD 2016 - Proceedings of the 2016 ACM Workshop on Moving Target Defense, co-located with CCS 2016",

publisher = "Association for Computing Machinery, Inc",

note = "2016 ACM Workshop on Moving Target Defense, MTD 2016 ; Conference date: 24-10-2016",

}

Maleki, H, Valizadeh, S, Koch, W, Bestavros, A & Van Dijk, M 2016, Markov modeling of moving target defense games. in MTD 2016 - Proceedings of the 2016 ACM Workshop on Moving Target Defense, co-located with CCS 2016. Association for Computing Machinery, Inc, pp. 81-92, 2016 ACM Workshop on Moving Target Defense, MTD 2016, Vienna, Austria, 24/10/16. https://doi.org/10.1145/2995272.2995273

Markov modeling of moving target defense games. / Maleki, H.; Valizadeh, S.; Koch, W. et al.
MTD 2016 - Proceedings of the 2016 ACM Workshop on Moving Target Defense, co-located with CCS 2016. Association for Computing Machinery, Inc, 2016. p. 81-92.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Markov modeling of moving target defense games

AU - Maleki, H.

AU - Valizadeh, S.

AU - Koch, W.

AU - Bestavros, A.

AU - Van Dijk, M.

PY - 2016/10/24

Y1 - 2016/10/24

N2 - © 2016 ACM.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.

AB - © 2016 ACM.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.

UR - https://www.scopus.com/pages/publications/84998775181

U2 - 10.1145/2995272.2995273

DO - 10.1145/2995272.2995273

M3 - Conference contribution

SP - 81

EP - 92

BT - MTD 2016 - Proceedings of the 2016 ACM Workshop on Moving Target Defense, co-located with CCS 2016

PB - Association for Computing Machinery, Inc

T2 - 2016 ACM Workshop on Moving Target Defense, MTD 2016

Y2 - 24 October 2016

ER -

Markov modeling of moving target defense games

Abstract

Conference

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this