Biba 模型是一种正式的计算机安全策略状态转换系统，制定了一套确保数据不被损坏的访问控制规则。完整性等级用于描述完整性策略，具有更高等级的清洁实体受到损坏后，就变成等级低的非清洁等级实体。信息只会从等级较高的实体传输到等级低的实体。