Викиучебник

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

Интерактивная навигация по истории
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Строка 108:
=== ЯОПБ:===
 
* Cando (A, s, +access) <-&larr; s&isin;O or s&isin;D or s&isin;T;
* Cando (B, s, +access) &larr; s&isin;U or s&isin;O or s&isin;D;
* Cando (C, s, +access) &larr; s&isin;O or s&isin;D;
* Cando (E, s, +access) &larr; s&isin;D;
* Cando (F, s, +access) &larr; s&isin;D or s&isin;O.
--------------------------------------------
* Dorcando (o, s, -action) &larr; cando(o, s, +access).
--------------------------------------------
* Do (A, s, +access) sS&larr;sS and done (A, t1, +access) and t1T;
* Do (C, s, +access) sU&larr;sU and done (C, o1, +access) and o1O;
* Do (E, s, +access) sU&larr;sU or sO and done(E, d1, +access) and d1D;
* Grant (F, s, r, +action) sSec&larr;sSec and rR;
* Dorcando (F, s, +access) &larr; sU и  rR(U): r = Sec.
--------------------------------------------
* Error() grant&larr;grant(F, Sec, r, +action) and grant(F, Sec, r, -action);
* Error() &larr; grant(F, Sec, r, +action) and grant(F, Sec, r, -action).
 
=== Пример 2 ===
Источник — https://ru.wikibooks.org/wiki/Курс_лекций_Защита_Информации/Язык_описания_политики_безопасности