Biba模型（MAC）
毕巴模型用完整性级别来对完整性进行量化描述。
设i1和i2是任意两个完整性级别，如果完整性级别为i2的实体比完整性级别为i1的实体具有更高的完整性，则称完整性级别i2绝对支配完整性级别i1，记为：i1 < i2
“写”和“执行”操作（规则1）
① 当且仅当i(O) ≤ i(S)，主体S可以写客体O。
② 当且仅当i(S2) ≤ i(S1)，主体S1可以执行S2。
“读操作”
对于“读”操作，通过定义不同的规则，毕巴模型呈现为三种略有不同的形式。
- 毕巴低水标模型（Low-Water-Mark）
设S是任意主体，O是任意客体，imin = min(i(S), i(O))，那么，不管完整性级别如何，S都可以读O，但是“读”操作执行后，S的完整性级别被调整为imin。 - 毕巴环模型（Ring）
不管完整性级别如何，任何主体都可以读任何客体。 - 毕巴严格完整性模型（Strict Integrity）
在满足规则1的基础上，当且仅当i(S) ≤ i(O)，主体S可以读客体O。在严格完整性模型中，当且仅当主体和客体拥有相同的完整性级别时，主体可以同时对客体进行“读”和“写”操作。
通常，提及毕巴模型，一般都是指毕巴严格完整性模型。
下读上写
从这两个属性来看，我们发现Biba与BLP模型的两个属性是相反的，BLP模型提供保密性，而BIBA模型对于数据的完整性提供保障。
