ФункцияВведем переходафункции <math>TF_s:S \rArr L</math> и <math>F_o:O \rArr L</math>. Функция перехода Т безопасна по чтению, если для любого перехода выполняются следующиеследущие условия. :
# если <math>read M*[S,Q]</math> и <math>read \notin M [S,O]</math>, то
== Первое условие ==
<center><math>F_s(S) \ge F_o(O) и F=F*</math>, где <math>F_s:S→L F_o:O→L</math></center>
# если <math>F_s≠F_s^*</math>, то
Если 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 />
Если Fs≠Fs*, то <center><math>M=M ^* </math>, Fo=Fo* <math> F_o=F_o^* \forall S</math> S и <math>О </math>, для которых Fs<math>F_s^*(S) <math>\le </math> FoF_o^*(O) </math>, read <math> read \notin </math> M [S,O] < br / math></center> ▼
== Второе условие ==
▲Если 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 />
# если <math>F_o=F^*</math>, то <math>M=M^*</math>, <math>F_s=F_s^* \forall S</math> и <math>O</math>, для которых <math>F_s^*(S) \lt F_o^*(O)</math>, <math>read \notin M [S,O]</math>
== Третье условие ==
Если F0=F, то M=M*, Fs=Fs* <math>\forall</math> S и O, для которых Fs* (S)<Fo*(O), read <math>\notin</math>M [S,O] <br /> Смысл введения перечисленных ограничений ограничений и их отличия от условий теоремы Белла-Лападула состоит в следующем: нельзя изменять одновременно состояния более одного компонента, при переходе возникает новое отношение доступа или уровень <math>О</math>, или уровень <math>S. <br /math>. Функция перехода является безопасной тогда и только тоогда, когда она изменяет только 1один из компоненткомпонентов состояния и изменения не приводят к изменению состояниябезопасности системы.
|