Курс лекций Защита Информации/Теорема Мак-Лина

←Модель Белла-ЛаПадулы

Ролевая модель→

■

Теорема Мак-Лина Введем функции $F_{s}:S\rightarrow L$ и $F_{o}:O\rightarrow L$. Функция перехода $T$ безопасна по чтению, если для любого перехода выполняются следущие условия: если $read\in M^{*}[S,Q]$ и $read\notin M[S,O]$, то $F_{s}(S)\geq F_{o}(O)$ и $F=F^{*}$ если $F_{s}\neq F_{s}^{*}$, то$M=M^{*}$, $F_{o}=F_{o}^{*}$ $\forall S$ и $O$, для которых $F_{s}^{*}(S)\leq F_{o}^{*}(O)$, $read\notin M[S,O]$ если $F_{o}=F^{*}$, то $M=M^{*}$, $F_{s}=F_{s}^{*}$ $\forall S$ и $O$, для которых $F_{s}^{*}(S)<F_{o}^{*}(O)$, $read\notin M[S,O]$

Смысл введения перечисленных ограничений и их отличия от условий теоремы Белла-Лападула состоит в следующем: нельзя изменять одновременно состояния более одного компонента, при переходе возникает новое отношение доступа или уровень объекта, или уровень субъекта. Функция перехода является безопасной тогда и только тогда, когда она изменяет только один из компонентов состояния и изменения не приводят к изменению безопасности системы.

←Модель Белла-ЛаПадулы

Ролевая модель→