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

Содержимое удалено Содержимое добавлено
Нет описания правки
Строка 53:
 
=== Авторизацию ===
 
Представляет авторизацию, определяемую системой с использованием логических правил
#<math> dorcando (O,S,SA) = (O,S,\pm a), a \in A</math>
Строка 65 ⟶ 64 :
#<math> grant (O,S,R,\pm a), a \in A</math> (;
 
=== Доступ ===
===Предикат представляет доступы, выполненные субъектом ===
#<math> done (O,S,R,\pm a, n \in N), a \in A</math> (представляет );