Курс лекций Защита Информации/Теорема Мак-Лина: различия между версиями
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 1:
Введем функции <math>F_s:S \rarr L</math> и <math>F_o:O \rarr L</math>. Функция перехода Т безопасна по чтению, если для любого перехода выполняются следущие условия:
# если <math>read \in M^*[S,Q]</math> и <math>read \notin M [S,O]</math>, то
<center><math>F_s
# если <math>F_s \ne F_s^*</math>, то
|