Викиучебник

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

Интерактивная навигация по истории
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Нет описания правки
исправлены шаблоны
Строка 1:
{{..Курс лекций Защита Информации/Текст с двух сторон|←[[../Модель Харрисона-Рузза-Ульмана|Модель Харрисона-Рузза-Ульмана]]|[[../Теорема Мак-Лина|Теорема Мак-Лина]]→}}
В модели всем участникам процесса обработки [[../Основные понятия и определения#Защищаемая информация| защищаемой информации]] и документам, в которых она содержится назначается специальная метка, получившая название уровня безопасности. Все уровни безопасности упорядочиваются с помощью установленного отношения доменирования.
 
Строка 51:
 
== Безопасность состояния ==
{{..Курс лекций Защита Информации/Определение|{{..Курс лекций Защита Информации/Термин|Состояние системы}} <math>(F, M)</math> называется {{..Курс лекций Защита Информации/Термин|безопасным по чтению}}, если для каждого [[../Основные понятия и определения#Субъект доступа|субъекта]], осуществляющего в этом состоянии доступ по чтению к [[../Основные понятия и определения#Объект доступа| объекту]], уровень безопасности субъекта доминирует над уровнем безопасности объекта: <math>\forall s \in S, \forall o \in O, r \in M [s,o] \rightarrow F(o) \le F(s)</math>}}
{{..Курс лекций Защита Информации/Определение|{{..Курс лекций Защита Информации/Термин|Состояние системы}} <math>(F, M)</math> называется {{..Курс лекций Защита Информации/Термин|безопасным по записи}} в случае, если для каждого субъекта, осуществляющего в этом состоянии доступ по записи к объекту, уровень безопасности объекта доминирует над уровнем безопасности субъекта: <math>\forall s \in S, \forall o \in O, w \in M [s,o] \rightarrow F(s) \le F(o)</math>}}
{{..Курс лекций Защита Информации/Определение|{{..Курс лекций Защита Информации/Термин|Состояние}} <math> (F, M) </math> называется {{..Курс лекций Защита Информации/Термин|безопасным}}, если оно безопасно по чтению и по записи.}}
{{..Курс лекций Защита Информации/Определение|В соответствии с предложенными определениями, {{..Курс лекций Защита Информации/Термин|система}} <math>\Sigma=(\nu_0, R, T)</math> называется {{..Курс лекций Защита Информации/Термин|безопасной}}, если её начальное состояние <math>v_0</math> безопасно, и все состояния, достижимые из <math>\nu_0</math> путём применения конечной последовательности запросов из <math>\R</math>, безопасны.}}
 
== Основная теорема безопасности Белла — Лападулы ==
Строка 80:
* Недостаток основной теоремы Белла-Лападулы состоит в том, что ограничения, накладываемые теоремой на функцию перехода, совпадают с критериями безопасности состояний, следовательно данная теорема является избыточной по отношению к определению безопасности состояния.
* Кроме того, из теоремы следует только то, что все состояния, достижимые из безопасного состояния при определенных ограничениях будут в некотором смысле безопасны, но при этом не гарантируется, что они будут достижимы без потери свойства безопасности в процессе осуществления перехода.
{{..Курс лекций Защита Информации/Текст с двух сторон|←[[../Модель Харрисона-Рузза-Ульмана|Модель Харрисона-Рузза-Ульмана]]|[[../Теорема Мак-Лина|Теорема Мак-Лина]]→}}
[[Категория:Защита информации]]
Источник — https://ru.wikibooks.org/wiki/Курс_лекций_Защита_Информации/Модель_Белла-ЛаПадулы