Учебно-методический комплекс теоретические основы компьютерной безопасности

F_GG : G x G - отношение частичного порядка, определяющее иерархию
(вложенность) рабочих групп и задающее оператор доминирования ≥ такое, что
если для g₁, g₂ ∈ G, g₁ ≥ g₂, то g₁ включает g₂ .
Соответственно для управления доступом в системах с вхождением одних рабочих групп в другие требуется введение и использование дополнительной функции
f ^h_groups: G → G – значением функции f_groups(g) является набор рабочих групп {g_g1, g_g2,…} ⊆ G , в которые рабочая группа g включена по отношению F_GG .
В практическом плане реализация функции f ^h_groups совместно с функциями f_groups и f_users может производиться на основе расширения бинарной матрицы "Пользователи-Группы" строками, соответствующими рабочим группам системы, т. е. построением матрицы "(Пользователи+Группы)-Группы".
Частичный порядок на множестве групп, если так можно выразиться, "слабее" частичного порядка на множестве иерархической системы ролейдолжностей, так как одна рабочая группа может входить сразу в несколько рабочих групп, часть рабочих групп может не входить ни в какие другие группы и не включать в себя другие группы. Это означает, что системы с иерархически организованными ролями описываются графом в виде корневого дерева, а система рабочих групп графом произвольного вида, в том числе и с иерархически организованными фрагментами – см. рис. 2.28. Главной особенностью графа рабочих групп должно быть отсутствие циклов, порождаемых цепочками транзитивности.

Иерархическая система

ролей

Система

групп

Рис. 2.28. Пример организации системы ролей и рабочих групп
В практических системах проблема транзитивности отношений в системе взаимосвязанных рабочих групп решается двумя способами:

• 
  построением графа включения групп, поиском и исключением (разрывом) из него циклов (см. п. 9.2);
  
• 
  разделением множества групп на два подмножества – группы, которые могут входить в другие группы, но состоять только из пользователей, т. е. не могут содержать другие группы; и группы которые могут состоять как из пользователей, так и из групп, но сами входить в другие группы не могут.
  

Как правило, при втором способе группы первого вида не имеют своих собственных групповых прав и привилегий, а используются лишь для того, чтобы комплектовать рабочие группы второго вида "групповым" способом. Тем самым, обеспечивается структура, описываемая двудольным графом, все пути в котором имеют длину, равную единице, принципиально исключая на этой основе возможность транзитивных связей, порождающих циклы¹ (см. рис. 2.29).
Из самого понятия рабочих групп как объединений сущностей однотипного доступа следует механизм наследования прав и полномочий "сверху", что также принципиально отличает технологию рабочих групп от ролевой модели. Данный механизм наследования можно выразить следующим правилом определения прав доступа и привилегий рабочих групп пользователей.

Рис. 2.29. Двудольная система рабочих групп
Правило 2.4.3. Полный набор прав и полномочия R _g рабочей группы пользователей g к объекту o определяются совокупностью набора прав и привилегий A[g, o], непосредственно предоставленных данной группе, и набором прав и привилегий рабочих групп A[g_gi , o], в которые по отношению F_GG может входить данная рабочая группа:
R _g(o) ⊆ {A[g, o] ∪^<A[g_g1, o] ∪^< A[g_g2, o] ∪^<…}, где {g_g1, g_g2,…} = f ^h_groups(g).
Соответственно, критерий безопасности индивидуально-группового доступа необходимо скорректировать, включая в итоговый набор прав пользователя права его рабочих групп с учетом правила 4.3:
R ⊆ {A[u, o] ∪^< R _gu R _gu …},
где R _gui(o) – полный прав по правилу 5.3 рабочей группы g_i, в которую входит пользователь u.
В заключение отметим, что модель индивидуально-группового разграничения доступа обладает существенными выразительными возможностями при организации коллективного доступа к ресурсам в сложных системах с большим количеством пользователей и большим количеством сложно организованных и многочисленных ресурсов. Вместе с тем, ее использование помимо слабости защитных свойств дискреционного принципа разграничения доступа, на котором она основывается, таит и некоторые другие "подводные" камни, такие как избыточность и дублирование в предоставлении прав доступа пользователей к объектам системы. Кроме того, в ряде случаев проектирование системы рабочих групп представляет нетривиальную задачу, и требует применения дополнительных теоретикографовых алгоритмов и пространственно-векторных моделей.