Курс лекций Защита Информации/Теорема Мак-Лина: различия между версиями
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 1:
Функция перехода Т безопасна по чтению, если для любого перехода выполняются следущие условия <br /> '''Первое условие:''' <br />если read M*[S,Q] и <br />read <math>\notin</math> M [S,О], то <br />Fs(S)<math>\ge</math>Fo(O) и F=F* <br />Fs:S→L <br />Fo:O→L <br />'''Второе условие:''' <br />если Fs≠Fs*, то M=M*, Fo=Fo* <math>\forall</math> S и О, для которых Fs*(S) <math>\le</math> Fo*(O), read <math>\
|