6-mavzu: Роллар тизимини иерархик ташкил этишда ахборотдан фойдаланишни роллар асосида чеклаш модели

Формальная спецификация и разновидности ролевых моделей
Приведем формальную спецификацию ролевой модели разграничения доступа.
1. КС представляется совокупностью следующих множеств:

• 
  множества пользователей U,
  
• 
  множества ролей R;
  
• 
  множества полномочий Р ;
  

- множества сеансов С работы пользователей с системой.
Множество полномочий Р в общем виде задается специальными механизмами, объединяющими операции доступа и объекты доступа, например, запросами на обработку данных в СУБД, или иными именованными процедурами обработки данных, в том числе возможно высокого логиче­ского уровня.
2. Ролевые отношения устанавливаются следующими отображениями
множеств сущностей системы:
- отображение множества полномочий на множество ролей;
- отображение множества пользователей на множест­во ролей.
Нетрудно видеть, что отображения и обеспечивают первый и второй этапы процессов организации системы ролевого доступа. При этом отображение может реализовываться механизмами одной из базовых политик разграничения доступа - матрицей "Пользователи-Роли", или на основе соотношения степеней допуска пользователей и грифов конфиден­циальности ролей, или на основе соотношения разрешенных тематик поль­зователей и тематики ролей.
3. Управление доступом в системе осуществляется на основе введения
следующих функций:
- значением функции u=f_user(c) является пользователь , осуществляющий данный сеанс с работы с системой;
- значением функции r=f_roles(c)является набор ролей из доступных пользователю, по которым пользователь ра­ботает (осуществляет доступ) в данном сеансе ;
- значением функции p=f_permissions(c)является набор полномочий , доступных по всем ролям, задействованным пользователем в данном сеансе ;
4. Основное правило (критерий безопасности) ролевого доступа определяется следующим образом.
Правило 2.4.1. Система функционирует безопасно, если и только если любой пользователь , работающий в сеансе , может осущест­влять действия {операции, процедуры) в рамках полномочия , при условии:
,
где p=f_permissions(c)
Нетрудно видеть, что основной акцент в процессах организации и управления доступом при ролевой политике заключается в особенностях отображения множества пользователей на множество ролей и ограни­чений, накладываемых на функцию авторизации f_roles(c)пользователя в данном сеансе с разрешенными ему отношением ролями. Выражаясь предметным языком, можно так сформулировать основные вопросы орга­низации ролевого доступа:
Сколько и каких ролей может быть назначено для работы с системой одному пользователю?
Сколько и какие роли может одновременно задействовать один пользо­ватель в одном сеансе работы с системой?
Еще одним существенным обстоятельством являются возможные отношения между ролями, в том, числе возможная передача (делегирова­ние) полномочий и прав от одних ролей другим ролям.
В зависимости от особенностей разрешения данных вопросов выде­ляют несколько разновидностей ролевых моделей:

• 
  с иерархической организацией системы ролей;
  
• 
  с взаимоисключающими на любые (все) сеансы ролями (модель ста­тического распределения обязанностей);
  
• 
  с взаимоисключающими на один сеанс ролями (модель дина­мического распределения обязанностей);
  
• 
  с количественными ограничениями по ролям;
  
• 
  с группированием ролей и полномочий.
  

Приведем краткую характеристику указанных разновидностей ролей.