비밀 보고서와 정산 장부를 나누어 보기

1. 비밀 보고서에 BLP의 단순화한 규칙을 적용하면 공개 등급의 주체가 보고서를 읽는 것을 막습니다. 보고서를 읽은 높은 수준의 처리 과정이 내용을 공개 게시판에 쓰는 것도 막습니다. 두 통제가 합쳐져 낮은 곳으로 비밀이 흐르는 경로를 제한합니다.

2. 정산 프로그램에 엄격한 Biba 정책을 적용하면 검증되지 않은 입력을 높은 무결성의 처리 과정이 그대로 읽어 장부에 반영하는 경로를 제한합니다. 낮은 신뢰의 프로세스가 높은 무결성 장부를 직접 쓰는 것도 막습니다.

3. 외부 입력이 전혀 들어오지 않으면 업무를 할 수 없으므로, 실제 설계에는 정해진 검증·승격 절차나 신뢰된 변환 경계가 필요합니다. 그 예외를 아무 프로그램에나 허용하면 모델의 목적이 사라집니다.

깨달음등급표만 외우지 말고 비밀이 새는 방향과 잘못된 정보가 들어오는 방향을 먼저 그리면 규칙의 이유를 설명할 수 있습니다.