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

Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 10:
# если <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>
 
Смысл введения перечисленных ограничений ограничений и их отличия от условий теоремы Белла-Лападула состоит в следующем: нельзя изменять одновременно состояния более одного компонента, при переходе возникает новое отношение доступа или уровень <math>ОO</math>, или уровень <math>S</math>. Функция перехода является безопасной тогда и только тоогда, когда она изменяет только один из компонентов состояния и изменения не приводят к изменению безопасности системы.