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

Система, находящаяся в сотояниисостоянии <math>v \isin V</math>, при получении запроса <math>r \isin R</math> переходит в следующее состояние <math>v^* = T(v, r)</math>. Состояние <math>v</math> достижимо в системе <math>\Sigma</math> тогда и только тогда, когда существует последовательность <math>\{(r_0, \nu_0), ... ,(r_{n-1}, \nu_{n-1}),(r_n, \nu_n)\} : T(r_i, \nu_i)=\nu_{i+1} ~ \forall i = 0,n-1</math>. Состояния системы делятьсяделятся на безопасные, в которых отношение доступа не противоречит установленным в модели правилам и небезопасные, в которых эти правила нарушаются.