Курс лекций Защита Информации/Субъектно-объектная модель

{{../Текст с двух сторон|←[[../Обобщенная структура системы защиты от НСД|Обобщенная структура системы защиты от НСД]]|[[../Идентификация и аутентификация|Идентификация и аутентификация]]→}} Модель произвольной автоматизированной системы рассматривается в виде конечного множества элементов, которые можно разделить на два подмножества: множество субъектов $S$ и множество объектов $O$:

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

Будем считать разделение автоматизированной системы на субъекты о объекты априорным. Будем считать, что существует критерий разделения субъектов и объектов в автоматизированной системе (по свойству активности).

Будем полагать, что в любой дискретный момент времени множество субъектов автоматизированной системы не пусто. Для каждой пары $(S_i,O_j)$ существует множество разрешенных операций, являющееся подмножеством всего множества возможных операций.

Основные определения

Источник

{{../Определение|Объект $O_i$ называется {{../Термин|источником}} для субъекта $S_m$, если существует субъект $S_j$, в результате воздействия которого на объект $O_i$ в автоматизированной системе возникает субъект $S_m$.}}

$create(S_j,O_i)\to S_m$

Операция $create$ создает отображение декартового произведения множеств субъектов и объектов на множество субъектов. Множество субъектов является подмножеством объектов.

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

Объект ассоциирован с субъектом

{{../Определение|Объект $O_i$ в момент времени $t$ {{../Термин|ассоциирован с субъектом}} $S_m$, если состояние объекта $O_i$ повлияло на состояние субъекта $S_m$ следующий момент времени.}}

Поток

{{../Определение|{{../Термин|Потоком информации}} между объектами $O_m$ и $O_j$ называется произвольная операция над объектом $O_j$, реализуемая в субъекте $S_j$ и зависящая от $O_m$.}}

$stream(S_i,O_m)\to O_j$

Доступ

{{../Определение|{{../Термин|Доступом}} субъекта $S_i$ к объекту $O_j$ будем называть порождение потока информации между некторым объектом, например ассоцированными с субъектом $S_i$ объектами, и объектом $O_j$.}}

Правила разграничения доступа

{{../Определение|{{../Термин|Правила разграничения доступа}} субъектов и объектов есть формально описанные потоки, принадлежащие подмножеству $L$.}}

Тождественность объектов и субъектов

{{../Определение|Объекты $O_i$ и $O_j$ {{../Термин|тождественны}} в момент времени $t$ , если они совпадают как слова, записанные в одном языке.}}

{{../Определение|Субъекты $S_i$ и $S_j$ {{../Термин|тождественны}} в момент времени $t$, если попарно тождественны все ассоциированные с ними объекты.}}

Для разделения всего множества потоков в автоматизированной системе на подмножетсва $L$ и $N$ необходимо создание активной компоненты (субъекта), которая:

1. активируется при при возникновении любого потока;
2. производит фильтрацию с соответствии с принадлежностью к множеству $L$ и $N$.

Монитор обращений

{{../Определение|{{../Термин|Монитор обращений}} — это субъект, который активизируется при возникновении доступа любого субъекта к любому объекту.}}

Различают два вида мониторов обращений:

• индикаторный — устанавливает только факт обращения субъекта к объекту;
• содержательный — субъект, функционирующий таким образом, что при возникновении потока от ассоцированного объекта $O_m$ любого субъекта $S_i$ и $O_j$ и обратно, существует ассоцированный с монитором обращений объект $O^{\prime }$, тождественный $O_m$.

Аксиомы

{{../Аксиома|Шаблон:Курс лекций Защита Информации/Акцент в аксиоме
В защищенной автоматизированной системе всегда присутствует активная часть компонента субъекта выполняющая контроль операций субъектов над объектами. Данная компонента фактически отвечает за реализацию некоторой политики безопасности.}}

{{../Аксиома|Шаблон:Курс лекций Защита Информации/Акцент в аксиоме
Для выполнения в защищенной автоматизированной системе оперций над объектами необходима дополнительная информация (и наличие содержащего ее объекта) о разрешенных и запрещенных оперцациях субъектов над объектами.}}

{{../Аксиома|Шаблон:Курс лекций Защита Информации/Акцент в аксиоме
Все вопросы безопасности информации описываются доступами субъектов к объектам.}}

{{../Аксиома|Шаблон:Курс лекций Защита Информации/Акцент в аксиоме
Субъекты в автоматизированной системе могут быть порождены только от активной компонентной (субъектами) из объектов.}} {{../Текст с двух сторон|←[[../Обобщенная структура системы защиты от НСД|Обобщенная структура системы защиты от НСД]]|[[../Идентификация и аутентификация|Идентификация и аутентификация]]→}}