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

Функция перехода <math>Т</math> безопасна по чтению, если для любого перехода выполняются следущие условия <br /> '''Первое условие:''' <br />если read M*[S,Q] и <br />read <math>\notin</math> M [S,О], то <br />Fs(S)<math>\ge</math>Fo(O) и F=F* <br />Fs:S→L <br />Fo:O→L <br />'''Второе условие:''' <br />если Fs≠Fs*, то M=M*, Fo=Fo* <math>\forall</math> S и О, для которых Fs*(S) <math>\le</math> Fo*(O), read <math>\notin</math> M [S,O] <br />'''Третье условие:''' <br /> если Fo=F*, то M=M*, Fs=Fs* <math>\forall</math> S и O, для которых Fs* (S)<Fo*(O), read <math>\notin</math>M [S,O] <br /> Смысл введения перечисленных ограничений ограничений и их отличия от условий теоремы Белла-Лападула состоит в следующем: нельзя изменять одновременно состояния более одного компонента, при переходе возникает новое отношение доступа или уровень О, или уровень S. <br /> Функция перехода является безопасной, когда она изменяет только 1 из компонент состояния и изменения не приводят к изменению состояния системы.