Модель целостности Биба.

уровнем целостности xo тогда и только тогда, когда xs преобладает над xo.

Для первого правила существует мнемоническое обозначение No Read Down, а для второго – No Write Up. Диаграмма информационных потоков, соответствующая реализации модели Биба в

системе с двумя уровнями секретности, приведена на рис. 2.4.2.

Отдельного комментария заслуживает вопрос, что именно понимается в модели Биба под уровнями целостности. Действительно, в большинстве приложений целостность данных рассматривается как некое свойство, которое либо сохраняется, либо не сохраняется – и введение иерархических уровней целостности может представляться излишним. В действительности уровни целостности в модели Биба стоит рассматривать как уровни достоверности, а соответствующие информационные потоки – как передачу информации из более достоверной совокупности данных в менее достоверную и наоборот. Формальное описание модели Биба полностью аналогично описанию модели Белла-ЛаПадулы.

К достоинствам модели Биба следует отнести её простоту, а также использование хорошо изученного математического аппарата. В то же время модель сохраняет все недостатки, присущие модели Белла-ЛаПадулы.