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

Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 1:
Введем функции <math>F_s : S \rarr L</math> и <math>F_o : O \rArr L</math>. Функция перехода Т безопасна по чтению, если для любого перехода выполняются следущие условия:
 
# если <math>read M^* [S,Q]</math> и <math>read \notin M [S,О]</math>, то
<center><math>F_s(S) \ge F_o(O) и F=F*</math>, где <math>F_s:S→L F_o:O→L</math></center>