Викиучебник

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

Интерактивная навигация по истории
← Предыдущая правка
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
м {{BookCat}}; избыточные <big /> и <font /> вокруг <source />; ссылки; пробелы.
Исправлены опечатки
Метки: с мобильного устройства из мобильной версии
 
Строка 5:
# если <math>F_o=F^*</math>, то <math>M=M^*</math>, <math>F_s=F_s^*</math> <math>\forall S</math> и <math>O</math>, для которых <math>F_s^*(S) < F_o^*(O)</math>, <math>read \notin M [S,O]</math>}}
 
Смысл введения перечисленных ограничений ограничений и их отличия от условий теоремы Белла-Лападула состоит в следующем: нельзя изменять одновременно состояния более одного компонента, при переходе возникает новое отношение доступа или уровень объекта, или уровень субъекта. Функция перехода является безопасной тогда и только тоогдатогда, когда она изменяет только один из компонентов состояния и изменения не приводят к изменению безопасности системы.
{{Курс лекций Защита Информации/Текст с двух сторон|←[[../Модель Белла-ЛаПадулы|Модель Белла-ЛаПадулы]]|[[../Ролевая модель|Ролевая модель]]→}}
 
Источник — https://ru.wikibooks.org/wiki/Курс_лекций_Защита_Информации/Теорема_Мак-Лина