Курс лекций Защита Информации/Модель Белла-ЛаПадулы: различия между версиями
Содержимое удалено Содержимое добавлено
Lex1026 (обсуждение | вклад) |
Lex1026 (обсуждение | вклад) |
||
Строка 45:
== Безопасность состояния ==
# Состояние системы <math>(F, M)</math> называется '''безопасным по чтению''', если для каждого субъекта, осуществляющего в этом состоянии доступ по чтению к объекту, уровень безопасности субъекта доминирует над уровнем безопасности объекта:
# Состояние системы <math>(F, M)</math> называется '''безопасным по записи''' в случае, если для каждого субъекта, осуществляющего в этом состоянии доступ по записи к объекту, уровень безопасности объекта доминирует над уровнем безопасности субъекта:
# Состояние <math> (F, M) </math> называется '''безопасным''', если оно безопасно по чтению и по записи.
<blockquote>В соответствии с предложенными определениями, система <math>\Sigma=(\nu_0, R, T)</math> называется '''безопасной''', если её начальное состояние <math>v_0</math> безопасно, и все состояния, достижимые из <math>\nu_0</math> путём применения конечной последовательности запросов из <math>\R</math>, безопасны.</blockquote>
== Основная теорема безопасности Белла — Лападулы ==
|