[논문 리뷰] Aggregating and Deploying Network Access Control Policies

Joaquín García-Alfaro, Frédéric Cuppens외 1명|ArXiv.org|2008. 03. 05.

Access Control and Trust참고 문헌 8인용 수 10

한 줄 요약

이 논문은 분산 방화벽을 통해 일관된 네트워크 액세스 제어 정책을 집계하고 배포하기 위한 이단계 프레임워크를 제안한다. 먼저 공식적인 집계 메커니즘을 사용하여 기존의 로컬 방화벽 규칙을 하나의 글로벌이고 일관된 정책으로 집계한 후, 중복 제거 및 그림자 규칙 제거를 위해 정책 재작성 과정을 적용하여 네트워크 인fra구조 전반에 걸쳐 최적화되고 충돌 없는 규칙 배포를 보장한다.

ABSTRACT

The existence of errors or inconsistencies in the configuration of security components, such as filtering routers and/or firewalls, may lead to weak access control policies -- potentially easy to be evaded by unauthorized parties. We present in this paper a proposal to create, manage, and deploy consistent policies in those components in an efficient way. To do so, we combine two main approaches. The first approach is the use of an aggregation mechanism that yields consistent configurations or signals inconsistencies. Through this mechanism we can fold existing policies of a given system and create a consistent and global set of access control rules -- easy to maintain and manage by using a single syntax. The second approach is the use of a refinement mechanism that guarantees the proper deployment of such a global set of rules into the system, yet free of inconsistencies.

연구 동기 및 목표

• 네트워크 보안을 약화시키는 분산 방화벽 구성의 비일관성과 중복 문제를 해결하기 위해.
• 새로운 작성 없이도 기존 로컬 구성에서 유도된 통합된 일관된 글로벌 정책을 관리자들이 쉽게 제어할 수 있도록 하기 위해.
• 내부 방화벽 이상 현상(예: 중복 및 그림자 규칙 포함)을 탐지하고 제거하는 체계적인 방법을 제공하기 위해.
• 여러 방화벽과 네트워크 영역 간에 액세스 제어 규칙이 정확하고 일관되게 배포되도록 보장하기 위해.
• 유지보수 및 문제 해결을 지원하기 위해 전체 액세스 제어 정책에 대한 글로벌 뷰를 제공하기 위해.

제안 방법

• 집계 메커니즘은 모든 로컬 방화벽 규칙을 하나의 글로벌 정책으로 통합하여 구성 요소 간 일관성을 보장한다.
• 공식적인 규칙 표현 방식을 사용하며, 각 규칙는 $ R_i: \{cnd_i\} \rightarrow decision_i $ 로 정의되며, 프로토콜, 소스, 목적지, 포트에 대한 조건이 포함된다.
• 정책 재작성 과정은 배제, 중복 검출, 규칙 재작성의 세 가지 핵심 기능을 사용하여 중복 및 그림자 규칙을 탐지하고 제거한다.
• 배제 기능은 두 규칙의 조건 속성 간의 집합 차를 계산하여 겹치지 않는 부분을 포괄하는 새로운 규칙을 생성한다.
• testRedundancy 기능은 한 규칙의 결정이 다른 규칙에 의해 포함되는지 확인하며, 그렇다면 중복으로 표시하여 제거 대상으로 한다.
• 정책 재작성 기능은 규칙 집합을 반복적으로 처리하여 중복 및 그림자 현상을 제거하고 최소화된 일관된 규칙 집합을 생성한다.

실험 결과

연구 질문

• RQ1 기존의 이질적인 방화벽 구성이 어떻게 하나의 일관된 글로벌 액세스 제어 정책으로 집계될 수 있는가?
• RQ2 방화벽 정책 내에서 중복 및 그림자 규칙을 탐지하고 제거할 수 있는 메커니즘은 무엇인가?
• RQ3 정책 배포 과정에서 방화벽 간의 비일관성과 충돌은 어떻게 해결할 수 있는가?
• RQ4 재작성된 정책가 원본과 의미적으로 동일한 상태를 유지하면서 최적화될 수 있도록 보장하는 공식 기법은 무엇인가?
• RQ5 글로벌 정책는 어떻게 여러 방화벽과 네트워크 영역에 신뢰성 있고 일관되게 배포될 수 있는가?

주요 결과

• 집계 과정은 모든 로컬 방화벽 규칙을 상호 간 이상 없이 일관된 글로벌 정책으로 성공적으로 통합하였다.
• 정책 재작성 메커니즘은 중복 및 그림자 규칙을 효과적으로 탐지하고 제거하여 규칙 집합 크기를 줄이고 유지보수성을 향상시켰다.
• 배제 기능은 규칙 간 조건 집합의 차를 정확히 계산하여 정밀한 규칙 비교 및 충돌 탐지가 가능하게 하였다.
• testRedundancy 기능은 다른 규칙에 의해 포함되는 결정을 가진 규칙을 식별하여 중복 제거 대상으로 표시하였다.
• 최종적으로 재작성된 정책는 내부 방화벽 이상 현상이 전혀 없음을 보장하여 정확하고 최적의 규칙 평가가 가능하다.
• 프레임워크는 액세스 제어 정책에 대한 글로벌 뷰를 제공하여 유지보수 및 문제 해결에 상당한 기여를 하였다.