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

== Военная кафедра при МГТУ им. Н. Э. Баумана ==

 

* На военную кафедру в аудитории для преподавателей C, могут входить только офицеры, а также студенты, проходящие обучение на военной кафедре, с разрешения преподавателя.

* В кабинет директора E, может входить офицер исполняющий роль директора военной кафедры; а также офицеры и студенты, проходящие обучение на военной кафедре, только с разрешения директора военной кафедры.

* Cando (E, s, +access) sD;

* 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;

* 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);