접근 통제 보안 모델

정의

접근 통제 보안 모델은 주체와 객체 사이의 정보 흐름을 규칙으로 제한하는 정책 모델이다.

주체는 정보에 접근하는 사용자나 프로세스이고, 객체는 파일이나 테이블처럼 정보를 담는 대상이다.

사람의 판단에 맡기지 않고 시스템이 규칙을 강제하는 것이 핵심이다.

두 가지 보호 목적

접근 통제 모델은 보호하려는 목적에 따라 기밀성 모델과 무결성 모델로 나뉜다.

기밀성 모델은 높은 등급의 정보가 낮은 등급으로 새는 것을 막는다.

무결성 모델은 낮은 무결성 데이터가 높은 무결성 데이터를 오염시키는 것을 막는다.

BLP: 기밀성 모델

BLP는 벨과 라파듈라가 만든 기밀성 모델로, 정보가 높은 등급에서 낮은 등급으로 새지 않게 막는다.

기밀 등급 사용자가 비밀 등급 보고서를 열면 상향 읽기이므로 차단된다.

단순 보안 속성은 읽기 상향을, 스타 속성은 쓰기 하향을 금지한다.

Biba: 무결성 모델

Biba는 1977년에 처음 발표된 무결성 모델이다. 기밀성 모델의 규칙을 뒤집은 형태다.

낮은 무결성 데이터를 읽지 못하게 하고, 높은 무결성 객체에는 쓰지 못하게 한다.

주체는 더 높은 무결성 수준의 서비스를 호출하지도 못한다.

Clark-Wilson: 거래 무결성

Clark-Wilson은 등급 대신 거래를 중심으로 무결성을 지키는 상업용 모델이다.

데이터는 CDI와 UDI로 나뉘고, CDI는 변환 절차 TP를 통해서만 바뀐다.

TP 실행 뒤 직무분리를 확인하고, IVP로 CDI의 유효성을 검증한다.

거래 기록은 감사 로그로 남긴다.

세 모델 비교와 정리

세 모델은 보호 목적과 규칙 방향으로 나누어 비교하면 정리가 쉽다.

BLP는 기밀성, Biba는 무결성, Clark-Wilson은 상업 거래 무결성을 다룬다.

BLP와 Biba는 규칙 방향만 반대다. 두 모델을 대비해 쓰면 감점을 줄인다.

실무에서는 RBAC과 병용해 권한을 세밀하게 관리한다.