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

Введем функции <math>F_s : S \rarr L</math> и <math>F_o : O \rArrrarr L</math>. Функция перехода Т безопасна по чтению, если для любого перехода выполняются следущие условия:

# если <math>read M^* [S,QO]</math> и <math>read \notin M [S,ОO]</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>