[论文解读] 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.

研究动机与目标

• 将预防性和反应性网络防御动力学的全局收敛结果，从时不变参数扩展至时变参数。
• 解决先前模型假设参数恒定或周期性所带来的局限性，以提升其在现实世界中的适用性。
• 研究在非自治网络防御动力学中，遍历性与次齐次性是否为全局吸引性的必要条件。
• 为利用动力系统理论分析复杂、时变的网络攻防交互提供严格的理论基础。
• 建立一个超越现有时不变、周期性及统一防御模型特殊情形结果的理论框架。

提出的方法

• 将统一的预防性和反应性网络防御动力学建模为具有时变参数的非自治动力系统。
• 应用斜积半流方法，分析在时变参数下系统的长期行为。
• 运用乘法遍历定理，研究当参数为遍历性时系统的渐近行为。
• 以次齐次性和遍历性作为关键结构假设，证明全局吸引性。
• 在Erdős–Rényi随机图上进行数值实验，以检验次齐次性和遍历性的必要性。
• 比较∑-模型在非次齐次和非遍历参数函数下的行为，以证明全局吸引性的失效。

实验结果

研究问题

• RQ1 当参数为时变时，预防性和反应性网络防御动力学在何种条件下具有全局吸引性？
• RQ2 时变参数的遍历性是否为该类网络防御动力学中全局吸引性的必要条件？
• RQ3 全局吸引性结果能否扩展至参数以非周期但遍历方式变化的非自治系统？
• RQ4 次齐次性和遍历性如何影响系统的长期收敛行为？
• RQ5 在时变参数下，网络防御动力学的解析可处理与不可处理边界的本质是什么？

主要发现

• 具有遍历时变参数的统一预防性和反应性网络防御动力学是全局吸引的，扩展了先前关于时不变和周期性情况的结果。
• 当时间依赖参数为（几乎）周期性时，动力学亦为（几乎）周期性，表明其具有结构化的长期行为。
• 数值实验表明，若防御函数违反次齐次性，则导致非全局吸引性，提示次齐次性可能是必要条件。
• 数值结果还表明，非遍历参数会破坏全局吸引性，暗示遍历性可能为必要条件。
• 全局吸引子为时变，导致标准雅可比矩阵特征值分析不再适用，因此需要借助乘法遍历定理等高级工具。
• 该理论框架超越了先前关于特殊情形（包括时不变、周期性以及特定∏-和∑-模型）的结果。