Enforcing optimal moving target defense policies

Jianjun Zheng; Akbar Siami Namin

doi:10.1109/COMPSAC.2019.00112

Enforcing optimal moving target defense policies

Jianjun Zheng, Akbar Siami Namin

Computer Science

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

4 Scopus citations

Abstract

This paper introduces an approach based on control theory to model, analyze and select optimal security policies for Moving Target Defense (MTD) deployment strategies. A Markov Decision Process (MDP) scheme is presented to model states of the system from attacking point of view. The employed value iteration method is based on the Bellman optimality equation for optimal policy selection for each state defined in the system. The model is then utilized to analyze the impact of various costs on the optimal policy. The MDP model is then applied to two case studies to evaluate the performance of the model.

Original language	English
Title of host publication	Proceedings - 2019 IEEE 43rd Annual Computer Software and Applications Conference, COMPSAC 2019
Editors	Vladimir Getov, Jean-Luc Gaudiot, Nariyoshi Yamai, Stelvio Cimato, Morris Chang, Yuuichi Teranishi, Ji-Jiang Yang, Hong Va Leong, Hossian Shahriar, Michiharu Takemoto, Dave Towey, Hiroki Takakura, Atilla Elci, Susumu Takeuchi, Satish Puri
Publisher	IEEE Computer Society
Pages	753-759
Number of pages	7
ISBN (Electronic)	9781728126074
DOIs	https://doi.org/10.1109/COMPSAC.2019.00112
State	Published - Jul 2019
Event	43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019 - Milwaukee, United States Duration: Jul 15 2019 → Jul 19 2019

Publication series

Name	Proceedings - International Computer Software and Applications Conference
Volume	1
ISSN (Print)	0730-3157

Conference

Conference	43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019
Country/Territory	United States
City	Milwaukee
Period	07/15/19 → 07/19/19

Keywords

Markov Decision
Moving Target Defense

Access to Document

10.1109/COMPSAC.2019.00112

Cite this

Zheng, J., & Namin, A. S. (2019). Enforcing optimal moving target defense policies. In V. Getov, J-L. Gaudiot, N. Yamai, S. Cimato, M. Chang, Y. Teranishi, J-J. Yang, H. V. Leong, H. Shahriar, M. Takemoto, D. Towey, H. Takakura, A. Elci, S. Takeuchi, & S. Puri (Eds.), Proceedings - 2019 IEEE 43rd Annual Computer Software and Applications Conference, COMPSAC 2019 (pp. 753-759). Article 8754059 (Proceedings - International Computer Software and Applications Conference; Vol. 1). IEEE Computer Society. https://doi.org/10.1109/COMPSAC.2019.00112

Zheng, Jianjun ; Namin, Akbar Siami. / Enforcing optimal moving target defense policies. Proceedings - 2019 IEEE 43rd Annual Computer Software and Applications Conference, COMPSAC 2019. editor / Vladimir Getov ; Jean-Luc Gaudiot ; Nariyoshi Yamai ; Stelvio Cimato ; Morris Chang ; Yuuichi Teranishi ; Ji-Jiang Yang ; Hong Va Leong ; Hossian Shahriar ; Michiharu Takemoto ; Dave Towey ; Hiroki Takakura ; Atilla Elci ; Susumu Takeuchi ; Satish Puri. IEEE Computer Society, 2019. pp. 753-759 (Proceedings - International Computer Software and Applications Conference).

@inproceedings{439b215b60d64510bf8a0c9b6cd38da5,

title = "Enforcing optimal moving target defense policies",

abstract = "This paper introduces an approach based on control theory to model, analyze and select optimal security policies for Moving Target Defense (MTD) deployment strategies. A Markov Decision Process (MDP) scheme is presented to model states of the system from attacking point of view. The employed value iteration method is based on the Bellman optimality equation for optimal policy selection for each state defined in the system. The model is then utilized to analyze the impact of various costs on the optimal policy. The MDP model is then applied to two case studies to evaluate the performance of the model.",

keywords = "Markov Decision, Moving Target Defense",

author = "Jianjun Zheng and Namin, {Akbar Siami}",

note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019 ; Conference date: 15-07-2019 Through 19-07-2019",

year = "2019",

month = jul,

doi = "10.1109/COMPSAC.2019.00112",

language = "English",

series = "Proceedings - International Computer Software and Applications Conference",

publisher = "IEEE Computer Society",

pages = "753--759",

editor = "Vladimir Getov and Jean-Luc Gaudiot and Nariyoshi Yamai and Stelvio Cimato and Morris Chang and Yuuichi Teranishi and Ji-Jiang Yang and Leong, {Hong Va} and Hossian Shahriar and Michiharu Takemoto and Dave Towey and Hiroki Takakura and Atilla Elci and Susumu Takeuchi and Satish Puri",

booktitle = "Proceedings - 2019 IEEE 43rd Annual Computer Software and Applications Conference, COMPSAC 2019",

}

Zheng, J & Namin, AS 2019, Enforcing optimal moving target defense policies. in V Getov, J-L Gaudiot, N Yamai, S Cimato, M Chang, Y Teranishi, J-J Yang, HV Leong, H Shahriar, M Takemoto, D Towey, H Takakura, A Elci, S Takeuchi & S Puri (eds), Proceedings - 2019 IEEE 43rd Annual Computer Software and Applications Conference, COMPSAC 2019., 8754059, Proceedings - International Computer Software and Applications Conference, vol. 1, IEEE Computer Society, pp. 753-759, 43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, Milwaukee, United States, 07/15/19. https://doi.org/10.1109/COMPSAC.2019.00112

Enforcing optimal moving target defense policies. / Zheng, Jianjun; Namin, Akbar Siami.
Proceedings - 2019 IEEE 43rd Annual Computer Software and Applications Conference, COMPSAC 2019. ed. / Vladimir Getov; Jean-Luc Gaudiot; Nariyoshi Yamai; Stelvio Cimato; Morris Chang; Yuuichi Teranishi; Ji-Jiang Yang; Hong Va Leong; Hossian Shahriar; Michiharu Takemoto; Dave Towey; Hiroki Takakura; Atilla Elci; Susumu Takeuchi; Satish Puri. IEEE Computer Society, 2019. p. 753-759 8754059 (Proceedings - International Computer Software and Applications Conference; Vol. 1).

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

TY - GEN

T1 - Enforcing optimal moving target defense policies

AU - Zheng, Jianjun

AU - Namin, Akbar Siami

PY - 2019/7

Y1 - 2019/7

N2 - This paper introduces an approach based on control theory to model, analyze and select optimal security policies for Moving Target Defense (MTD) deployment strategies. A Markov Decision Process (MDP) scheme is presented to model states of the system from attacking point of view. The employed value iteration method is based on the Bellman optimality equation for optimal policy selection for each state defined in the system. The model is then utilized to analyze the impact of various costs on the optimal policy. The MDP model is then applied to two case studies to evaluate the performance of the model.

AB - This paper introduces an approach based on control theory to model, analyze and select optimal security policies for Moving Target Defense (MTD) deployment strategies. A Markov Decision Process (MDP) scheme is presented to model states of the system from attacking point of view. The employed value iteration method is based on the Bellman optimality equation for optimal policy selection for each state defined in the system. The model is then utilized to analyze the impact of various costs on the optimal policy. The MDP model is then applied to two case studies to evaluate the performance of the model.

KW - Markov Decision

KW - Moving Target Defense

UR - http://www.scopus.com/inward/record.url?scp=85072695412&partnerID=8YFLogxK

U2 - 10.1109/COMPSAC.2019.00112

DO - 10.1109/COMPSAC.2019.00112

M3 - Conference contribution

AN - SCOPUS:85072695412

T3 - Proceedings - International Computer Software and Applications Conference

SP - 753

EP - 759

BT - Proceedings - 2019 IEEE 43rd Annual Computer Software and Applications Conference, COMPSAC 2019

A2 - Getov, Vladimir

A2 - Gaudiot, Jean-Luc

A2 - Yamai, Nariyoshi

A2 - Cimato, Stelvio

A2 - Chang, Morris

A2 - Teranishi, Yuuichi

A2 - Yang, Ji-Jiang

A2 - Leong, Hong Va

A2 - Shahriar, Hossian

A2 - Takemoto, Michiharu

A2 - Towey, Dave

A2 - Takakura, Hiroki

A2 - Elci, Atilla

A2 - Takeuchi, Susumu

A2 - Puri, Satish

PB - IEEE Computer Society

T2 - 43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019

Y2 - 15 July 2019 through 19 July 2019

ER -

Zheng J, Namin AS. Enforcing optimal moving target defense policies. In Getov V, Gaudiot J-L, Yamai N, Cimato S, Chang M, Teranishi Y, Yang J-J, Leong HV, Shahriar H, Takemoto M, Towey D, Takakura H, Elci A, Takeuchi S, Puri S, editors, Proceedings - 2019 IEEE 43rd Annual Computer Software and Applications Conference, COMPSAC 2019. IEEE Computer Society. 2019. p. 753-759. 8754059. (Proceedings - International Computer Software and Applications Conference). doi: 10.1109/COMPSAC.2019.00112

Enforcing optimal moving target defense policies

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this