Курс лекций Защита Информации/Формальная модель нарушителя: различия между версиями

Содержимое удалено Содержимое добавлено
Строка 37:
Пусть <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> — множество объектов.
 
<math>S</math>=<math>\{s_1,...,s_m\}</math> — множество субъектов.