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

Содержимое удалено Содержимое добавлено
Строка 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;
Строка 123:
--------------------------------------------
* Error() ← grant(F, Sec, r, +action) and grant(F, Sec, r, -action);
* Error() ← grant¬grant(F, Sec, r, +action) and grant(F, Sec, r, -action).
 
=== Пример 2 ===