Викиучебник

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

Интерактивная навигация по истории
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Строка 120:
* 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);
Источник — https://ru.wikibooks.org/wiki/Курс_лекций_Защита_Информации/Язык_описания_политики_безопасности