MAC 보안 모델 들 은 보안 라벨 을 시스템 의 서브 젝 트 들 및 오브젝트 들 에 할당 함 으로써 정보 를 보호 한다 . 하나 의 그러 한 MAC 보안 모델 은 Biba , " K . J . "" Integrity Considerations for Secure Computer Systems "" MTR - 3153 ", The Mitre Corporation , April 1977 에 개시 된 바 와 같 은 비바 ( Biba ) 모델 이 다 . 비바 무결성 모델 은 데이터 무결 성 을 보장 하 도록 설계 된 액세스 제어 규칙 들 의 세트 를 기술 하 는 컴퓨터 시스템 보안 정책 의 공식 적 인 상태 이행 시스템 이 다 . 데이터 및 서브 젝 트 들 은 순서 화 된 무결성 레벨 들 로 그룹 화 된다 . 모델 은 서브 젝 트 들 이 그 서브 젝 트 보다 더 높이 랭크 된 레벨 에서 데이터 를 오염 시키 지 않 거나 , 그 서브 젝 트 보다 더 낮 은 레벨 로부터 의 데이터 에 의해 오염 될 수 있 도록 설계 된다 . 일반 적 으로 , 데이터 무결 성 의 보존 은 비 인가 된 당사자 들 에 의한 데이터 수정 을 방지 하 고 , 인가 된 당사자 들 에 의한 비 인가 된 데이터 수정 을 방지 하 며 , 내부 및 외부 일관 성 ( 즉 , 데이터 가 실제 세계 를 반영 한다 ) 을 유지 하 는 목적 들 을 가지 고 있 다 . 이러 한 보안 모델 은 데이터 무결 성 에 관한 것 이 고 , " 문구 "" 하위 수준 판독 불가 "," 상위 수준 기록 불가 "" 에 의해 특징지 어 진다 . 비바 MAC 규칙 들 은 이하 와 같이 요약 될 수 있 다 . 1 ) 리소스 들 ( 서브 젝 트 들 및 오브젝트 들 ) 은 더 높 은 레벨 이 더 낮 은 레벨 을 "" 지배 하 도록 "" 비바 무결성 라벨 이 주어진다 . 오브젝트 들 또는 다른 서브 젝 트 들 을 지배 하 는 서브 젝 트 들 은 이 들 리소스 들 에게 "" 하위 수준 기록 "" 할 수 있 다 . 2 ) 더 낮 은 레벨 리소스 들 은 더 높 은 - 레벨 리소스 들 에게 "" 상위 수준 판독 "" 할 수 있 다 . "