Open Access iconOpen Access

ARTICLE

crossmark

MF2-DMTD: A Formalism and Game-Based Reasoning Framework for Optimized Drone-Type Moving Target Defense

Sang Seo1, Jaeyeon Lee2, Byeongjin Kim2, Woojin Lee2, Dohoon Kim3,*

1 Solution Laboratory, NSHC Co., Ltd., Seoul-si, 186, Korea
2 Cyber Battlefield Team, Hanwha Systems Co., Ltd., Seongnam-si, Pangyoyeok-ro, 188, Korea
3 Department of Computer Science, Kyonggi University, Suwon-si, 16227, Korea

* Corresponding Author: Dohoon Kim. Email: email

Computers, Materials & Continua 2023, 77(2), 2595-2628. https://doi.org/10.32604/cmc.2023.042668

Abstract

Moving-target-defense (MTD) fundamentally avoids an illegal initial compromise by asymmetrically increasing the uncertainty as the attack surface of the observable defender changes depending on spatial-temporal mutations. However, the existing naive MTD studies were conducted focusing only on wired network mutations. And these cases have also been no formal research on wireless aircraft domains with attributes that are extremely unfavorable to embedded system operations, such as hostility, mobility, and dependency. Therefore, to solve these conceptual limitations, this study proposes normalized drone-type MTD that maximizes defender superiority by mutating the unique fingerprints of wireless drones and that optimizes the period-based mutation principle to adaptively secure the sustainability of drone operations. In addition, this study also specifies MF2-DMTD (model-checking-based formal framework for drone-type MTD), a formal framework that adopts model-checking and zero-sum game, for attack-defense simulation and performance evaluation of drone-type MTD. Subsequently, by applying the proposed models, the optimization of deceptive defense performance of drone-type MTD for each mutation period also additionally achieves through mixed-integer quadratic constrained programming (MIQCP) and multi-objective optimization-based Pareto frontier. As a result, the optimal mutation cycles in drone-type MTD were derived as (65, 120, 85) for each control-mobility, telecommunication, and payload component configured inside the drone. And the optimal MTD cycles for each swarming cluster, ground control station (GCS), and zone service provider (ZSP) deployed outside the drone were also additionally calculated as (70, 60, 85), respectively. To the best of these authors’ knowledge, this study is the first to calculate the deceptive efficiency and functional continuity of the MTD against drones and to normalize the trade-off according to a sensitivity analysis with the optimum.

Keywords


Cite This Article

APA Style
Seo, S., Lee, J., Kim, B., Lee, W., Kim, D. (2023). MF2-DMTD: A formalism and game-based reasoning framework for optimized drone-type moving target defense. Computers, Materials & Continua, 77(2), 2595-2628. https://doi.org/10.32604/cmc.2023.042668
Vancouver Style
Seo S, Lee J, Kim B, Lee W, Kim D. MF2-DMTD: A formalism and game-based reasoning framework for optimized drone-type moving target defense. Comput Mater Contin. 2023;77(2):2595-2628 https://doi.org/10.32604/cmc.2023.042668
IEEE Style
S. Seo, J. Lee, B. Kim, W. Lee, and D. Kim "MF2-DMTD: A Formalism and Game-Based Reasoning Framework for Optimized Drone-Type Moving Target Defense," Comput. Mater. Contin., vol. 77, no. 2, pp. 2595-2628. 2023. https://doi.org/10.32604/cmc.2023.042668



cc Copyright © 2023 The Author(s). Published by Tech Science Press.
This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • 566

    View

  • 298

    Download

  • 0

    Like

Share Link