[논문 리뷰] Malware propagation in urban D2D networks

Alexander Hinsen, Benedikt Jahnel외 2명|arXiv (Cornell University)|2020. 01. 01.

Human Mobility and Location-Based Analysis참고 문헌 18인용 수 1

한 줄 요약

이 논문은 도시 내 디바이스 간(D2D) 네트워크에서의 악성 소프트웨어 확산을 포아송-바르노이 시스템 기반의 코크스-질베르트 무작위 그래프 프레임워크를 사용해 모델링한다. 마코프성(지수 분포 대기 시간)과 비마코프성(균일한 유한한 대기 시간) 감염 역학을 모두 분석하여, 비마코프성 설정에서는 기기 밀도가 높아질수록 감염 속도가 포화 상태에 도달함을 보이고, 악성 소프트웨어 제거 기능을 갖춘 '화이트 기사'(white knights)라는 특수 기기 도입으로 악성 소프트웨어 생존과 멸종 사이의 상전이가 발생하며, 이 상전이의 임계 조건은 마코프성 및 비마코프성 설정 모두에서 감염률과 화이트 기사 강도에 대해 선형적으로 의존함을 밝힌다.

ABSTRACT

We introduce and analyze models for the propagation of malware in pure D2D networks given via stationary Cox-Gilbert graphs. Here, the devices form a Poisson point process with random intensity measure $λΛ$, where $Λ$ is stationary and given, for example, by the edge-length measure of a realization of a Poisson-Voronoi tessellation that represents an urban street system. We assume that, at initial time, a typical device at the center of the network carries a malware and starts to infect neighboring devices after random waiting times. Here we focus on Markovian models, where the waiting times are exponential random variables, and non-Markovian models, where the waiting times feature strictly positive minimal and finite maximal waiting times. We present numerical results for the speed of propagation depending on the system parameters. In a second step, we introduce and analyze a counter measure for the malware propagation given by special devices called white knights, which have the ability, once attacked, to eliminate the malware from infected devices and turn them into white knights. Based on simulations, we isolate parameter regimes in which the malware survives or is eliminated, both in the Markovian and non-Markovian setting.

연구 동기 및 목표

• 실제 도시 D2D 네트워크의 무작위 도로 기반 인프라를 고려한 악성 소프트웨어 확산 모델링.
• 마코프성 및 비마코프성 감염 역학 하에서 악성 소프트웨어 확산 속도 분석.
• '화이트 기사'(감염 후 악성 소프트웨어를 제거하는 기기)의 효과성 평가 — 악성 소프트웨어의 확산 억제 또는 제거 여부.
• 특정 매개변수 영역에서 악성 소프트웨어가 생존하거나 멸종하는 임계 조건 규명 — 특히 기기 밀도와 화이트 기사 강도와의 관계.
• 다양한 시스템 매개변수에서 악성 소프트웨어 생존 행동의 상전이에 대한 수치적 증거 제공.

제안 방법

• 정적 포아송-바르노이 타일링을 사용해 도시 도로 시스템 모델링하며, 도로 길이를 무작위 강도 측도 Λ로 사용.
• 강도 측도 λ|S ∩ dx|를 갖는 코크스 점 프로세스를 통해 도로 위에 기기를 배치하며, λ는 기기 밀도를 제어.
• 반경 r 내의 거리에 있는 기기를 연결하는 기르베르트 무작위 그래프를 통해 네트워크 연결성 정의.
• 두 가지 감염 역학 도입: 마코프성(지수 분포 대기 시간)과 비마코프성(ε와 M 사이의 균일한 유한한 대기 시간).
• 감염 후 악성 소프트웨어를 제거하고 면역이 되는 특수 기기인 '화이트 기사' 도입 — 경쟁 입자 시스템으로 모델링.
• 시뮬레이션 기반으로 (λI, ρ)-평면 내 임계 상전이 경계 추정을 통해 생존 대 멸종 영역 식별.

실험 결과

연구 질문

• RQ1 마코프성 및 비마코프성 감염 모델에서 기기 강도 λ에 따라 악성 소프트웨어 확산 속도는 어떻게 변화하는가?
• RQ2 기반 도로 시스템의 밀도 γ가 악성 소프트웨어 멸종의 임계 조건에 미치는 영향은 무엇인가?
• RQ3 화이트 기사는 악성 소프트웨어 확산 억제에 얼마나 효과적인가? 멸종을 보장하기 위해 필요한 화이트 기사의 임계 강도 ρ는 얼마인가?
• RQ4 마코프성 및 비마코프성 설정 모두에서 감염률 λI와 임계 화이트 기사 강도 ρ 사이에 선형 관계가 존재하는가?
• RQ5 공간적 무작위성과 네트워크 구조(코크스-질베르트 그래프를 통해)는 감염 영역의 형태와 성장에 어떤 영향을 미치는가?

주요 결과

• 마코프성 설정에서는 감염 속도가 기기 밀도 λ에 따라 선형적으로 증가하며, 지수 분포 대기 시간 역학과 일치함.
• 비마코프성 설정에서는 유한한 대기 시간으로 인해 고밀도 기기에서 감염 속도가 포화 상태에 도달하며, 더 구형에 가까운 감염 클러스터 형성.
• 마코프성 및 비마코프성 모델 모두에서 악성 소프트웨어 멸종의 임계 조건은 감염률 λI와 화이트 기사 강도 ρ 사이에 선형 관계를 보임.
• 도로 시스템 밀도 γ가 증가할수록(즉, 더 많은 도로가 있을수록), 고정된 기기 밀도 λ에서 멸종을 위한 임계 화이트 기사 강도 ρ가 감소함.
• 네트워크 내 기기의 평균 차수는 임계 상전이 경계의 기울기에 영향을 미치는 핵심 요소이며, 더 흐린 도로에서는 평균 차수가 높고, 이에 따라 ρ의 임계 조건이 낮아짐.
• 시뮬레이션 결과는 점차 증가하는 관측 창에서 수렴함을 보이며, 생존과 멸종 사이의 추정된 상전이 경계의 신뢰성 강화.