Объекто-субъектная модель

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

Отношения между субъектами и объектами

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

Контроль операций

Монитором взаимодействий контролирует все операции, и, соответственно, операции либо разрешаются, либо запрещаются.

Все операции контролируются и либо запрещаются, либо разрешаются в соответствии с правилами политики безопасности.

1. Политика безопасности задается в виде правил, в соответствии с которыми должны осуществляться все взаимодействия между субъектом и объектом. Взаимодействия, проводящие к нарушению этих правил, пресекаются средствами контроля доступа и не могут быть осуществлены.

2. Совокупность множеств субъектов, объектов и отношений между ними определяет состояние системы. Каждое состояние системы является либо безопасным, либо небезопасным в соответствии с предложенными в модели критериям безопасности.

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

Классические модели

Среди классических моделей политик безопасности можно выделить два основных класса:

· дискреционные (произвольные);

· мандатные (нормативные).

Язык описания политики безопасности

Язык определения политики безопасности задается спецификациями.

Выразительная сила

Язык определения политики безопасности должен обладать достаточной выразительной силой. На основании предлагаемого языка необходимо иметь возможность описывать достаточно широкий круг политик безопасности.

Спецификации языка

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

· закрытые политики безопасности (все разрешенные виды доступа должны быть специфицированы);

· открытые политики безопасности (все запрещенные виды доступа должны быть специфицированы);

· гибридные политики безопасности;

· гибридные политики безопасности с разрешенными противоречиями.