Курс лекций Защита Информации/Язык описания политики безопасности: различия между версиями
Содержимое удалено Содержимое добавлено
Lex1026 (обсуждение | вклад) |
Lex1026 (обсуждение | вклад) |
||
Строка 41:
<center><math>~P(a,b) \rightarrow \overline{0,1}</math></center>
=== Предикат ошибок в спецификации и авторизации ===
#<math>
=== Представляет авторизацию, определяемую системой с использованием логических правил #<math> dorcando (O,S,SA) = (O,S,\pm a), a \in A</math>
#<math> do (O,S,\pm a), a \in A</math> (представляет авторизацию, которую имеет каждый субъект для каждого объекта. Реализует политику разрешения конфликтов);▼
#<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> (представляет доступы, выполненные субъектом);▼
▲
#<math> do (O,S,\pm a), a \in A</math> ();
#<math> dirin (S_i), in (S_j)</math> (отражают концепцию прямого и косвенного членства);▼
=== Политику контроля доступа ===
#<math> error ( )</math> (отражает ошибки в спецификации и использовании авторизации).▼
▲
#<math> grant (O,S,R,\pm a), a \in A</math> (;
=== доступы, выполненные субъектом ===
=== Концепция активной роли ===
#<math> active (S,r)</math>
▲
#<math> dirin (S_i), in (S_j)</math> ();
=== Группировка объектов ===
#<math> typeof (O,t)</math>
▲
#<math> error ( )</math> ().
|