Курс лекций Защита Информации/Модель Белла-ЛаПадулы: различия между версиями
Содержимое удалено Содержимое добавлено
Lex1026 (обсуждение | вклад) |
Lex1026 (обсуждение | вклад) |
||
Строка 45:
== Безопасность состояния ==
# Состояние системы <math>(F, M)</math> называется '''безопасным по чтению''', если для каждого субъекта, осуществляющего в этом состоянии доступ по чтению к объекту, уровень безопасности субъекта доминирует над уровнем безопасности объекта: <blockquote><math>\forall s \in S, \forall o \in O, r \in M [s,o] \rightarrow F(o) \le F(s)</math></blockquote>
# Состояние системы <math>(F, M)</math> называется '''безопасным по записи''' в случае, если для каждого субъекта, осуществляющего в этом состоянии доступ по записи к объекту, уровень безопасности объекта доминирует над уровнем безопасности субъекта: <blockquote><math>\forall s \in S, \forall o \in O, w \in M [s,o] \rightarrow F(s) \le F(o)</math></blockquote>▼
▲# Состояние системы <math>(F, M)</math> называется '''безопасным по записи''' в случае, если для каждого субъекта, осуществляющего в этом состоянии доступ по записи к объекту, уровень безопасности объекта доминирует над уровнем безопасности субъекта:
# Состояние <math> (F, M) </math> называется '''безопасным''', если оно безопасно по чтению и по записи.
| |||