[논문 리뷰] DAG-Based Attack and Defense Modeling: Don't Miss the Forest for the Attack Trees

Barbara Kordy, Ludovic Piètre-Cambacédès외 1명|arXiv (Cornell University)|2013. 03. 29.

Information and Cyber Security참고 문헌 170인용 수 5

한 줄 요약

이 논문은 방향성 비순환 그래프(DAG) 기반 공격 및 방어 모델링 기법에 대한 종합적인 서베이를 제시하며, 위협 트리와 베이지안 네트워크를 확장한 30개 이상의 방법론을 분석한다. 형식어법의 분류 체계를 도입하고, 그들의 형식적 특성과 사용성 특성을 비교하며, 통합과 명세화가 핵심 추세임을 규명하고, 공격 패tern에서 자동으로 모델을 생성함으로써 보안 위험 평가의 확장성과 실용적 도입을 향상시키기 위한 권고를 제시한다.

ABSTRACT

This paper presents the current state of the art on attack and defense modeling approaches that are based on directed acyclic graphs (DAGs). DAGs allow for a hierarchical decomposition of complex scenarios into simple, easily understandable and quantifiable actions. Methods based on threat trees and Bayesian networks are two well-known approaches to security modeling. However there exist more than 30 DAG-based methodologies, each having different features and goals. The objective of this survey is to present a complete overview of graphical attack and defense modeling techniques based on DAGs. This consists of summarizing the existing methodologies, comparing their features and proposing a taxonomy of the described formalisms. This article also supports the selection of an adequate modeling technique depending on user requirements.

연구 동기 및 목표

• DAG 기반 공격 및 방어 모델링 방법론의 완전한 개요를 제공함으로써, 그들의 형식적 특성과 사용성 특성을 포함한다.
• 기존의 형식어법을 비교하고, 기능, 목표, 적용 분야에서의 주요 차이점을 규명한다.
• 구조적 및 의미적 성질에 기반해 DAG 기반 보안 모델링 기법을 분류하는 분류 체계를 제안한다.
• 사용자 요구사항과 사용 사례 맥락에 따라 적절한 모델링 기법을 선택하는 데를 지원한다.
• 공격 패턴에서 자동으로 모델을 생성하는 것과 같은 연구 격차를 규명하고, 학계와 산업계 보안 공동체 간의 더욱 밀접한 협력을 주장한다.

제안 방법

• 이 서베이는 위협 트리와 베이지안 네트워크에서 유래한 30개 이상의 DAG 기반 형식어법을 분석하며, 공격 및 방어 시나리오의 계층적 분해에 중점을 둔다.
• 연구는 두 가지 주요 추세로 분류된다: 통합(일반 목적의 모델로 형식적 의미를 지님)과 명세화(대상 응용을 위한 도메인 특화 모델).
• 논문은 형식적 기초, 정량화 능력, 그리고 동적, 시간 기반, 순서 기반 동작 지원을 포함한 다양한 모델의 평가를 수행한다.
• 다양한 구성 요소(디지털, 물리적, 사회적)를 포함한 위협 시나리오를 지원하는 기능을 평가하기 위해 비교 프레임워크를 사용한다.
• 기존 도구 및 저장소(예: SHIELDS 프로젝트의 SVRS)의 리뷰를 포함하여 재사용성과 표준화 잠재력을 평가한다.
• 이 방법은 실용적 사용성과 이론적 타당성을 강조하며, 그래픽 모델을 표준 감사 및 위험 평가 도구에 통합할 것을 주장한다.

실험 결과

연구 질문

• RQ1 DAG 기반 공격 및 방어 모델링 형식어법은 구조, 의미, 적용 범위에서 어떻게 다를까?
• RQ2 DAG 기반 보안 모델링의 진화에서 주요 추세는 무엇이며, 특히 통합 대비 명세화의 관계는 어떻게 되는가?
• RQ3 기존의 공격 및 방어 모델은 얼마나 자주 재사용 가능한 패턴을 사용하여 자동으로 표준화되거나 조합될 수 있는가?
• RQ4 확장성, 형식적 분석, 산업적 도입 측면에서 현재의 DAG 기반 모델의 한계는 무엇인가?
• RQ5 그래픽 보안 모델링 분야에서 이론적 연구와 산업적 실천 사이의 격차는 어떻게 해소될 수 있는가?

주요 결과

• 30개 이상의 고유한 DAG 기반 방법론이 존재하며, 위협 트리 확장과 베이지안 네트워크가 두 주요 형식어법 클래스를 형성한다.
• 통합 추세는 공격-방어 트리와 베이지안 공격 그래프와 같이 형식적 의미를 지닌 잘 정립된 모델을 만들어내었으며, 다중 매개변수 정량화를 지원한다.
• 명세화 추세는 침입 DAG와 보안 활동 그래프와 같은 도메인 특화 모델을 이끌었으며, 주로 실무적 필요에 의해 영향을 받고 재사용성이 제한적이다.
• 이론적 확장성은 존재하지만, 다수의 들어오는 간선으로 인해 DAG 기반 분석 복잡도는 지수적으로 증가할 수 있으나, 순환 구조가 없기 때문에 실질적인 성능는 여전히 수용 가능하다.
• 공격 패턴의 재사용과 템플릿에서 자동으로 모델을 생성하는 것은 산업 응용에서 수작업의 양을 크게 줄이고 모델 정확도를 향상시킬 수 있다.
• 학계 연구와 산업 실천 사이에 여전히 중요한 격차가 존재하며, 표준 위험 평가 도구에 통합하고 더 밀접한 협력을 통해 향상 가능성이 크다.