[논문 리뷰] Preventive and Reactive Cyber Defense Dynamics Is Globally Stable

Ren Zheng, Wenlian Lu외 1명|arXiv (Cornell University)|2016. 02. 19.

Network Security and Intrusion Detection참고 문헌 27인용 수 5

한 줄 요약

이 논문은 예방적이고 반응적인 사이버 방어 역학이 전체 매개변수 우주에서 전역적으로 안정됨을 증명하며, 시스템 매개변수에 관계없이 유일한 평형 상태로 수렴함을 보장한다. 저자들은 지수적 또는 다항수렴 속도를 확립하고 평형 상태에 대해 더 날카운 경계를 제안하여 기존 사이버보안 역학 모델링 연구에 비해 크게 향상시켰다.

ABSTRACT

The recently proposed {\em cybersecurity dynamics} approach aims to understand cybersecurity from a holistic perspective by modeling the evolution of the global cybersecurity state. These models describe the interactions between the various kinds of cyber defenses and the various kinds of cyber attacks. We study a particular kind of cybersecurity dynamics caused by the interactions between preventive and reactive defenses (e.g., filtering and malware detection) against push- and pull-based cyber attacks (e.g., malware spreading and "drive-by download" attacks). The dynamics was previously shown to be globally stable in a {\em special} regime of the parameter universe, but little is known beyond this special regime. In this paper, we resolve an open problem in this domain by proving that the dynamics is globally stable in the {\em entire} parameter universe (i.e., the dynamics always converges to a unique equilibrium). We discuss the cybersecurity meanings and implications of this theoretic result. We also prove that the dynamics converges {\em exponentially} to the equilibrium except for a special parameter regime, in which case the dynamics converges {\em polynomially}. Since it is often difficult to compute the equilibrium, we propose new bounds of the equilibrium and numerically show that these bounds are tighter than those proposed in the literature.

연구 동기 및 목표

• 이전에 알려진 특수 매개변수 영역을 초월하여 예방적이고 반응적인 사이버 방어 역학이 여전히 전역적으로 안정적인지 여부라는 열린 문제를 해결하기 위해.
• 전체 매개변수 공간에서 역학의 수렴 행동을 완전히 특성화하기 위해.
• 기존 문헌에 비해 개선된 시스템 평형 상태에 대한 더 좁은 분석 경계를 도출하기 위해.
• 예방 및 반응 전략을 병행하는 상황에서 사이버 방어 메커니즘의 장기적 행동을 이해하기 위한 이론적으로 엄밀한 기초를 제공하기 위해.

제안 방법

• 비선형 시스템을 이용한 사이버 공격-방어 상호작용을 모델링하는 동역학 이론을 활용한 공식적인 수학적 분석을 통해 안정성을 연구하기 위해.
• 특히 시스템의 자코비안 행렬의 스펙트럼 성질에 중점을 두어, 수렴 속도를 특성화하기 위해 행렬 이론과 고유값 분석을 적용하기 위해.
• 리아프노프 유사 기법과 행렬 노름 부등식을 사용하여 평형 상태에 대한 새로운 상한과 하한을 유도하기 위해.
• 실세계 네트워크 구조(페이스북 및 Gnutella)를 사용한 수치적 검증을 통해 모델 예측과 시뮬레이션 결과를 비교하기 위해.
• 수렴 속도에 대한 명시적 분석 — 대부분의 경우 지수 수렴, 특정 매개변수 공간의 경계에서만 다항수렴.
• 일관된 동역학 프레임워크 내에서 푸시 기반 및 풀 기반 공격의 구조와 이중 방어 메커니즘(필터링 및 악성코드 탐지)을 활용하기 위해.

실험 결과

연구 질문

• RQ1 예방적이고 반응적인 사이버 방어 역학은 모든 매개변수 값에서 전역적으로 안정적인가, 아니면 제한된 영역에서만 안정적인가?
• RQ2 전체 매개변수 공간에서 이 역학의 수렴 행동(속도와 성격)은 어떠한가?
• RQ3 기존 문헌에 비해 더 좁은 분석 경계를 평형 상태에 대해 도출할 수 있는가?
• RQ4 이론적 예측은 실세계 네트워크 구조에서의 실증적 시뮬레이션 결과와 어떻게 비교되는가?

주요 결과

• 예방적이고 반응적인 사이버 방어 역학은 전체 매개변수 우주에서 전역적으로 안정되어 있으며, 매개변수 값에 관계없이 유일한 평형 상태로 수렴한다.
• 대부분의 매개변수 값에서 수렴은 지수적이다. 다항수렴은 매개변수 공간의 특정 경계에서만 발생한다.
• 저자들은 기존 문헌에서 보고된 바보다 더 좁은 경계를 갖는 평형 상태에 대한 새로운 상한과 하한을 도출하였다.
• 페이스북 및 Gnutella 네트워크에서 수행된 수치 실험 결과, 모델 예측이 시뮬레이션 결과와 밀도 있게 일치함을 확인하여 이론적 경계의 타당성을 검증하였다.
• 공격 및 방어 매개변수가 변화하더라도 이 역학은 강건하게 안정됨을 입증하여 실질적 사이버보안 기획에의 응용 가능성을 뒷받침한다.
• 본 연구 결과는 장기적으로 사이버보안 역학의 행동을 완전히 이론적으로 특성화함으로써 오랫동안 남아있던 열린 문제를 해결하였다.