Расширенная модель Take-Grant 4 страница

Определение 7.7. Операция ¾ функция, которая может быть выполнена над сущностями. В модели СВС основными операциями над сообщениями являются:

- операции над входящими сообщениями;

- операции над исходящими сообщениями;

- операции хранения и получения сообщений.

В модели СВС описываются четыре постулата безопасности, выполнение которых необходимо для ее корректной работы.

1. Системный офицер безопасности корректно разрешает доступ пользователей к сущностям и назначает уровни конфиденциальности устройств и множества ролей.

2. Пользователь назначает или переназначает корректные уровни конфиденциальности сущностей, когда создает или редактирует в них информацию.

3. Пользователь корректно направляет сообщения по адресатам и определяет множества доступа к созданным им самим сущностям.

4. Пользователь правильно задает атрибут CCR контейнеров.

Неформальное описание модели СВС

Для лучшего пояснения свойств модели СВС ее описание составлено из двух частей. В первой части представлены основные свойства модели, описанные неформально. Во второй части свойства модели СВС выражены с использованием формальной модели.

Всего в модели СВС описываются десять неформальных свойств.

1. Авторизация. Пользователь может осуществить операцию над сущностями только, если идентификатор пользователя или его роль присутствуют во множестве доступов сущности вместе с данной операцией и правильными индексами операндов сущностей.

2. Иерархия уровней конфиденциальности. Уровень конфиденциальности любого контейнера, по крайней мере, не ниже максимума уровней конфиденциальности сущностей, в нем содержащихся.

3. Безопасный перенос информации. Информация, извлекаемая из объекта, наследует уровень конфиденциальности объекта. Информация, внедряемая в объект, не должна иметь уровень конфиденциальности выше, чем сам объект.

4. Безопасный просмотр. Пользователь может просматривать (на некотором устройстве вывода) сущность с уровнем конфиденциальности не выше уровня доступа пользователя и уровня конфиденциальности устройства вывода.

5. Доступ к сущностям с атрибутом CCR. Пользователь может иметь доступ косвенно к сущностям контейнера с атрибутом CCR только в том случае, если пользователь имеет уровень доступа не ниже чем уровень конфиденциальности контейнера.

6. Доступ по косвенной ссылке. Пользователь может использовать идентификатор контейнера, чтобы получить через него косвенную ссылку на сущность только в случае, если он авторизован для просмотра этой сущности с использованием этой ссылки.

7. Пометка вывода. Любая сущность, просматриваемая пользователем, должна быть помечена ее уровнем конфиденциальности.

8. Определение доступов, множества ролей, уровней устройств. Только пользователь с ролью Системный офицер безопасности может определять права доступа и множество ролей пользователя, а также уровень конфиденциальности устройств вывода информации. Выбор текущей роли из множества авторизованных ролей пользователя может быть осуществлен только самим пользователем или пользователем с ролью Системный офицер безопасности.

9. Безопасное понижение уровня конфиденциальности. Никакой уровень конфиденциальности не может быть понижен, за исключением тех случаев, когда понижение выполняет пользователь с соответствующей ролью.

10. Безопасное отправление сообщений. Никакое черновое сообщение не может быть отправлено, за исключением случая, когда это делает пользователь с ролью отправитель.

Формальное описание модели СВС

6. Безопасное состояние

Система модели СВСпредставляется конечным автоматом. Основными элементами модели являются:

OP ¾ множество операций;

(L, £) ¾ решетка уровней конфиденциальности;

UI ¾ множество идентификаторов пользователей;

RL ¾ множество ролей пользователей;

US ¾ множество пользователей. Для любого пользователя u Î US заданы: CU (u) Î L ¾ уровень доступа пользователя u; R (u) Í RL ¾ множество авторизированных ролей пользователя u; RO (u) Í RL ¾ множество текущих ролей пользователя u;

RF ¾ множество ссылок, состоящее из двух подмножеств: DR ¾ множества непосредственных ссылок и IR ¾ множества косвенных ссылок. Хотя точная природа этих ссылок не важна, положим, что непосредственные ссылки есть целые числа. Каждая косвенная ссылка есть конечная последовательность целых чисел <n ₁, …, n_m>, где <n ₁ > ¾ непосредственная ссылка;

VS ¾ множество значений сущностей (например, множество битовых или символьных строк);

TY ¾ множество типов сущностей, включающее в себя типы: DM ¾ тип «черновое сообщение», RM ¾ тип «отправленное сообщение»;

ES ¾ множество сущностей. При этом для каждой сущности e Î ES задаются:

- CE (e) Î L ¾ уровень конфиденциальности сущности;

- AS (e) Í (UI È RL) ´ OP ´ N ¾ множество троек, задающих множество разрешенных доступов к сущности, где (u, op, k) Î AS (e) тогда и только тогда, когда пользователь с идентификатором u или ролью u авторизован для выполнения операции op над сущностью e, ссылка на которою является k -м параметром операции op;

- T (e) Î TY ¾ тип сущности; при этом по определению, если T (e ₁) = T (e ₂), тогда обе сущности e ₁и e ₂ ¾ или контейнеры, или объекты;

- V (e) Î VS ¾ значение сущности;

- H (e) = <e ₁, …, e_n> ­ ¾ структура сущности, где e_i ¾ i -я сущность, непосредственно содержащаяся в контейнере e;

- CCR (e) Î { true, false } ¾ атрибут сущностей-контейнеров. CCR (e) = true тогда и только тогда, когда контейнер e помечен CCR, иначе CCR (e) = false;

- RE (e) Î UI ¾ идентификатор отправителя для сущности-сообщения.

O Ì ES ¾ множество сущностей-контейнеров, описывающих устройства вывода информации. Для каждого o Î O заданы значения двух функций:

- D (o) ¾ множество упорядоченных пар {(x _1, y ₁), (x ₂, y ₂), …, (x_n, y_n)}, где каждый x_i есть некоторый пользователь или сущность и соответствующее y_i есть «проявление» x_i: или некоторая ссылка, или идентификатор, или результат применения заданных в рамках модели функций к x_i. Таким образом, каждое D (o) описывает, что могут видеть пользователи на устройстве вывода информации. При этом ((x, V (x)) Î D (o)) Þ (x Î H (o)), т.е. если значение сущности можно получить на устройстве вывода, то эта сущность входит в состав контейнера устройства вывода;

- CD (o) ¾ максимальный уровень конфиденциальности информации, разрешенный для вывода на о;

U: UI ® US ¾ функция идентификаторов пользователей;

E: RF ® ES ¾ функция ссылок на сущности. При этом для любого n > 1 верно равенство E (< i ₁, …, i_n>) = e тогда и только тогда, когда E (< i ₁, …, i_{n- 1} >) = e*, где e* ¾ контейнер такой, что e ¾ это i_n -й элемент H (e*). Для любой ссылки r ­ Î RF, если E (r) = e, то говорим, что r есть ссылка на сущность e. Кроме того, косвенная ссылка < i ₁, …, i_n> на сущность е задает последовательность сущностей e ₁, …, e_{n­ – 1} таких, что каждая сущность e_j для 1 < j < n определяется через непосредственную ссылку <i ₁ >, и e_j есть i_j -ясущность контейнера e_{j - 1}. Будем говорить, что такая косвенная ссылка < i ₁, …, i_n> основывается на каждой сущности e_j, где 0 < j < n;

LO: UI ® RF ¾ функция входов пользователей (logon) в систему.

Для произвольной функции F: X ® Y обозначим:

- dom (F) ¾ область определения функции F;

- rng (F) ¾ область значений функции F;

- F ^–1(Z) = { x Î X: F (x) Î Z }, где Z Í Y.

Определение 7.9. Состояние системы есть упорядоченная тройка s = (U, E, LO), где U ¾ функция идентификаторов; E ¾ функция ссылок; LO ¾ функция входов. При этом:

- dom (LO) Í dom (U);

- rng (LO) Í E^{– 1}(O);

- для каждой сущности-устройства вывода о Î rng (E) Ç О, если (x, y) Î D (o), то выполняется условие x Î rng (E) È rng (U) ¾ только информация о пользователях или сущностях, существующих в данном состоянии может быть выведена на устройствах вывода;

- для каждой ссылки r Î dom (E) выполняется условие ((x, r) Î D (o)) Þ (E (r) = x) ¾ если выводится ссылка, то определена сущность, на которую она указывает;

- для u ₁, u ₂Î dom (LO) выполняется условие (E (LO (u ₁)) = E (LO (u ₂))) Þ (u ₁ = u ₂) ¾ в каждом состоянии с одного устройства вывода информации может осуществлять вход в систему только один пользователь.

Если дано состояние системы s = (U, E, LO), то используем следующие обозначения:

- u_s = U (u) ¾ пользователь с идентификатором u в состоянии s;

- r_s = E (r) ¾ сущность по ссылке r в состоянии s;

- u_s ’= E (LO (u)) ¾ сущность-устройство вывода информации, с которого осуществил вход в систему пользователь с идентификатором u в состоянии s.

Определение 7.8. Состояние s = (U, E, LO) безопасно, если для любых двух сущностей x, y Î rng (E), устройства вывода информации o Î O Ç rng (E), идентификатора пользователя w Î dom (LO) и пользователя u Î rng (U) выполняются условия:

- (x Î H (y)) Þ (CE (x) ≤ CE (y)) ¾ уровень конфиденциальности сущности в составе контейнера не выше уровня конфиденциальности контейнера;

- (x Î H (w_s ’)) Þ (CU (w_s) ≥ CE (x)) ¾ уровень доступа пользователя с данным идентификатором не ниже чем уровень конфиденциальности сущностей, выводимых на устройстве вывода информации, с которого он осуществил вход в систему;

- ((x, V (x)) Î D (o)) Þ ((x, CE (x)) Î D (o)) ¾ если выводится значение сущности, то должен быть выведен и ее уровень конфиденциальности;

- RO (u) Í R (u) ¾ текущее множество ролей пользователя должно быть частью множества ролей, на которые он авторизован;

- CD (o) ≥ CE (o) ¾ максимальный уровень конфиденциальности сущностей, разрешенный для вывода на устройстве вывода информации, должен быть не ниже текущего уровня конфиденциальности устройства вывода.

7. Безопасность переходов

Определение 7.10. Система S(T, s ₀) ¾ пара элементов:

- s ₀¾ начальное состояние системы;

- T: UI ´ I ´ S ® S ¾ функция переходов системы, где S ¾ множество возможных состояний системы; I ¾ множество запросов к системе. При этом каждый запрос i Î I имеет вид <op, x ₁, …, x_n>, где op Î OP и x_j Î RF È UI È VS для 1 £ j £ n, т.е. параметром запроса может быть ссылка на сущность, идентификатор пользователя или значение сущности.

Определение 7.11. Функция p: N ₀® UI ´ I ´ S ¾ история системы, при этом для n Î N ₀ выполняется условие: если p(n) = (u, i, s) и p(n + 1) = (u*, i*, s*), то T (u, i, s) = s*.

Определение 7.12. Состояния s = (U, E, LO) и s* = (U*, E*, LO*) эквивалентны за исключением некоторого множества ссылок r Ì dom (E) (обозначим через s ~^r s*) тогда и только тогда, когда выполняются условия:

- U = U*;

- LO = LO*;

- dom (E) = dom (E*);

- для любой функции F, за исключением V (функции значений сущностей), справедливо равенство F = F*;

- для любой ссылки r Î dom (E) \r справедливо равенство V (r_s) = V (r _s*).

Определение 7.13. Запрос i пользователя с идентификатором u в состоянии s, где (u, i, s) Î UI ´ I ´ S,потенциально модифицирует сущность по ссылке r Î dom (E) тогда и только тогда, когда существуют состояния s ₁, s ₁ * и r Ì dom (E) такие, что s ~^r s ₁, T (u, i, s ₁) = s ₁ * и для некоторой функции F справедливо неравенство F (r_{s 1}) ¹ F (r_{s 1 *} ). При этом сущность по ссылке y Î dom (E) называется источником потенциальной модификации тогда и только тогда, когда выполняется одно из условий:

- y = r;

- существуют состояния s ₂, s ₂ * такие, что s ₁~^{{ y }} s ₂, T (u, i, s ₂) = s ₂ * и F (r_{s 1 *} )¹ F (r _{s 2 *} ).

Потенциальная модификация сущности по ссылке r с источником сущностью по ссылке y указывает на реализацию в системе информационного потока от сущности y_s к сущности r_s при переходе системы из состояния в состояние по заданному запросу (рис. 7.1).

В определении потенциальной модификации также учитывается тот факт, что информационный поток, возникающий в системе, может не приводить к изменению модифицируемой сущности. Например, в случае, когда она по значению совпадает с сущностью источником.

Дадим восемь определений смыслов безопасности функции переходов.

Определение 7.14. Функция переходов T безопасна в смысле доступов к сущностям тогда и только тогда, когда для u, i, s, s* таких, что T (u, i, s) = s*, выполняется одно из условий: или s = s* (запрос отвергается), или(op Î i Ç OP и r_k Î i Ç RF) Þ (или (u, op, k) Î AS ((r_k) _s), или существует роль l Î RO (u_s): (l, op, k) Î AS ((r_k) _s)).

Определение 7.15. Функция переходов T безопасна в смысле модификации сущностей тогда и только тогда, когда для u, i, s, s* таких, что T (u, i, s) = s*, выполняется условие (сущность по ссылке x в состоянии s потенциально модифицируется по запросу i пользователя с идентификатором u с источником сущностью по ссылке y) Þ (CE (x_s) ≥ CE (y_s)).

Определение 7.16. Функция переходов T безопасна в смысле доступов к контейнерам с атрибутом CCR тогда и только тогда, когда для u, i, s, s* таких, что T (u, i, s) = s*, выполняется условие (сущность по ссылке z в состоянии s потенциально модифицируется по запросу i пользователя с идентификатором u с источником сущностью по косвенной ссылке r Î i Ç IR, основанной на сущности по ссылке y с атрибутом CCR (y_s) = true) Þ (CU (u_s) ≥ CE (y_s)).

Определение 7.17. Функция переходов T безопасна в смысле доступов по косвенной ссылке тогда и только тогда, когда для u, i, s, s* таких, что T (u, i, s) = s*, выполняетсяусловие (для непосредственной ссылки x Î DR выполняется условие (x_s*, x) Î D (u_s* ’) и существует косвенная ссылка r Î i Ç RF: r_s = x_s и сущность по ссылке r основана на контейнере по ссылке z, с атрибутом CCR (z_s) = true) Þ (CU (u_s) ≥ CE (z_s)) ¾ значение непосредственной ссылки на сущность может быть получено по косвенной ссылке с учетом правил доступа к контейнерам с атрибутом CCR.

Определение 7.18. Функция переходов T безопасна в смысле администрирования тогда и только тогда, когда для u, i, s, s* таких, что T (u, i, s) = s*, выполняются условия:

- (для ссылки на устройство вывода o Î E ^–1(O) выполняется CD (o_s) ¹ CD (o_s*) или для идентификатора пользователя x Î dom (U) выполняется одно из условий: или CU (x_s) ¹ CU (x_s*), или R (x_s) ¹ R (x_s*)) Þ (security_officer Î RO (u_s)) ¾ максимальный уровень конфиденциальности информации, выводимой на устройстве вывода, уровень доступа пользователя или множество его авторизованных ролей может изменить только пользователь с ролью «системный офицер безопасности» (security_officer);

- (для идентификатора пользователя x Î dom (U) выполняется условие RO (x_s) ¹ RO (x_s*)) Þ (или x_s = u_s, или security_officer Î RO (u_s)) ¾ изменить множество текущих ролей пользователя может только сам пользователь или пользователь с ролью «системный офицер безопасности».

Определение 7.19. Функция переходов T безопасна в смысле понижения уровня конфиденциальности сущностей тогда и только тогда, когда для u, i, s, s* таких, что T (u, i, s) = s*, выполняетсяусловие (для x Î dom (E) \ E ^-1({ u_s ’}) выполняется неравенство CE (x_s) > CE (x_s*)) Þ (downgrader Î RO (u_s)) ¾ за исключением сущности устройства вывода, на которой вошел в систему пользователь, уровень конфиденциальности сущности может понижать только пользователь с соответствующей специальной ролью (downgrader).

Определение 7.20. Функция переходов T безопасна в смысле отправки сообщений тогда и только тогда, когда для u, i, s, s* таких, что T (u, i, s) = s*, выполняются условия:

- (T (x_s) = RM) Þ (T (x_s*) = RM и RE (x_s) = RE (x_s*)) ¾ у сообщения тип и идентификатор отправителя не могут быть изменены после отправки (RM ¾ тип «отправленное сообщение»);

- (T (x_s) ¹ RM и T (x_s*) = RM) Þ (T (x_s) = DM, RE (x_s*) = u, существует ссылка r_s = x_s и i есть операция вида <release, r>, где releaser Î RO (u_s)) ¾ может быть с использованием некоторой ссылки отправлено только черновое сообщение (DM ¾ тип «черновое сообщение») и только пользователем с ролью «отправитель» (releaser); при этом идентификатор этого пользователя устанавливается в соответствующее поле сообщения.

Определение 7.21. Функция переходов T безопасна в смысле базовой теоремы безопасности (БТБ) тогда и только тогда, когда для u, i, s, s* таких, что T (u, i, s) = s*, и для x, y Î RF, w Î UI выполняются условия:

- (x_s Ï H (y_s) и x_{s *} Î H (y_{s *})) Þ (CE (x_{s *}) ≤ CE (y_{s *}));

- (x_s Î H (y_s) и CE (x_{s *}) > CE (y_{s *})) Þ (x_{s *} Ï H (y_{s *}));

- (x_s Ï H (w_s ’) и x_{s *} Î H (w_{s *}’)) Þ (CE (x_{s *}) ≤ CU (w_{s *}));

- (x_s Î H (w_s ’) и CE (x_{s *}) > CU (w_{s *})) Þ (x_{s *} Ï H (w_{s *}’));

- ((x_s, V (x_s)) Ï D (w_s ’)и (x_{s *}, V (x_{s *})) Î D (w_{s *}’)) Þ ((x_{s *}, CE (x_{s *})) Î D (w_{s *}’));

- ((x_s, V (x_s)) Î D (w_s ’)и (x_{s *}, CE (x_{s *})) Ï D (w_{s *}’)) Þ ((x_{s *}, V (x_{s *})) Ï D (w_{s *}’));

- (R (w_s) ¹ R (w_{s *}) или RO (w_s) ¹ RO (w_{s *})) Þ (RO (w_{s *}) Í R (w_{s *}));

- (CE (w_s ’) ¹ CE (w_{s *}’) или CD (w_s ’) ¹ CD (w_{s *}’)) Þ (CD (w_{s *}’) ≥ CE (w_{s *}’)).

Определение 7.22. Функция переходов T безопасна, тогда и только тогда, когда она безопасна в смыслах определений 7.14-7.21.

Определение 7.23. История p системы S(T, s ₀) безопасна, если все ее состояния и функция переходов T безопасны.

Определение 7.24. Система S(T, s ₀) безопасна, если все ее истории безопасны.

Лемма 7.1 (теорема БТБ-СВС). Каждое состояние системы S(T, s ₀) безопасно, если состояние s ₀безопасно и функция переходов Т безопасна в смысле БТБ.

Доказательство. Доказательство осуществляется аналогично доказательству теоремы 6.1 модели Белла-ЛаПадулы. ■

Теорема 7.1. Система S(T, s ₀) безопасна, если начальное состояние s ₀и функция переходов T безопасны.

Доказательство. Доказательство следует из определений и леммы 7.1. ■

В заключение рассмотрения модели СВС целесообразно отметить, что в ней не содержится описания механизмов администрирования. В частности, при описании функции переходов пропущены такие возможные действия в системе, как создания новых сущностей, присваивания им уровня конфиденциальности CE (e) и инициализации множества доступов AS (e). Исходя из постулатов безопасности, предполагается, что данные действия осуществляются корректно. Изменения значения множества доступов AS (e) для существующей сущности могут быть осуществлены с использованием доступов, определенных в самом значении AS (e) для данной сущности. Поэтому для задания правил изменения значений функции AS не требуется изменения определений безопасности функции переходов T.

Контрольные вопросы

1. Каким образом десять неформальных свойств модели СВС реализуются в ее формальном описании?

2. В каком случае система S(T, s ₀) безопасна?

3. Где в определениях безопасности модели СВС реализовано ss -свойство безопасности классической модели Белла-ЛаПадулы?

4. Где в определениях безопасности модели СВС реализовано * -свойство безопасности классической модели Белла-ЛаПадулы?

5. Где в определениях безопасности модели СВС реализовано ds -свойство безопасности классической модели Белла-ЛаПадулы?

Лекция 8.

Модели безопасности информационных потоков

Автоматная модель безопасности информационных потоков

В автоматной модели безопасности информационных потоков система защиты представляется детерминированным автоматом, на вход которого поступает последовательность команд пользователей. Основными элементами автоматной модели безопасности информационных потоков являются:

V ¾ множество состояний системы;

U ¾ множество пользователей;

M ¾ множество матриц доступов;

Дата добавления: 2014-11-20