Информационная безопасность

Мандатное управление доступом (Mandatory access control) — разграничение доступа субъектов к объектам, основанное на характеризуемой меткой конфиденциальности информации, содержащейся в объектах, и официальном разрешении (допуске) субъектов обращаться к информации такого уровня конфиденциальности
Для моделирования полномочного управления доступом используется формальная (математическая) модель Белла-Лападулы (Bell-LaPadulla model), включающая в себя понятия безопасного (с точки зрения политики безопасности) состояния и перехода.
Основу мандатной модели политики безопасности составляет мандатное (или полномочное) управление доступом которое подразумевает, что:
? все субъекты и объекты системы должны быть однозначно идентифицированы;
? каждому объекту системы присвоена метка критичности (уровень доступа), определяющая ценность содержащейся в нем информации;
? каждому субъекту системы присвоен метка прозрачности (степень секретности, уровень конфиденциальности), определяющий максимальное значение метки критичности объектов, к которым субъект имеет доступ.

Уровень безопасности субъекта или объекта представляется в виде сочетания: уровень доступа (степень секретности), множество категорий.
Организация меток имеет иерархическую структуру и, таким образом, в системе можно реализовать иерархически не нисходящий (по ценности) поток информации (например, от рядовых исполнителей к руководству). Чем важнее объект или субъект, тем выше его метка критичности. Поэтому наиболее защищенными оказываются объекты с наиболее высокими значениями метки критичности.
Один уровень безопасности доминирует над другим тогда и только тогда, когда его уровень конфиденциальности или уровень допуска больше или равен второму, и его множество категорий включает соответствующее множество второго.
Любой запрос на доступ вызывает изменение состояния системы. Реакция системы на запрос называется решением. При текущем состоянии системы и данном запросе решение и новое состояние определяются правилами поведения системы. Если каждое правило выполняется безопасным образом и текущее состояние системы безопасно, то любой новый запрос вызывает переход в новое безопасное состояние.

Безопасное состояние определяется двумя правилами: простым условием защиты и условием (*), которое также называют ограничительным.
Простое условие защиты заключается в том, что для каждого доступа, связанного с чтением объекта, уровень безопасности субъекта должен доминировать над уровнем безопасности объекта. Иначе говоря, запрещено чтение из более высоких уровней.
Условие (*) предотвращает потоки информации из объектов более высокого уровня в объекты низкого уровня. Это условие определяется следующим образом:
Если запрос на чтение, то уровень субъекта должен доминировать над уровнем объекта;
Если запрос на изменение, то уровень объекта должен доминировать над уровнем субъекта;