[论文解读] Distributed interaction between computer virus and patch: A modeling study

Lu‐Xing Yang, Xiaofan Yang+2 more|arXiv (Cornell University)|May 13, 2017

Advanced Malware Detection Techniques参考文献 26被引用 3

一句话总结

本文提出了通用的SIPS模型，这是一种非线性病毒-补丁相互作用模型，将线性SIPS模型推广以更好地捕捉去中心化补丁分发中的真实世界动态。该研究建立了线性SIPS模型能准确预测病毒和补丁灭绝或存活的条件，从而在特定网络和参数约束下实现对去中心化补丁机制的高效性能评估。

ABSTRACT

The decentralized patch distribution mechanism holds significant promise as an alternative to its centralized counterpart. For the purpose of accurately evaluating the performance of the decentralized patch distribution mechanism and based on the exact SIPS model that accurately captures the average dynamics of the interaction between viruses and patches, a new virus-patch interacting model, which is known as the generic SIPS model, is proposed. This model subsumes the linear SIPS model. The dynamics of the generic SIPS model is studied comprehensively. In particular, a set of criteria for the final extinction or/and long-term survival of viruses or/and patches are presented. Some conditions for the linear SIPS model to accurately capture the average dynamics of the virus-patch interaction are empirically found. As a consequence, the linear SIPS model can be adopted as a standard model for assessing the performance of the distributed patch distribution mechanism, provided the proper conditions are satisfied.

研究动机与目标

• 解决现有节点级流行病模型假设线性感染/补丁速率所带来的局限性，这些模型会高估真实世界动态。
• 通过引入非线性感染和补丁速率，开发更精确的模型以评估去中心化补丁分发机制。
• 识别出线性SIPS模型可可靠近似病毒-补丁相互作用平均动态的条件。
• 为在诸如无标度网络和小世界网络等复杂网络拓扑中评估去中心化补丁性能提供理论基础。
• 在非线性模型失效的情况下，指导选择适当的非线性感染/补丁速率，以确保系统行为的准确预测。

提出的方法

• 提出通用SIPS模型作为线性SIPS模型的非线性扩展，通过引入非线性感染和补丁速率以更好地反映真实世界动态。
• 使用精确SIPS模型（源自连续时间马尔可夫链）作为基准，评估通用SIPS模型和线性SIPS模型的准确性。
• 应用稳定性分析和矩阵Q₁、Q₂、Q₄及Dγ的谱理论，基于谱半径s(·)推导病毒和补丁灭绝或存活的条件。
• 在小世界网络上对1025组参数组合进行经验评估，比较线性、通用和精确SIPS模型的动力学。
• 引入向量P*（平衡状态）以及对角矩阵diag(g(P*))和diag(h(P*))，以建模感染和补丁速率对感染和补丁概率的非线性依赖关系。
• 在合成网络（如100个节点的小世界网络）上进行数值模拟，以验证理论发现，并在不同条件下评估模型保真度。

实验结果

研究问题

• RQ1 在何种条件下，线性SIPS模型能准确捕捉去中心化补丁分发系统中病毒平均灭绝动态？
• RQ2 在何种条件下，线性SIPS模型能够可靠预测补丁的平均灭绝或存活？
• RQ3 在何种条件下，线性SIPS模型无法准确表示病毒-补丁相互作用的真实平均动态？
• RQ4 如何构建具有非线性速率的通用SIPS模型，以确保在线性模型不足时仍能实现准确预测？
• RQ5 网络结构和参数配置如何影响线性与非线性SIPS模型在建模去中心化补丁时的准确性？

主要发现

• 当s(Q₁) ≤ 0时，线性SIPS模型能准确捕捉病毒平均灭绝过程，表明病毒的有效感染率低于流行病阈值。
• 当s(Q₁) ≤ 0且s(Q₂) ≤ 0，或当s(Q₁) > 0且s(Q₄) ≤ 0时，线性SIPS模型能准确预测补丁灭绝，表明在特定谱条件下补丁动态保持稳定。
• 当s(Q₁) > 0且s(Q₄) ≤ 0，或当g = h、s(Q₂) > 0且s(Q₁ − (Q₁ + Dγ)diag(P*) − diag(g(P*))) > 0时，线性SIPS模型无法准确捕捉病毒的真实平均演化，表明非线性动态占主导地位。
• 当s(Q₁) ≤ 0且s(Q₂) > 0，或在g = h且正谱半径的相同非线性条件下，线性SIPS模型无法准确预测补丁动态，表明补丁传播存在不稳定性。
• 在小世界网络上测试的1025组参数组合中，有697组不满足线性SIPS模型的准确度条件，因此需要使用具有非线性速率的通用SIPS模型。
• 实证结果表明，不同参数集合下，通用SIPS模型与精确SIPS模型之间存在一致的偏差模式，验证了模型准确度的理论标准。