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

Материал из Викиучебника — открытых книг для открытого мира
Перейти к навигации Перейти к поиску

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

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

Теорема Мак-Лина
Введем функции и . Функция перехода безопасна по чтению, если для любого перехода выполняются следущие условия:
  1. если и , то и
  2. если , то, и , для которых ,
  3. если , то , и , для которых ,

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

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

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