Курс лекций Защита Информации/Теорема Мак-Лина
■
|
Теорема Мак-Лина
Введем функции и . Функция перехода безопасна по чтению, если для любого перехода выполняются следущие условия:
|
Смысл введения перечисленных ограничений и их отличия от условий теоремы Белла-Лападула состоит в следующем: нельзя изменять одновременно состояния более одного компонента, при переходе возникает новое отношение доступа или уровень объекта, или уровень субъекта. Функция перехода является безопасной тогда и только тогда, когда она изменяет только один из компонентов состояния и изменения не приводят к изменению безопасности системы.