Просмотр кода страницы Курс лекций Защита Информации/Формальная модель нарушителя

{{Курс лекций Защита Информации/Текст с двух сторон|←[[../Базовая модель нарушителя|Базовая модель нарушителя]]|[[../Рубежи и пояса защиты АС|Рубежи и пояса защиты АС]]→}}
Опишем модель нарушителя на формальном теоретико-множественном языке.

== Уровни возможностей нарушителя ==

В зависимости от категории нарушителя можно выделить 5 уровней возможностей нарушителя.

=== I уровень ===

Отсутствие полноценного доступа к ресурсам [[../Основные понятия и определения#Автоматизированная система|АС]], нарушитель I уровня не располагает пользовательскими данными. Он может вести разведку и наблюдение с целью получения данных.

=== II уровень ===

У нарушителя имеются полномочия на запуск ряда задач из фиксированного набора отведенных ему для выполнения функциональных обязанностей.

=== III уровень ===

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

=== IV уровень ===

Определяется возможностью управления функционированием [[../Основные понятия и определения#Автоматизированная система|АС]], например, изменять состав, конфигурацию и другие параметры оборудования.
  
=== V уровень ===

Определяется возможностью доступа к [[../Основные понятия и определения#Средство защиты информации (СЗИ)| СЗИ]].

{| class="wikitable"
|-
! Группа нарушителя !! Уровень
|-
| Конкуренты || II-IV
|-
| Преступники || II-IV
|-
| Привилегированные пользователи || V
|-
| Технический персонал || I-II
|-
| Пользователи || II
|-
| Лица, имеющие разовый доступ || II-IV
|}

Так же следует отметить, что бывшие сотрудники организации, эксплуатирующую [[../Основные понятия и определения#Автоматизированная система в защищенном исполнении (АСЗИ)|  АСЗИ]], могут работать в интересах конкурентов или криминальных групп.

== Формальная модель ==
Пусть <math>A</math> — конечный алфавит. Пусть <math>B</math> — множество слов конечной длины в алфавите <math>A</math>. Пусть в <math>A</math>, свою очередь,
задан <math>Y</math> — язык, набор правил для создания верных слов: <math>B=\{b_1....b_n\}</math>. В рамках формальной модели будем считать, что любую информацию можно
представить в виде слова конечной длины в некотором алфавите с помощью некоторого языка. Кроме того можно полагать, что состояние любого устройства достаточно полно описано словом в некотором языке. Введем в рассмотрение следующие множества.

=== Объект ===

{{Курс лекций Защита Информации/Определение|{{Курс лекций Защита Информации/Термин|Объектом (относительно языка)}} — называется произвольное конечное множество языка.}}
<math>O</math>=<math>\{o_1,...o_n\}</math> — множество объектов.

<blockquote>Объекты <math>O</math> и  <math>O'</math> называются тождественными в момент времени <math>t</math>, если они совпадают как слова записанные в одном языке.</blockquote>

=== Субъект ===

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

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

<math>S</math>=<math>\{s_1,...,s_m\}</math> — множество субъектов.

<blockquote>Субъекты <math>S</math> и  <math>S'</math> называются тождественными в момент времени <math>t</math>, если попарно тождественны все ассоциированные с ними объекты.</blockquote>

Преположим <math>s \subseteq S</math> и <math>o \subseteq O</math>. Тогда

<math>S \rightarrow \ (write)O</math><br />

<math>S \rightarrow \ (read)O</math><br />

<math>S \rightarrow \ (delete)O</math><br />

<blockquote>Все вопросы информационной безопасности описываются доступом субъектов к объектам.</blockquote>

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

=== Пространство системы ===

Множество всех графов <math>(O,S)</math> системы называется фазовым пространством системы <math>\Psi=\{G\}</math>. Траектория в пространстве системы соответствует функционированию системы. При этом, выделяют:
* <math>\{L\}</math> — подмножество разрешенных (legal) траекторий
* <math>\{N\}</math> — подмножество запрещенных (not legal) траекторий.

Основная проблема в обеспечении безопасности информации не допустить реализации траектрории из множества <math>\{N\}</math>.

<blockquote>Априорно существует некое правило или условие отделения субъектов от объектов.</blockquote>

<blockquote>Априорно отделяются желательные траектории от нежелательных (допустимые от недопустимых).</blockquote>
{{Курс лекций Защита Информации/Определение|Объект <math>O</math> называется {{Курс лекций Защита Информации/Термин|источником}} для субъекта <math>S'</math> , если существует субъект <math>S</math> в результате воздействия которого не объект <math>O</math> в системе возникает субъект <math>S'</math>.}}

Create (<math>S</math> , <math>O</math> )<math> \rightarrow \ </math><math>S'</math>.

<math>S'</math> - пораждающий субъект

<math>O</math> -  объект-источник

Операция ''Create'' - пораждение субъекта, зависит как от свойств активизирующего субъекта, так и от содержания объекта-источника.

<math>S_t</math> + <math>O_t</math><math> \rightarrow \ </math> <math>S'_(t+1)</math>

С любым субъектом связан (ассоциирован) некоторый объект (объекты), отображающие его состояние.
{{Курс лекций Защита Информации/Определение|Объект <math>O</math> в момент времени <math>t</math>  {{Курс лекций Защита Информации/Термин|ассоциирован}} с субъектом <math>S</math>, если состояние объекта <math>O</math> повлияло на состояние субъекта в следующий момент времени <math>t+1</math>.}}

Subject <math>(S)</math>: <math>O_t</math> <math> \rightarrow \ </math> <math>O'_(t+1)</math>

Можно выделить ассоциированные объекты изменение которых изменит вид отображения ассоциированых с ними объектов. Например, объекты содержащие, как правило, код программы - функционально ассоциированы, а содержащие данные - объект-данные.

=== Поток ===

 {{Курс лекций Защита Информации/Определение|{{Курс лекций Защита Информации/Термин|Поток информации}} между объектом <math>O</math> и объектом <math>O'</math> называется произвольная операция над объектом <math>O'</math>, реализуемая в субъекте <math>S</math>,и зависящая от <math>O</math>.}}

[[Файл:Ponyatie potoka.jpg|обрамить|484x285px|центр|Понятие потока]]

=== Доступ ===
 {{Курс лекций Защита Информации/Определение|{{Курс лекций Защита Информации/Термин|Доступом}} субъекта <math>S</math> к объекту <math>O</math> будем называть порожденные потоки информации между объектом <math>O'</math> и объектом <math>O</math>.}}

Правило разгранечения доступа субъекта <math>S</math> к объекту <math>O</math> это формально описанные потоки принадлежащие <math>\{L\}</math> - подмножеству разрешенных потоков.

== Монитор безопасности потоков (монитор обращений) ==

{{Курс лекций Защита Информации/Определение|{{Курс лекций Защита Информации/Термин|Монитор безопасности потоков (монитор обращений)}} — субъект, активизирующийся при возникновении потока от любого субъекта к любому объекту.}}

=== Виды мониторов обращений ===

* Индикаторный: устанавливает факт обращения субъекта к объекту.
* Содержательный: работает таким образом, что при возникновении потока от ассоциированного объекта <math>O</math> любого субъекта <math>S</math> к объекту <math>O'</math> и обратно, существует ассоциированный с монитором обращений объект <math>O''</math> тождественный объекту <math>O</math>.

Содержательный монитор обращений полностью участвует в потоке от субъекта к объекту. Информация проходит через его ассоциированые объекты и существует тождественное отображение объекта на какой-либо ассоциированный объект монитора обращений.
{{Курс лекций Защита Информации/Определение|{{Курс лекций Защита Информации/Термин|Монитор безопасности объектов}} — монитор обращений, который разрешает только те потоки, которые принадлежат множеству потоков легального доступа.}}
{{Курс лекций Защита Информации/Текст с двух сторон|←[[../Базовая модель нарушителя|Базовая модель нарушителя]]|[[../Рубежи и пояса защиты АС|Рубежи и пояса защиты АС]]→}}

{{BookCat}}