[논문 리뷰] A Stochastic Model of Active Cyber Defense Dynamics

Shouhuai Xu, Wenlian Lu외 1명|arXiv (Cornell University)|2016. 03. 28.

Opinion Dynamics and Social Influence참고 문헌 46인용 수 7

한 줄 요약

이 논문은 마코프 과정을 사용하여 활성 사이버 방어 역학에 대한 첫 번째 수학적 모델을 제안하며, 평균장 근사를 통해 분석 가능한 동적 시스템으로 단순화한다. 주요 기여는 네 가지 방어 역학의 해석적 특성화로, 사이버 우위가 자동으로 네트워크 전역의 정리 기능을 가능하게 하고, 네트워크 구조(특히 파워-레인지 그래프)가 효과성에 결정적인 영향을 미친다는 것을 드러낸다. 특히 파워-레인지 정도 분포에서 γ = 2일 때 최적의 이점이 발생한다.

ABSTRACT

The concept of active cyber defense has been proposed for years. However, there are no mathematical models for characterizing the effectiveness of active cyber defense. In this paper, we fill the void by proposing a novel Markov process model that is native to the interaction between cyber attack and active cyber defense. Unfortunately, the native Markov process model cannot be tackled by the techniques we are aware of. We therefore simplify, via mean-field approximation, the Markov process model as a Dynamic System model that is amenable to analysis. This allows us to derive a set of valuable analytical results that characterize the effectiveness of four types of active cyber defense dynamics. Simulations show that the analytical results are inherent to the native Markov process model, and therefore justify the validity of the Dynamic System model. We also discuss the side-effect of the mean-field approximation and its implications.

연구 동기 및 목표

• 활성 사이버 방어의 효과성을 평가하기 위한 수학적 모델의 부족을 해결하기 위해.
• 사이버 공격과 활성 방어 간의 동적 상호작용을 마코프 과정으로 모델링하기 위해.
• 원래의 비분석 가능한 마코프 모델을 평균장 근사를 통해 분석 가능한 동적 시스템으로 단순화하기 위해.
• 특히 네트워크 구조와 전투력과의 관계에서 활성 방어가 효과적인 조건을 해석적으로 유도하기 위해.
• 시뮬레이션과의 비교를 통해 동적 시스템 모델을 검증하고 근사 정확도를 평가하기 위해.

제안 방법

• 공격-방어 상호작용을 네트워크 상에서 연속 시간 마코프 과정으로 설정하며, 상태 전이를 노드의 차수와 임계값 기반으로 정의한다.
• 스토크래틱 이웃 상호작용을 결정론적 기대값으로 대체하기 위해 평균장 근사를 적용하여 모델을 일차원 미분방정식으로 단순화한다.
• ν(t)는 파란색(방어된) 노드의 비율임을 고려해 dν(t)/dt = θσ(ν(t), ⟨deg(v)⟩) − ν(t)로 표현되는 동적 시스템 모델을 유도한다.
• 이항 확률을 사용하여 노드의 파란색 이웃 수가 임계값 σ·⟨deg(v)⟩를 초과할 확률을 근사한다.
• 균형점과 안정성 영역을 분석하여 네트워크 전체 방어를 달성하기 위한 임계 초기 조건를 도출한다.
• ER 및 파워-레인지 네트워크에서 원래 마코프 과정과의 비교를 통해 시뮬레이션을 통해 동적 시스템 모델을 검증한다.

실험 결과

연구 질문

• RQ1 활성 사이버 방어가 손상된 네트워크를 효과적으로 정리하는 조건는 무엇인가?
• RQ2 네트워크 구조—특히 에르되시-레니 그래프와 파워-레인지 그래프—는 활성 방어의 효과성에 어떻게 영향을 미치는가?
• RQ3 초기 방어자/공격자 전투력과 고차수 노드에 대한 전략적 배치는 어떤 영향을 미치는가?
• RQ4 동적 시스템 모델의 임계값 σ는 진정한 마코프 과정의 임계값 σmarkov와 어떻게 다를까? 그리고 왜 왜곡 현상이 발생하는가?
• RQ5 평균장 근사는 원래 마코프 모델의 역학을 어느 정도 유지하는가?

주요 결과

• 공격자와 방어자의 전투력이 유사한 타입 I 및 II 역학에서는 활성 방어의 효과성은 네트워크 구조, 초기 상태, 전투력 및 전략에 따라 달라지며, 특히 파워-레인지 그래프에서 전략적 우위를 확보할 수 있다.
• 차수 지수 γ = 2인 파워-레인지 네트워크에서는 고차수 노드를 점령함으로써 방어자가 최대의 이점을 얻는다.
• 방어자가 우월한 전투력을 지닌 타입 III 역학에서는 네트워크 구조나 공격 전략과 관계없이 활성 방어가 전체 네트워크를 자동으로 복구시킬 수 있다.
• 이웃 수의 이항 근사를 통해 동적 시스템 모델의 임계값 σ는 진정한 마코프 임계값 σmarkov에서 벗어나며, 특히 저차수 네트워크에서 이 현상이 두드러진다.
• 평균 노드 차수가 증가함에 따라 이완 현상이 감소하며, 고평균 차수에서 ER 및 파워-레인지 그래프 모두에서 σmarkov가 σ로 수렴한다.
• 동적 시스템 모델은 원래 마코프 과정의 역학을 정확하게 반영하며, 네트워크 연결성이 높아질수록 정확도가 향상된다.