[論文レビュー] Preventive and Reactive Cyber Defense Dynamics with Ergodic Time-dependent Parameters Is Globally Attractive

Yujuan Han, Wenlian Lu+1 more|arXiv (Cornell University)|Jan 22, 2020

Opinion Dynamics and Social Influence参考文献 44被引用数 4

ひとこと要約

本稿は、歪積半群と乗法的エルゴード定理を用いて、エルゴード的時間依存パラメータを伴う予防的および反応的サイバー防御ダイナミクスのグローバルアトラクトリビティを確立する。パラメータがエルゴード的である場合、このようなダイナミクスはグローバルに収束することを証明し、時間に依存しないおよび周期的ケースの先行研究を拡張する。また、アトラクトリビティのためには、準同調性とエルゴード性が必要である可能性が示唆される。

ABSTRACT

Cybersecurity dynamics is a mathematical approach to modeling and analyzing cyber attack-defense interactions in networks. In this paper, we advance the state-of-the-art in characterizing one kind of cybersecurity dynamics, known as preventive and reactive cyber defense dynamics, which is a family of highly nonlinear system models. We prove that this dynamics in its general form with time-dependent parameters is globally attractive when the time-dependent parameters are ergodic, and is (almost) periodic when the time-dependent parameters have the stronger properties of being (almost) periodic. Our results supersede the state-of-the-art ones, including that the same type of dynamics but with time-independent parameters is globally convergent.

研究の動機と目的

• 時間に依存しないパrameterから時間に依存するパラメータへと、予防的および反応的サイバー防御ダイナミクスのグローバル収束結果を拡張すること。
• 定数または周期的パラメータを仮定する従来のモデルの限界を扱い、実世界への適用可能性を制限する要因を解消すること。
• 非定常サイバー防御ダイナミクスにおけるグローバルアトラクトリビティに関して、エルゴード性と準同調性が必要条件であるかどうかを調査すること。
• 動的システム理論を用いて、時間変動する複雑なサイバー攻撃・防御の相互作用を分析するための厳密な理論的基盤を提供すること。
• 時間に依存しない、周期的、および統一的サイバー防御モデルの特別なケースに関する既存の結果を上回る枠組みを確立すること。

提案手法

• 時間依存パラメータを伴う非定常動的システムとして、統一的予防的および反応的サイバー防御ダイナミクスを定式化する。
• 時間変動するパラメータ下でのシステムの長期的挙動を分析するために、歪積半群アプローチを適用する。
• パラメータがエルゴード的である場合のシステムの漸近的挙動を研究するために、乗法的エルゴード定理を用いる。
• グローバルアトラクトリビティを証明するために、準同調性とエルゴード性を主要な構造的仮定として用いる。
• Erdős–Rényiランダムグラフを用いた数値実験により、準同調性とエルゴード性の必要性を検証する。
• 非準同調的および非エルゴード的パラメータ関数における∑-モデルの挙動を比較することで、グローバルアトラクトリビティの失敗を示す。

実験結果

リサーチクエスチョン

• RQ1 パラメータが時間に依存する場合、予防的および反応的サイバー防御ダイナミクスがグローバルにアトラクトする条件は何か？
• RQ2 このクラスのサイバー防御ダイナミクスにおいて、時間依存パラメータのエルゴード性はグローバルアトラクトリビティの必要条件であるか？
• RQ3 パラメータが周期的ではないがエルゴード的である非定常系へ、グローバルアトラクトリビティの結果を拡張できるか？
• RQ4 準同調性とエルゴード性は、システムの長期的収束挙動にどのように影響を与えるか？
• RQ5 時間変動するパラメータ下で、解析的に取り扱えるとされるサイバー防御ダイナミクスと取り扱えないものの境界は何か？

主な発見

• エルゴード的時間依存パラメータを伴う統一的予防的および反応的サイバー防御ダイナミクスは、時間に依存しないおよび周期的ケースの先行研究を拡張してグローバルにアトラクトする。
• 時間依存パラメータが（ほぼ）周期的である場合、ダイナミクスも（ほぼ）周期的であり、構造的長期挙動を示す。
• 数値実験により、防御関数における準同調性の違反は非グローバルアトラクトリビティを引き起こすことが示され、準同調性が必要である可能性が示唆される。
• 数値結果から、非エルゴード的パラメータはグローバルアトラクトリビティを破壊することがあり、エルゴード性が必要条件である可能性を示唆する。
• グローバルアトラクタは時間に依存するため、ヤコビアンの標準的固有値解析は適用できず、乗法的エルゴード定理のような高度な道具が必要となる。
• 理論的枠組みは、時間に依存しない、周期的、および特定の∏-および∑-モデルに関する既存の結果をすべて上回る。