Курс лекций Защита Информации/Формальная модель нарушителя: различия между версиями
Содержимое удалено Содержимое добавлено
Lex1026 (обсуждение | вклад) |
Lex1026 (обсуждение | вклад) |
||
Строка 38:
задан <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>▼
=== Субъект ===
Преобразование информации отображает слово, описывающее исходные данные, в другое слово. Описание преобразования данных также является словом. Каждое преобразование информации может:
Строка 52 ⟶ 58 :
<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>. Тогда
Строка 100 ⟶ 108 :
Поток информации между объектом <math>O</math> и объектом <math>O'</math> называется произвольная операция над объектом <math>O'</math>, реализуемая в субъекте <math>S</math>,и зависящая от <math>O</math>.
=== Доступ ===
Доступом субъекта <math>S</math> к объекту <math>O</math> будем называть порожденные потоки информации между объектом <math>O'</math> и объектом <math>O</math>.
Правило разгранечения доступа субъекта <math>S</math> к объекту <math>O</math> это формально описанные потоки принадлежащие <math>\{L\}</math> - подмножеству разрешенных потоков.
▲<blockquote>Объекты <math>O</math> и <math>O'</math> называются тождественными в момент времени <math>t</math>, если они совпадают как слова записанные в одном языке.</blockquote>
▲<blockquote>Субъекты <math>S</math> и <math>S'</math> называются тождественными в момент времени <math>t</math>, если попарно тождественны все ассоциированные с ними объекты.</blockquote>
== Монитор безопасности потоков (монитор обращений) ==
| |||