Курс лекций Защита Информации/Модель Белла-ЛаПадулы: различия между версиями
Содержимое удалено Содержимое добавлено
Lex1026 (обсуждение | вклад) |
|||
Строка 58:
== Основная теорема безопасности Белла — Лападулы ==
{{Курс лекций Защита Информации/Теорема|{{Курс лекций Защита Информации/Акцент в теореме|Теорема безопасности Белла — Лападулы}}<br />
Система <math> ~\Sigma=( \nu_0, R, T ) </math> безопасна тогда и только тогда, когда выполнены следующие условия:
# Начальное состояние <math> \nu_0\ </math> безопасно.
Строка 64 ⟶ 65 :
## Если <math> r \mathcal {2} M[s,o] </math> и <math>~F^*(s) < F^*(o) </math>, то <math> r \notin M^*[s,o] </math>
## Если <math> w \mathcal {2} M^*[s,o] </math> и <math>w \notin M[s,o] </math>, то <math> F^*(s) \le F^*(o) </math>
## Если <math> w \mathcal {2} M[s,o] </math> и <math>~F^*(o) < F^*(s) </math>, то <math> w \notin M^*[s,o] </math>}}
=== Доказательство теоремы ===
| |||