Курс лекций Защита Информации/Модель Белла-ЛаПадулы: различия между версиями

# Если существует небезопасное состояние <math> \nu^*\ </math> , достижимое из безопасного состояния <math> \nu_0\ </math> путём применения конечного числа запросов из <math> R\ </math>. Это означает, что на каком-то промежуточном этапе произошёл переход <math> ~T (\nu, r ) = \nu^* </math>, где <math> \nu\ </math> – безопасное состояние, а <math> \nu^*\ </math> - небезопасное. Однако условия 1-4 делают данный переход невозможным.

 

Недостаток основной теоремы Белла-Лападулы состоит в том, что ограничения, накладываемые теоремой на функцию перехода, совпадают с критериями безопасности состояний, следовательно данная теорема является избыточной по отношению к определению безопасности состояния. Кроме того, из теоремы следует только то, что все состояния, достижимые из безопасного состояния при определенных ограничениях будут в некотором смысле безопасны, но при этом не гарантируется, что они будут достижими без потери свойства безопасности в процессе осуществления перехода.