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

Содержимое удалено Содержимое добавлено
Строка 50:
 
== Безопасность состояния ==
# {{../Определение|Состояние системы <math>(F, M)</math> называется '''{{../Термин|безопасным по записи''' в случаечтению}}, если для каждого [[../Основные понятия и определения#Субъект доступа|субъекта]], осуществляющего в этом состоянии доступ по записичтению к [[../Основные понятия и определения#Объект доступа| объекту]], уровень безопасности объектасубъекта доминирует над уровнем безопасности субъектаобъекта: <math>\forall s \in S, \forall o \in O, wr \in M [s,o] \rightarrow F(so) \le F(os)</math>}}
 
# {{../Определение|Состояние системы <math>(F, M)</math> называется '''{{../Термин|безопасным по чтению'''записи}} в случае, если для каждого [[../Основные понятия и определения#Субъект доступа| Субъекта]]субъекта, осуществляющего в этом состоянии доступ по чтениюзаписи к [[../Основные понятия и определения#Объект доступа| объекту]], уровень безопасности субъектаобъекта доминирует над уровнем безопасности объектасубъекта: <math>\forall s \in S, \forall o \in O, rw \in M [s,o] \rightarrow F(os) \le F(so)</math>}}
# {{../Определение|Состояние <math> (F, M) </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>
<blockquote>{{../Определение|В соответствии с предложенными определениями, система <math>\Sigma=(\nu_0, R, T)</math> называется '''{{../Термин|безопасной'''}}, если её начальное состояние <math>v_0</math> безопасно, и все состояния, достижимые из <math>\nu_0</math> путём применения конечной последовательности запросов из <math>\R</math>, безопасны.</blockquote>}}
# Состояние <math> (F, M) </math> называется '''безопасным''', если оно безопасно по чтению и по записи.
 
<blockquote>В соответствии с предложенными определениями, система <math>\Sigma=(\nu_0, R, T)</math> называется '''безопасной''', если её начальное состояние <math>v_0</math> безопасно, и все состояния, достижимые из <math>\nu_0</math> путём применения конечной последовательности запросов из <math>\R</math>, безопасны.</blockquote>
 
== Основная теорема безопасности Белла — Лападулы ==