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

{{../Определение|{{../Термин|Состояние системы}} <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>, безопасны.}}