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

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