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

== Формальная модель ==

Пусть <math>A</math> — конечный алфавит. Пусть <math>B</math> — множество слов конечной длины в алфавите <math>A</math>. Пусть в <math>A</math>, свою очередь,

представить в виде слова конечной длины в некотором алфавите с помощью некоторого языка. Кроме того можно полагать, что состояние любого устройства достаточно полно описано словом в некотором языке. Введем в рассмотрение следующие множества.