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

Содержимое удалено Содержимое добавлено
Строка 114:
* Cando (F, s, +access) ← s∈D or s∈O.
--------------------------------------------
* Dorcando (o, s, -action) ←  cando(o, s, +access).
--------------------------------------------
* Do (A, s, +access) ← sS and done (A, t1, +access) and t1T;
* Do (C, s, +access) ← sU and done (C, o1, +access) and o1O;
* Do (E, s, +access) ← sU or sO and done(E, d1, +access) and d1D;
* Grant (F, s, r, +action) ← sSec and rR;
* Dorcando (F, s, +access) ← sU и  rR(U): r = Sec.
--------------------------------------------
* Error() ← grant(F, Sec, r, +action) and grant(F, Sec, r, -action);
* Error() ← grant(F, Sec, r, +action) and grant(F, Sec, r, -action).