프로세스 행위 추적을 통한 SELinux 정책템플릿 자동 생성기 = Automatic Generator for SELinux Policy Template using Process Action Tracking

국문 초록 (Abstract)

국내‧외에서 보안 운영체제 개발 및 활용 움직임이 활발해 지고 있으며, 세계적으로 SELinux에 대한 연구가 진행되고 있다. SELinux는 다양하고 정교한 접근 통제로 높은 보안성을 제공하지만, 보안 정책설정의 복잡성과 그에 따라 요구되는 전문성 때문에 다양한 분야에 널리 활용되고 못하고 있다. 이러한 문제점을 해결하기 위하여 SELinux 보안정책 설정의 편의성을 위한 연구가 요구되고 있다. SELinux 정책템플릿은 이러한 연구의 일환으로 SELinux의 다양한 객체와 권한 집합을 분석하여 그 순차성과 연관성을 고려하여 축소시키고, TE 모델의 복잡한 타입과 타입 전이 등을 연구하여 간소화시킴으로써, 정책 관리자는 물론 일반 사용자들이 규칙을 쉽게 설정할 수 있도록 개발되었다.

본 논문에서는 정책을 자동으로 생성하여 주는 기존의 도구들을 분석하고, 새로운 정책 생성 도구인 SELinux 정책템플릿 자동 생성기를 제안한다. SELinux 정책템플릿 자동 생성기는 프로세스의 행위를 추적하여 접근하는 객체와 행위 정보를 획득하고 이를 기반으로 하여 SELinux 정책템플릿 기술언어 형태로 정의된 정책 파일을 생성한다. 제안된 정책생성 도구는 사용법이 매우 간단하고 프로그램 유형에 따라 보안정책에 기본이 되는 틀을 제공함으로써 전문지식이 없는 사용자가 시스템의 보안 정책을 설정할 수 있도록 도와준다. 또한 다중 실행파일 입력을 지원함으로써 서버-클라이언트 구조로 동작되는 프로그램을 하나의 도메인으로 관리할 수 있다. 그리고 프로그램이 접근하는 객체와 오퍼레이션 대한 정보를 프로세스 행위추적을 통해 분석해 정책 설정을 용이하게 한다. 대상 프로그램에 대해 보안 정책을 설정하기 위해서는 프로그램이 접근하는 모든 객체에 대해 어떤 권한이 필요한지를 파악하고 있어야 하는데 정책템플릿 자동 생성기는 실행파일의 경로를 제외한 사전정보가 없는 프로그램에 대해 평균적으로 객체 60%, 오퍼레이션 40.2%의 정보를 획득하여 보안정책 설정에 있어서의 편의성을 제공한다.

목차 (Table of Contents)

• 차 례 i
• 그림차례 ii
• 표 차 례 iii
• 국문초록 iv
• 1. 서론 1
• 가. 연구 배경 1
• 나. 연구 내용 2
• 다. 논문의 구성 3
• 2. 관련 연구 4
• 가. 정책템플릿(SELT: SELinux Template) 4
• 나. SELinux Policy Editor(SEEdit) 9
• 다. Polgen 12
• 3. 정책템플릿 자동 생성기 15
• 가. 정책템플릿 자동 생성기 개요 15
• 나. 정책템플릿 자동 생성기 구성 16
• 다. 정책템플릿 자동생성기를 통한 정책의 생성 28
• 4. 실험결과 및 분석 33
• 가. 임의 작성된 프로그램을 통한 정책템플릿 자동 생성기 검증 33
• 나. 정책템플릿 자동 생성기와 polgen의 비교 37
• 다. 서비스 데몬에 대한 정책 분석 40
• 5. 결론 및 향후 연구방향 45
• 참고문헌(Reference) 47
• 영문초록 49