Курс лекций Защита Информации/Язык описания политики безопасности: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 113:
* Cando (E, s, +access) sD;
* Cando (F, s, +access) sD or sO.
* Dorcando (o, s, -action) cando(o, s, +access).
* Do (A, s, +access) sS and done (A, t1, +access) and t1T;
Строка 123 ⟶ 121 :
* Grant (F, s, r, +action) sSec and rR;
* Dorcando (F, s, +access) sU и rR(U): r = Sec.
* Error() grant(F, Sec, r, +action) and grant(F, Sec, r, -action);
|