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

==== Предикатные символы. ====

<math>P</math> - предикат - выражение, которое зависит от некоторых параметров и может быть истино или ложно. <br />

 

#<math> cando (O,S,SA) = cando (O,S,\pm a), a \in A</math> (данный предикат определяется администратором безопасности);