Biba模型（MAC）

毕巴模型用完整性级别来对完整性进行量化描述。

设i₁和i₂是任意两个完整性级别，如果完整性级别为i₂的实体比完整性级别为i₁的实体具有更高的完整性，则称完整性级别i₂绝对支配完整性级别i₁，记为：i₁< i₂

“写”和“执行”操作（规则1）

① 当且仅当i(O) ≤ i(S)，主体S可以写客体O。

② 当且仅当i(S₂) ≤ i(S₁)，主体S₁可以执行S₂。

“读操作”

对于“读”操作，通过定义不同的规则，毕巴模型呈现为三种略有不同的形式。

毕巴低水标模型（Low-Water-Mark）
设S是任意主体，O是任意客体，i_min = min(i(S), i(O))，那么，不管完整性级别如何，S都可以读O，但是“读”操作执行后，S的完整性级别被调整为i_min。
毕巴环模型（Ring）
不管完整性级别如何，任何主体都可以读任何客体。
毕巴严格完整性模型（Strict Integrity）
在满足规则1的基础上，当且仅当i(S) ≤ i(O)，主体S可以读客体O。在严格完整性模型中，当且仅当主体和客体拥有相同的完整性级别时，主体可以同时对客体进行“读”和“写”操作。

通常，提及毕巴模型，一般都是指毕巴严格完整性模型。

下读上写

从这两个属性来看，我们发现Biba与BLP模型的两个属性是相反的，BLP模型提供保密性，而BIBA模型对于数据的完整性提供保障。

TRANSLATE with x

English

TRANSLATE with

COPY THE URL BELOW

EMBED THE SNIPPET BELOW IN YOUR SITE

Enable collaborative features and customize widget: Bing Webmaster Portal

此页面的语言为中文（简体）

翻译为

随时将中文（简体）翻译为PRO
一律不翻译中文（简体）
一律不翻译i.cnblogs.com

巴特西