[논문 리뷰] Quantitative Analysis of Active Cyber Defenses Based on Temporal Platform Diversity

Kevin M. Carter, Hamed Okhravi외 1명|arXiv (Cornell University)|2014. 01. 31.

Distributed systems and fault tolerance참고 문헌 22인용 수 9

한 줄 요약

이 논문은 네 가지 상호보완적 방법—추상 모델링, 실험 기반 테스트베드 실험, 게임 이론, 시뮬레이션—을 사용하여 시간적 플랫폼 다각화 기반의 능동적 사이버 방어의 정량적 평가를 수행한다. 연구 결과, 플랫폼 다각화는 지속적인 공격을 완화할 수 있지만, 빠른 단일 공격에 대해서는 보안을 악화시킬 수 있으며, 선호 기반 플랫폼 선택 전략이 균일한 랜덤화보다 훨씬 우수한 보호 효과를 제공함을 확인하였다. 특히 운영용으로 사용 가능한 최적 전략이 도출되었다.

ABSTRACT

Active cyber defenses based on temporal platform diversity have been proposed as way to make systems more resistant to attacks. These defenses change the properties of the platforms in order to make attacks more complicated. Unfortunately, little work has been done on measuring the effectiveness of these defenses. In this work, we use four different approaches to quantitatively analyze these defenses; an abstract analysis studies the algebraic models of a temporal platform diversity system; a set of experiments on a test bed measures the metrics of interest for the system; a game theoretic analysis studies the impact of preferential selection of platforms and derives an optimal strategy; finally, a set of simulations evaluates the metrics of interest on the models. Our results from these approaches all agree and yet are counter-intuitive. We show that although platform diversity can mitigate some attacks, it can be detrimental for others. We also illustrate that the benefit from these systems heavily depends on their threat model and that the preferential selection of platforms can achieve better protection.

연구 동기 및 목표

• 시간적 플랫폼 다각화 기반의 능동적 사이버 방어의 효과를 정량적으로 측정하는 것 — 이는 공격자를 방해하기 위해 시스템 속성을 동적으로 변화시키는 방식이다.
• 방어 효과에 영향을 미치는 핵심 운영 매개변수(예: 이주 빈도, 다각화 수준, 선택 전략 등)를 규명하는 것.
• 다양한 위협 모델 하에서 영향을 미치는 플랫폼 다각화의 역설적인 상충 관계를 분석하여 해결하는 것.
• 게임 이론과 시뮬레이션을 통해 최적의 플랫폼 선택 전략을 도출하고, 이를 실험 및 실제 환경에서 검증하는 것.
• 균일한 랜덤화가 항상 최적은 아니며, 선호 기반 선택 전략이 보안을 상당히 향상시킬 수 있음을 입증하는 것.

제안 방법

• 시간적 플랫폼 전이와 공격자 진행 상황을 모델링하기 위해 대수적 모델, 조합론, 마르코프 체인을 사용한 추상 분석.
• 이주 기반 플랫폼 다각화 시스템(Talent)을 사용한 실험 기반 테스트베드 실험을 통해 실제 공격 성공률 및 플랫폼 변경 빈도와 같은 메트릭을 수집.
• 공격자-방어자 상호작용을 게임 이론적으로 모델링하여 다양한 위협 모델 하에서 최적의 플랫폼 선택 전략을 도출.
• 다양한 운영 체제 플랫폼(CentOS, FreeBSD, Debian, Fedora, Gentoo)에 대해 최적 전략이 적용되었는지 여부에 따라 공격자 침입 시도를 시뮬레이션.
• 추상적, 실험적, 게임 이론적, 시뮬레이션적 접근 방식의 결과를 통합하여 일관성을 검증하고, 역설적인 발견을 밝혀내는 것.
• 지급 모델과 마르코프 체인을 사용하여 다양한 구성 조건 하에서 공격자가 승리하는 데 걸리는 예상 시간을 계산하며, 유한 기간 효과와 분수형 상태를 포함.

실험 결과

연구 질문

• RQ1 시간적 플랫폼 다각화는 지속적인 공격과 빠른 단일 공격에 각각 어떤 영향을 미치는가?
• RQ2 다양성 시스템에서 다음 플랫폼을 선택할 최적의 전략은 무엇인가 — 균일한 랜덤화인지, 취약성 프로파일 기반의 선호 선택인가?
• RQ3 이주 빈도 및 플랫폼 다각화 수준과 같은 운영 매개변수는 플랫폼 다각화 방어의 효과성에 어떤 영향을 미치는가?
• RQ4 플랫폼 다각화의 이점은 공격자의 위협 모델과 이용 가능한 공격 도구에 얼마나 의존하는가?
• RQ5 게임 이론적 분석을 통해 적응형 공격자에 대비해 균일한 랜덤화를 초월하는 전략을 도출할 수 있는가?

주요 결과

• 플랫폼 다각화는 공격자가 서비스를 지속적으로 방해하기 위해 더 많은 노력을 기울여야 하므로, 지속적인 서비스 장애 공격을 효과적으로 완화하지만, 전환 중 공격 표면이 증가함으로써 빠른 단일 공격에 대해서는 악영향을 줄 수 있다.
• 취약성 프로파일 기반의 선호 기반 플랫폼 선택 전략은 게임 이론적 분석과 시뮬레이션을 통해 균일한 랜덤화보다 방어 효과를 크게 향상시킴을 입증하였다.
• 게임 이론을 통해 도출된 최적 전략은 특히 공격자가 사전에 확보한 전용 공격 도구를 모두 보유한 경우, 공격자가 침입하는 데 걸리는 예상 시간을 최소화하여 균일한 랜덤화 전략을 능가한다.
• 시뮬레이션 결과는 선택 전략의 선택이 다각화 수준 자체보다 보안에 더 큰 영향을 미친다는 것을 확인하였으며, 운영 정책의 중요성을 강조한다.
• 마르코프 모델과 조합론을 사용한 추상적 분석은 유한 기간 효과와 분수형 플랫폼 상태가 예상 침입 시간을 크게 변화시킬 수 있음을 드러내어, 무한 또는 이상화된 시스템에 대한 가정을 도전한다.
• 추상적, 실험적, 게임 이론적, 시뮬레이션적 접근 모두 일관된 결과를 도출하였으며, 이는 결과의 탄탄함을 검증하나, 역설적인 결과가 존재함을 시사한다.