Курс лекций Защита Информации/Политика безопасности: различия между версиями
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 53:
Предикат <math>P</math> - выражение, которое зависит от некоторых параметров и может быть истино или ложно. <br />
<center><math>~P(a,b) \rightarrow \overline{0,1}</math><
#<math> cando (O,S,SA) = cando (O,S,\pm a), a \in A</math> (данный предикат определяется администратором безопасности);
|