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

в соответствии с предложенными определениями, система <math>\Sigma=(\nu_0, R, T)</math> называется '''безопасной''', если её начальное состояние <math>v_0</math> безопасно, и все состояния, достижимые из <math>\nu_0</math> путём применения конечной последовательности запросов из <math>\R</math>, безопасны.

 

Система <math> ~\Sigma=( \nu_0, R, T ) </math> безопасна тогда и только тогда, когда выполнены следующие условия:

# Начальное состояние <math> \nu_0\ </math> безопасно.