[論文レビュー] 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モデルがウイルスおよびパッチの絶滅・存続を正確に予測できる条件を確立し、特定のネットワークおよびパrameter制約下での分散型パッチ配布の効率的評価を可能にする。

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モデル（exact SIPS model）をベンチマークとして用い、汎用および線形SIPSモデルの精度を評価する。
• 安定性解析および行列Q₁, Q₂, Q₄, Dγのスペクトル理論を用い、ウイルスおよびパッチの絶滅または存続に関する条件を、スペクトル半径s(·)に基づいて導出する。
• スモールワールドネットワーク上で1025通りのパrameter組み合わせについて、線形、汎用、正確なSIPSモデルのダイナミクスを比較して、モデル精度を実証的に評価する。
• 非線形レートの依存性をモデル化するため、均衡状態P*および対角行列diag(g(P*))、diag(h(P*))の使用を導入する。
• 合成ネットワーク（例：100ノードのスモールワールドネットワーク）における数値シミュレーションを用い、理論的発見の妥当性を検証し、さまざまな条件下でのモデルの忠実度を評価する。

実験結果

リサーチクエスチョン

• RQ1 分散型パッチ配布システムにおけるウイルスの平均絶滅ダイナミクスを線形SIPSモデルが正確に捉える条件は何か？
• RQ2 線形SIPSモデルがパッチの平均絶滅または存続を信頼性高く予測できる条件は何か？
• RQ3 線形SIPSモデルがウイルス・パッチ相互作用の真の平均ダイナミクスを表現できない条件は何か？
• RQ4 線形モデルが不十分な場合に、正確な予測が得られる非線形レートを備えた汎用SIPSモデルをどのように構築できるか？
• RQ5 ネットワーク構造およびパrameter設定は、分散型パッチ配布のモデリングにおける線形および非線形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通りのパrameter組み合わせのうち697通りで、線形SIPSモデルは精度条件を満たさず、非線形レートを備えた汎用SIPSモデルの使用が不可避であった。
• 実証的結果から、さまざまなパrameterコレクションにおいて、汎用SIPSモデルと正確なSIPSモデルの間で一貫した乖離パターンが観察され、モデル精度の理論的基準が妥当であることが検証された。