Модели распространения прав доступа

ресурсов R ;
множества состояний S ;
множества операций E ;
множества установленных полномочий A.
Множество полномочий А – aijkl определяют: -
ресурсы,
вхождение пользователей в группы;
разрешенные операции для групп по отношению к ресурсам
Область безопасности представляется декартовым произведением: A × U × E × R × S (*)

переводит систему в новое состояние.
Запросы на доступ представляются четырехмерными кортежами q = (u, e, R', s), где u ∈ U, e ∈ E, s∈ S, R' ⊆ R (R'- требуемый набор ресурсов).
Запрос удовлетворяется, если он полностью заключен в области безопасности A × U × E × R × S (*)

к которым принадлежит u. Затем выбрать из A те спецификации, которым соответствуют выделенные группы пользователей. Этот набор полномочий F(u) определяет привилегию пользователя u
Определить из множества A набор полномочий P =F(e), которые устанавливают e как основную операцию. Набор полномочий P =F(e) определяет привилегию операции e.
Определить из множества A набор полномочий P =F(R' ), разрешающих доступ к набору ресурсов R'. Набор полномочий P =F(R' ) определяет привилегию ресурсов R'.
Полномочия, которые являются общими для всех трех привилегий, образуют так называемый домен полномочий запроса D(q): D(q) = F(u) ∩ F(e) ∩ F(R' ) .

∩ F(R' ) Домен полномочий запроса

Определить из А F(u) – привилегию пользователя

(c) 2010, А.М. Кадан, кафедра системного программирования и компьютерной безопасности, ФаМИ, ГрГУ, Гродно, Беларусь

∩ F(R' ) Домен полномочий запроса

Определить из А P=F(e) - привилегию операции

(c) 2010, А.М. Кадан, кафедра системного программирования и компьютерной безопасности, ФаМИ, ГрГУ, Гродно, Беларусь

программирования и компьютерной безопасности, ФаМИ, ГрГУ, Гродно, Беларусь

q = (u, e, R',s) : D(q) = F(u) ∩ F(e) ∩ F(R' ) Домен полномочий запроса

кафедра системного программирования и компьютерной безопасности, ФаМИ, ГрГУ, Гродно, Беларусь

q = (u, e, R',s) : D(q) = F(u) ∩ F(e) ∩ F(R' ) Домен полномочий запроса

D(q), т.е. любой r из набора R' хотя бы один раз присутствует среди элементов D(q).

(c) 2010, А.М. Кадан, кафедра системного программирования и компьютерной безопасности, ФаМИ, ГрГУ, Гродно, Беларусь

Пятимерное пространство Хартсона. Процесс организации доступа

попадали полномочия (элементы D(q)), когда они специфицируют один и тот же ресурс r из набора R'.
В каждом классе произвести операцию логического ИЛИ элементов D(q) с учетом типа операции e.
В результате формируется новый набор полномочий на каждую единицу ресурса, указанного в D(q): F(u,q).
Набор F(u,q) называется привилегией пользователя u по отношению к запросу q.

(c) 2010, А.М. Кадан, кафедра системного программирования и компьютерной безопасности, ФаМИ, ГрГУ, Гродно, Беларусь

Пятимерное пространство Хартсона. Процесс организации доступа

авторизация

логического ИЛИ по элементам полномочий F(u,q) и запрашиваемым ресурсам r из набора R', и получить тем самым набор R'' - набор фактически доступных по запросу ресурсов
Оценить EAC и принять решение о доступе:
разрешить доступ, если R'' и R' полностью перекрываются;
отказать в доступе в противном случае
Произвести запись необходимых событий
Вызвать все программы, необходимые для организации доступа после "принятия решения".
Выполнить все вспомогательные программы, вытекающие для каждого случая по п.8
При положительном решении о доступе завершить физическую обработку

(c) 2010, А.М. Кадан, кафедра системного программирования и компьютерной безопасности, ФаМИ, ГрГУ, Гродно, Беларусь

Пятимерное пространство Хартсона. Процесс организации доступа

Но!!! Безопасность системы в строгом смысле не доказана