Викиучебник

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

Интерактивная навигация по истории
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Нет описания правки
Нет описания правки
Строка 1:
Введем функции <math>F_s:S \rArrrarr L</math> и <math>F_o:O \rArrrarr L</math>. Функция перехода Т безопасна по чтению, если для любого перехода выполняются следущие условия:
 
# если <math>read M*[S,Q]</math> и <math>read \notin M [S,O]</math>, то
<center><math>F_s (S) \ge F_o (O) и F=F^*</math>, где <math>F_s : S→L F_o : O→L</math></center>
 
# если <math>F_s≠F_sF_s \ne F_s^*</math>, то
<center><math>M=M^*</math>, <math>F_o=F_o^* \forall S</math> и <math>O</math>, для которых <math>F_s^*(S) \le F_o^*(O)</math>, <math>read \notin M [S,O]</math></center>
 
Источник — https://ru.wikibooks.org/wiki/Курс_лекций_Защита_Информации/Теорема_Мак-Лина