HTTP 기반 애플리케이션 방화벽 정책 분석
Source
Evernote/Inbox/Analysis of Application-Layer Filtering Policies With Application to HTTP.md
Summary
네트워크 방화벽으로 해결되지 않는 HTTP 등 상위 계층 프로토콜 공격을 차단하기 위해 애플리케이션 방화벽이 중요해지고 있다. 그러나 설정 오류는 보안과 가용성에 치명적임에도 불구하고, 설정의 정확성과 일관성을 분석하는 기술이 부재했다. 본 논문은 패킷 필터 분석 모델을 확장하여 애플리케이션 방화벽 정책의 이상(anomaly)을 분석하는 방법을 제시한다. 이를 통해 규칙 쌍(rule-pair) 및 다중 규칙(multirule) 간의 충돌이나 비최적 설정을 감지할 수 있다. 제안된 모델은 Squid 웹 캐싱 프록시의 기능에 대해 검증되었으며, 구현된 도구는 다양한 시나리오에서 양호한 성능을 보였다.
Key Points
- 애플리케이션 방화벽 설정 오류는 서비스 보안 및 가용성에 큰 영향을 미치나, 기존에는 설정 검증 기술이 부족함.
- 패킷 필터 분석 모델을 애플리케이션 계층(HTTP 등)으로 확장하여 정책 이상(anomaly)을 분석.
- 규칙 간 충돌(conflicting) 및 비최적(suboptimal) 구성을 감지하여 설정의 정확성과 일관성 향상.
- Squid 웹 캐싱 프록시를 대상으로 모델의 표현력(expressiveness) 검증 및 도구 성능 테스트 완료.