Правила разграничения доступа для полномочной модели управления доступом с комбинированным управлением виртуальными каналами взаимодействия субъектов доступа

Правила разграничения доступа для полномочной модели управления доступом с принудительным управлением виртуальными каналами взаимодействия субъектов доступа.

Разграничение доступа диспетчером реализуется на основе правил, опреде­ляющих отношение линейного порядка на множестве М, где для любой пары элементов из множества М, задается один из типов отношения: {>,<,=}.

Примечание. На практике реализуется выбор подмножества М, изоморфного конечному подмножеству натуральных чисел — такой выбор делает естественным ариф­метическое сравнение меток безопасности.

Рассмотрим правила разграничения доступа для различных полномочных моделей управления доступом. При этом введем следующие обозначения:

· Ms — метка безопасности субъекта (группы субъектов) доступа;

· Мо — метка безопасности объекта (группы объектов) доступа;

· метка безопасности Mi с порядковым номером i устанавливается для субъекта доступа Ci с порядковым номером i и для объекта доступа Oi с порядковым номером i.

Запишем правила разграничения:

· субъект С имеет доступ к объекту О в режиме «Чтения» в случае, если выполняется условие: Мс <= Мо;

· субъект С имеет доступ к объекту О в режиме «Записи» в случае, если выполняется условие: Мс = Мо.

Разграничение доступа диспетчером реализуется на основе правил, опреде­ляющих отношение линейного порядка на множестве М, где для любой пары элементов из множества М, задается один из типов отношения: {>,<,=}.

Примечание. На практике реализуется выбор подмножества М, изоморфного конечному подмножеству натуральных чисел — такой выбор делает естественным ариф­метическое сравнение меток безопасности.

Рассмотрим правила разграничения доступа для различных полномочных моделей управления доступом. При этом введем следующие обозначения:

· Ms — метка безопасности субъекта (группы субъектов) доступа;

· Мо — метка безопасности объекта (группы объектов) доступа;

· метка безопасности Mi с порядковым номером i устанавливается для субъекта доступа Ci с порядковым номером i и для объекта доступа Oi с порядковым номером i.

Запишем правила разграничения:

· • субъект С имеет доступ к объекту О в режиме «Чтения» в случае, если выполняется условие: Мс <= Мо;

· • субъект С имеет доступ к объекту О в режиме «Записи» в случае, если выполняется условие: Мс = Мо;

· • субъект С имеет доступ к объекту О в режиме «Добавления» в случае, если выполняется условие: Мс > Мо.

Примечание. Данная модель, при определенных допущениях, представляет собою модель Белла—Ла-Падулы.

Дата добавления: 2014-01-05