[논문 리뷰] Distributed interaction between computer virus and patch: A modeling study

Lu‐Xing Yang, Xiaofan Yang외 2명|arXiv (Cornell University)|2017. 05. 13.

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 모델의 정확도를 평가한다.
• 행렬 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일 경우 선형 SIPS 모델은 패치 동역학을 정확히 예측하지 못한다. 동일한 비선형 조건(g = h 및 양의 스펙트럼 반경)이 적용될 경우, 패치 전파의 불안정성이 나타남을 시사한다.
• 소월드 네트워크에서 테스트한 1025개의 파라미터 조합 중 697개에서 선형 SIPS 모델은 정확도 조건을 충족하지 못하여 비선형 속도를 갖는 일반적인 SIPS 모델의 사용이 필수적이다.
• 경험적 결과는 다양한 파라미터 조합에서 일반적인 SIPS 모델과 정확한 SIPS 모델 간의 일관된 편차 패tern을 보이며, 모델 정확도에 대한 이론적 기준이 검증됨을 보여준다.