Курс лекций Защита Информации/Модель Белла-ЛаПадулы: различия между версиями
Содержимое удалено Содержимое добавлено
Lex1026 (обсуждение | вклад) |
Lex1026 (обсуждение | вклад) |
||
Строка 75:
# Если существует небезопасное состояние <math> \nu^*\ </math> , достижимое из безопасного состояния <math> \nu_0\ </math> путём применения конечного числа запросов из <math> R\ </math>. Это означает, что на каком-то промежуточном этапе произошёл переход <math> ~T (\nu, r ) = \nu^* </math>, где <math> \nu\ </math> – безопасное состояние, а <math> \nu^*\ </math> - небезопасное. Однако условия 1-4 делают данный переход невозможным.
Недостаток основной теоремы Белла-
[[Категория:Защита информации]]
|