24 Модель Диона Субъекты в модели Диона

Мы будем пользоваться понятиями меток безопасности и отношения доминирования меток. В модели Диона с каждым субъектом (то есть процессом, действующим от имени определенного пользователя) ассоциируются три метки конфиденциальности и три метки целостности информации:

•абсолютная метка конфиденциальности (ACL(s)) — присваивается субъекту во время создания и остается постоянной во все время его существования. Обычно в качестве ACL(s) используется метка пользователя-инициатора процесса;

•метка конфиденциальности чтения (RCL(s)) — максимальный (в смысле отношения доминирования меток) уровень конфиденциальности, с которого субъекту разрешено читать информацию из объекта с меткой ACL(o), так что должно быть RCL(s) >= ACL(o_i) для возможности чтения из объекта o_i;

•метка конфиденциальности записи (WCL(s)) — минимальный уровень конфиденциальности, на который субъекту разрешено записывать информацию в объект с меткой ACL(o_i), так что должно быть WCL(s) <= ACL(o_i) для возможности записи в объект o_i, причем право записи в модели Диона понимается только как право модификации объекта без предварительного чтения;

•абсолютная метка целостности (AIL(s)) — присваивается субъекту во время создания и остается постоянной во все время его существования. Обычно в качестве AIL(s) используется метка пользователя-инициатора процесса;

•метка целостности чтения (RIL(s)) — минимальный уровень целостности, с которого субъекту разрешено читать информацию из объекта с меткой AIL(o), так что должно быть RIL(s) <= AIL(o_i) для возможности чтения из объекта o_i;

•метка целостности записи (WIL(s)) — максимальный уровень целостности, на который субъекту разрешено записывать информацию в объект с меткой AIL(o_i), так что должно быть WIL(s) >= AIL(o_i) для возможности записи в объект o_i.

Для каждого субъекта s должны выполняться следующие соотношения:

WCL(s) <= ACL(s) <= RCL(s)

RIL(s) <= AIL(s) <= WIL(s)

(запись LI <= L2 обозначает доминирование метки L2 над L1).

Будем говорить, что метка безопасности L2 строго доминирует над меткой L1 (обозначается L1 < L2), если уровень безопасности L2 строго больше, чем у L1, а набор категорий L1 является подмножеством набора категорий L2.

Субъект, для которого хотя бы одно из записанных выше четырех неравенств является строгим, называется надежным (в противном случае — ненадежным).

Объекты в модели Диона

Под объектом в модели Диона понимается любой элемент, способный хранить данные. С каждым объектом ассоциируются по три метки конфиденциальности и целостности:

•абсолютная метка конфиденциальности (ACL(o)) — присваивается объекту во время создания и остается постоянной на все время его существования. Характеризует конфиденциальность данных, хранящихся в объекте;

•метка конфиденциальности чтения из объекта (RCL(o)) — максимальный уровень конфиденциальности, на который могут мигрировать данные, хранящиеся в объекте (могут читаться субъектом s_i с уровнем конфиденциальности ACL(s_j) ): RCL(o) >= ACL(s_j);

•метка конфиденциальности записи в объект (WCL(o)) — минимальный| уровень конфиденциальности, с которого данные могут записываться в объект субъектом s_j с уровнем конфиденциальности ACL(s_j): WCL(o) <= ACL(s_j);

•абсолютная метка целостности (AIL(o)) — присваивается объекту во время создания и остается постоянной на все время его существования. Характеризует степень целостности данных, хранящихся в объекте;

•метка целостности чтения из объекта (RIL(o)) — минимальный уровень целостности, на который могут мигрировать данные, хранящиеся в объекте (могут читаться субъектом s_i с уровнем целостности AIL(s_j) ): RIL(o) <= AIL(s_j);

•метка целостности записи в объект (WIL(o)) — максимальный уровень целостности (субъекта s_i с уровнем AIL(s_j) ), с которого данные могут записываться в объект: WIL(o) >= AIL(s_i).

Для каждого объекта о должны выполняться следующие соотношения:

WCL(o) <= АCL(о) <= RCL(o)

RIL(о) <=AIL(о) <= WIL(o)