Субъектно-объектная модель безопасности Краткий обзор. - презентация

1 Субъектно-объектная модель безопасности Краткий обзор

2 Введение Решается задача построения субъектно- объектной модели описания взаимодействия сетевых компонент. Данная задача была поставлена в предыдущей главе. На основе анализа существующих формальных моделей безопасности и стандартов безопасности, используя доказательный подход, создать адекватную модель сети, обеспечивающую требуемый уровень защищенности, а также устраняющую выявленные недостатки в исследованных моделях и стандартах.

3 Пусть А конечный алфавит, {A} - множество слов конечной длины в алфавите А [1.1]. Из А при помощи некоторых правил выделено подмножество Я правильных слов, которое называется языком. Будем считать, что любая информация представлена в виде слова в некотором языке Я. Кроме того, можно полагать, что состояние любого устройства в вычислительной системе достаточно полно описано словом в некотором языке. Эти предположения позволяют весь анализ вести в терминах некоторого языка.

4 Определение 1 Объектом относительно языка Я (или просто объектом, когда из контекста однозначно определен язык) называется произвольное конечное множество слов языка Я.

5 Определение 2 Замкнутая ВС называется ВС, в которой все субъекты зафиксированы, существует формально описанная процедура инициализации системы с контролем корректного выполнения данной процедуры, в процессе функционирования ВС не происходит порождения новых субъектов. Другими словами мощность множества субъектов остается постоянным в течение всего времени функционирования ВС.

6 Определение 3 Открытая (незамкнутая) ВС – система, в которой допускается порождение новых субъектов во время ее функционирования. Операция порождения субъекта Create (S i, O n ) -> S j

7 Определение 4 Если субъект S i в данный момент времени обладает правом доступа к объекту O n, то говорят, что объект O n находится в состоянии принадлежности субъекту S i. Следствие 1 (к определению) Любой объект O n принадлежит своему родителю (породившему его субъекту S i ). O, Create(S i ) -> O n => O n S i (значок принадлежности). Следствие 2 (обратное) Любому субъекту принадлежит объект, из которого он был порожден. S, Create(S i ) -> O n => O n S i.

8 Введем важные ограничения: В каждый момент времени t объект может принадлежать только одному субъекту. Исключение составляет момент передачи данных между субъектами системы, когда в момент t-1 до передачи, объект принадлежит одному субъекту (передающему), в момент t+1 (после передачи), объект принадлежит принимающему субъекту, это будет подробно показано ниже. t, O n, O n S i => S j, O n S j Обозначим множество объектов O m, принадлежащий субъекту S j в момент времени t: S j ({O m } t ).

9 Утверждение 1 Субъекты ВС не оказывают влияния друг на друга в процессе всего времени функционирования ВС. Доказательство: Исходя из условия, что в каждый момент времени t объект может принадлежать только одному субъекту получаем, что множества объектов принадлежащие всем субъектам системы не пересекаются. S 1 ({O 1 }t) S 2 ({O 2 }t) … S i ({O i }t) … S k ({O k }t) =

10 Определение 5 Правила разграничения доступа (ПРД) – формализовано описанные потоки L.

11 Утверждение 2 Система остается в безопасном состоянии при корректном выполнении ПРД.

12 Доказательство: Безопасность системы нарушается, когда ее состояние относиться к подмножеству небезопасных состояний. Как оговаривалось, политика безопасности, как раз разделяет множество состояний системы на два подмножества безопасное и небезопасное. Если система находится в безопасном состоянии, то возникновение любого потока из разрешенного подмножества потоков L не может перевести систему в опасное состояние. Таким образом, в случае адекватности правил разграничения доступа заданной политики безопасности и корректного выполнения ПРД в системе, подобная система остается в безопасном состоянии.

13 Состояние субъекта Состояние субъекта описывается его собственным состоянием и упорядоченной совокупностью принадлежащих ему объектов, [S i ] = {[O]}, {O} S i – обозначим квадратными скобками состояние элемента, а фигурными – множество элементов.

14 Определение 6 Состояние системы – упорядоченная совокупность состояний всех субъектов и объектов системы: [C] = {[S,О]}.

15 Определение 7 Скомпрометированное состояние системы – небезопасное состояние, достигнутое из безопасного.

16 Определение 8 Потоком информации между объектом O n и объектом O k называется произвольная операция над объектом O n, реализуемая субъектом S i. op Stream(S i, O n ) -> O k - поток информации от объекта O n к объекту O k.

17 Определение 9 Доступ – это взаимодействие между субъектом и объектом, в результате которого происходит передача информации между ними.

18 Определение 10 Доступ субъекта к объекту – порождение потока. Через права доступа происходит управление субъектом. {P} – множество доступов, разделаются на L и N – легальные и несанкционированные.

19 Утверждение 3 достаточное условие гарантированной защиты от НСД Правила корректного разрешения доступа к объектам системы (потоки из множества L) реализуются совокупностью субъектов системы.

20 Доказательство: В любой момент времени, каждый субъект ВС имеет доступ только к принадлежащим ему объектам. Каждый субъект способен реализовать соблюдение правил доступа к совокупности множества своих объектов, так как все информационные потоки к этим объектам управляются самим субъектом. Как уже было доказано, субъекты функционируют не влияя друг на друга. В силу этого, в системе не могут существовать потоки к объектам, принадлежащим некоторому субъекту, в обход этого субъекта. S j, O k S j, => Stream(S j, O n ) -> O k

21 Утверждение 4 Если состояния всех объектов, принадлежащих субъекту, безопасны, то при корректном выполнении субъектом контроля ПРД, состояния всех объектов остаются безопасными.

22 Доказательство: При корректном выполнении правил разграничения доступа переход какого-либо объекта в небезопасное состояние невозможен. Таким образом, такой переход возможен только при нарушении функционирования субъекта, который разрешил поток, не принадлежащий L. Пока объект выполняет корректно функции разграничения доступа, все объекты, принадлежащие ему, остаются в безопасном состоянии.

23 Следствие: Состояние системы определяется только совокупностью состояний своих субъектов. (Состояния объектов возможно не учитывать.)

24 Доказательство: Как уже было доказано: все объекты, находящиеся в безопасном состоянии и принадлежащие некоторому объекту, остаются в безопасном состоянии, пока этот субъект сам находится в безопасном состоянии. Нарушение безопасности какого-либо объекта системы не может произойти без нарушения безопасного состояния субъекта, которому он принадлежит. Оба события наступают одновременно и не могут произойти отдельно. Из этого следует, что состояние системы полностью можно описать совокупностью состояний одних только субъектов этой системы.

25 Утверждение 5 Состояние системы безопасно, пока все ее субъекты корректно выполняют функции обеспечения безопасности (контроля выполнения ПРД).

26 Доказательство: Состояние системы определяется совокупным состоянием ее субъектов. Если один из субъектов перестает адекватно выполнять функции контроля выполнения ПРД, то это означает, что субъект перешел в небезопасное состояние, следовательно, состояние системы определяется, как небезопасное.

27 Распределенное взаимодействие SiSi OnOn SjSj OkOk O nk

28 Формализованное описание распределенного взаимодействия 1.Create(S i, O n ) -> O nk, создание объекта для передачи. 2.Link (S i, S j ), связь между субъектами. 3.Operate(S j, O nk ) -> O k, операция над удаленным объектом.

29 Аксиома 2 Время в ВС является дискретным – пособытейным, временное расстояние между двумя соседними по очередности событиями = 1. Единица времени.

30 Определение 11 Состояние объекта в некоторый момент времени t обозначается O[t] и характеризуется содержимым объекта. Напомним, что из определения объект – есть некоторое слово из множества конечных слов, образующих язык Я.

31 Определение 12 Тождественность объекта, обозначается O[t] = O[t+1], трактуется, как неизменность состояния объекта за прошедший период времени. Общая формула: O[t i ] = O[t j ], i j. Изменение состояния объекта, тогда будет обозначаться следующим образом: O[t i ] O[t j ], i j.

32 Контроль за целостностью объектов и субъектов Обозначим через t – время до проведения рассматриваемой операции, а t+ Δ t – время после проведения операции.

33 Создание субъекта Create (S i, O n ) -> S j – для гарантии целостности объекта, при создании (активизации) из него нового субъекта накладывается дополнительное достаточное условие о тождественности объекта, а также порождающего субъекта в течение всего времени порождения нового субъекта. O n [t] = O n [t+ Δ t], S i [t] = S i [t+ Δ t].

34 Создание объекта Create (S i, O n ) -> O nk, O n [t] = O n [t+ Δ t], S i [t] = S i [t+ Δ t].

35 Создание канала передачи между субъектами и передача данных Link (S i, O nk ) -> S j O nk [t] = O nk [t+ Δ t], S i [t] = S i [t+ Δ t], S j [t] = S j [t+ Δ t]. Подразумевается время до передачи данных и после передачи (до установления соединения и до полного закрытия соединения).

36 Операция над объектом Operate (S j, O nk ) -> O k, O nk [t] = O nk [t+ Δ t], S j [t] = S j [t+ Δ t].

37 Утверждение 6 Установление контроля над целостностью объектов позволяет отслеживать и управлять переходами ВС из одного состояния в любое допустимое другое.

38 Доказательство Из приведенных выше определений следует, что совокупность состояний объектов, принадлежащих субъекту, определяет состояние этого субъекта. В свою очередь совокупность состояний субъектов системы определяет множество состояний ВС. Контроль целостности субъекта и объекта, участвующих в любой из операций, гарантирует корректное выполнение данной операции над некоторым результирующим объектом. В результате, после выполнения каждой операции происходит изменение состояния системы только в пределах допустимых безопасных состояний.

39 Определение 12 МЦО – активизированный субъект ВС, осуществляющий контроль целостности объектов в процессе функционирования ВС, в течение времени участия объекта в текущих операциях. {S} {O}, таким образом, МЦО контролирует тождественность субъектов.

40 Утверждение 7 Для гарантированного выполнения контроля целостности над объектами ВС, МЦО должен активизироваться и корректно выполнять свои функции до начала инициализации всех остальных субъектов ВС.

41 Доказательство Инициализация субъектов происходит из объектов (ресурсов) составляющих ВС. Таким образом, для выполнения гарантированно защищенной активации субъекта Create (S i, O n ) -> S j необходимо и достаточно соблюдения условия тождественности объекта, из которого порождается субъект, и порождающего субъекта в течение всего времени порождения: O n [t] = O n [t+ Δ t], S i [t] = S i [t+ Δ t]. Выполнение данного условия способен провести МЦО.

42 Утверждение 8 Если в замкнутой ВС существует МЦО и контролируется целостность всех объектов системы, то в такой ВС реализуется только доступ, описанный в ПРД.

43 Доказательство Правила доступа реализуются совокупностью субъектов системы (утверждение 3), субъекты и объекты, участвующие в операциях, контролируются на целостность (утверждение 6). Отсюда следует, что в системе не могут возникать информационные потоки, не контролируемые неизменяемыми субъектами.

44 При функционировании МЦО в ВС, выполняются следующие важные функции и ограничения: нет нелегального изменения состояния объектов ВС; все операции, происходящие в ВС – корректны (в случае их замкнутости внутри системы); Следствие Состояние системы остается безопасным.

45 Инициализация ВС

46 Утверждение 9 Для гарантированной защищенной инициализации ВС, достаточно, чтобы контроль за целостностью объектов начал выполняться до активации первого субъекта системы.

47 Доказательство Необходимо, чтобы каждый субъект был создан корректно. Для этого создание субъекта, порождающего другие субъекты системы должно провидится из порождающего объекта с установленным контролем целостности. Далее должен быть проконтролирован на целостность каждый объект, из которого будет порождаться субъект системы. Все это время должна проверяться целостность порождающего субъекта. Если в каком-то из перечисленных пунктов будет отсутствовать контроль целостности, это может привести к неконтролируемому появлению небезопасных субъектов системы, что не может гарантировать защищенной инициализации. Отсюда следует, что механизмы контроля целостности должны начинать работать до момента активизации первого субъекта системы. Это утверждение подобно утверждению 7.

48 Определение 13 Инициализационная последовательность (ИП) – объект, содержащий список объектов системы, из которых должны активироваться субъекты в момент запуска системы.

49 Утверждение 10 Для гарантированной корректной инициализации ВС достаточно, чтобы в процессе ее штатной работы, никакой субъект не имел доступа на изменение ИП и объектов, принадлежащих МЦО. Под штатной работой подразумевается функционирование системы для выполнения поставленных целей. Сюда не включается ее настройка, но входит обязательно процесс старта и завершения работы.

50 Доказательство От противного. Если будут существовать субъекты, обладающие правами доступа на изменение к ИП и других объектов, определяющих работу МЦО, то невозможно будет гарантировать соответствия этих объектов безопасным эталонам. Отсюда пропадает гарантия того, что система запускаемая, на основе некорректных объектов, инициализируется в безопасном состоянии.

51 Утверждение 11 В случае выполнения гарантированной корректной защищенной инициализации системы, ее начальное состояние C[0] безопасно.

52 Доказательство Из утверждения 9 следует, что при контроле целостности гарантированно создаются субъекты в безопасном состоянии. Состояние системы определяется совокупность состояний ее субъектов, таким образом, начальное состояние системы – безопасно.

53 Утверждение 12 Для гарантированного поддержания системы в замкнутом состоянии, достаточно, чтобы в ней не было ни одного объекта, имеющего право на создание (активизацию) новых субъектов в системе

54 Доказательство По определению замкнутая система – ВС в процессе функционирования которой не порождаются новые объекты. В случае отсутствия субъекта, обладающего правом создания новых субъектов, система будет оставаться в замкнутом состоянии. В случае наличия такого субъекта, обладающего правом активации новых субъектов в системе, условие ее замкнутости будет нарушено.

55 Определение 14 Менеджер инициализации субъектов (МИС) – единственный субъект в системе, обладающий правом порождения новых субъектов, запускающий все субъекты системы, пользуясь ИП, и самоуничтожающийся после проведения инициализации системы.

56 Формализованное описание инициализации замкнутой ВС Create (U, O МЦО ) -> S МЦО ; U – обозначает привилегированного пользователя (администратора системы); Create (U, O МИС ) -> S МИС, O МИС [t] = O МИС [t+ Δ t]; FOR i = 1 TO i = n USE ИП Create (S МИС, O i ) -> S i, O i [t] = O i [t+ Δ t], S МИС [t] = S МИС [t+ Δ t]; Delete (S МИС ).

57 Положения (требования безопасности): 1. Правила корректного разрешения доступа к объектам системы (потоки из множества L) реализуются совокупностью субъектов системы. 2. В замкнутой ВС существует МЦО и контролируется целостность всех объектов системы. (В такой ВС реализуется только доступ, описанный в ПРД). 3. В случае выполнения гарантированной защищенной инициализации системы, ее начальное состояние C[0] безопасно. 4. Для гарантированного поддержания системы в замкнутом состоянии, достаточно, чтобы в ней не было ни одного объекта, имеющего право на создание (активизацию) новых субъектов в системе.

58 Теорема безопасности. Если в системе выполняются положения 1- 4, ВС гарантировано остается в безопасном состоянии в любой момент времени в процессе своего функционирования.

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

60 Доказательство (продолжение) Все потоки в системе регулируются субъектами, невозможен поток от субъекта к чужому объекту и одновременный доступ к одному объекту различных субъектов. Контроль целостности, осуществляемый МЦО, гарантирует неизменность состояния субъектов в процессе выполнения операций, что в свою очередь предотвращает появление в системе небезопасных субъектов или объектов. В системе возможны только потоки, разрешаемые ПРД. Таким образом, все переходы системы из одного состояния в другое не нарушают безопасного состояния на всем протяжении ее функционирования.

61 Конфигурационный режим работы ВС

62 Определение 15 Конфигурационная последовательность (КП) – объект, хранящий всю необходимую информацию для настройки и конфигурации системы в защищенном виде. Композиция управляющей, конфигурационной и ключевой информации или ссылок на места ее хранения.

63 Определение 16 Менеджер Распределения Конфигурационной Информации (МРКИ) – субъект, выполняющий и контролирующий доставку и встраивание конфигурационной информации из КП в существующие или новые объекты в системе.