Каноническая модель управления доступом к исполняемым файлам. Включение канала взаимодействия субъектов в матрицу доступа

Используя обозначения, введенные ранее, введем следующее обозначение: пусть S = (О, И} — множество прав доступа, где «О» обозначает отсутствие доступа субъекта к объекту, «И» — доступ к исполняемому файлу (разрешение чтения исполняемого файла). Тогда, по аналогии со сказанным ранее, каноническую модель управления доступом к исполняемым файлам можно представить матрицей доступа D, имеющей следующий вид: Модель управления доступом формально может быть описана следующим образом: элемент (Dij) матрицы Dij = И, если i = j, иначе Dij = 0. Под канонической моделью управления доступом к исполняемым файлам для линейно упорядоченных множеств субъектов доступа (групп субъектов) и объектов доступа (групп объектов) понимается модель, описываемая матрицей доступа, элементы главной диагонали которой <41» задают доступ к исполняемому файлу (разрешение на запуск программы), остальные элементы «О» задают запрет доступа субъектов к исполняемым файлам. Диспетчер доступа реализует механизм управления доступом к исполняемым файлам корректно только в том случае, если его настройками (заданием учетных записей субъектов и объектов доступа и правил разграничения доступа) можно реализовать каноническую модель управления доступом. Доказывается утверждение от обратного. Если каноническую модель управления доступом реализовать невозможно — присутствуют элементы «И» вне главной диагонали матрицы доступа, то в системе присутствует по крайней мере один объект — программа, доступ к запуску которой невозможно разграничить в полном объеме (объект включается одновременно в несколько групп объектов, априори характеризуемых различными правами доступа к ним). По аналогии со сказанным ранее, в рассматриваемом случае в каноническую модель управления доступом также должны быть включены каналы взаимодействия субъектов доступа. В противном случае, субъекты, имеющие возможность обрабатывать информацию только различными приложениями, не смогут обменяться информацией. Таким образом, включение канала взаимодействия субъектов в матрицу доступа означает разрешение запуска субъектами одного и того же приложения. В матрице доступа D это означает включение группы (групп) объектов, для которых несколько субъектов будут иметь доступ. Пример такой матрицы приведен ниже. При этом в нее введена группа объектов (программ) Ок+1, доступ к которым (запуск которых) разрешен всем субъектам. По аналогии управления доступом к файлам данных, здесь может быть реализован дискреционный и мандатный механизмы управления. Дискреционный механизм предполагает реализацию доступа диспетчером на основе заданной матрицы доступа D, а мандатный --на основе меток безопасности.

Метки безопасности являются элементами линейно упорядоченного множества М = {Ml,...,Mk} и задаются субъектам и объектам доступа. Метки безопасности назначаются субъектам и объектам (группам субъектов и объектов) и служат для формализованного представления их уровня полномочий. Как и ранее, будем считать, что чем выше полномочия субъекта и объекта, тем меньшее значение метки безопасности Mi, \ = l,...,k им присваивается, т.е.: Ml < М2 < M3<...<Mk. При этом в линейно полномочно упорядоченных множествах С = {С1,...,Ск} и О = {Ol,...,Ok} субъекты и объекты располагаются в порядке уменьшения полномочий (уровня безопасности).

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