Курс лекций Защита Информации/Политика безопасности: различия между версиями

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