ИСТИНА

Объект исследования: математические модели зашумлённых скрытых каналов. Цели исследования: разработка и анализ схем кодирования в зашумлённых скрытых каналах передачи информации. Исследование проводится методами математического анализа, алгебры, теории графов, теории игр и теории автоматов. Получены следующие результаты: 1. Для скрытого канала перестановки пакетов поставлена и решена задача построения оптимального кода, исправляющего ошибки. Представлены таблицы мощностей кодов. 2. Для скрытого канала, основанного на манипуляции объёмом виртуальной памяти, разработан «разностный код», а также представлены оценки пропускной способности. В частности, доказаны теорема о логарифмическом росте среднего времени передачи и теорема о неулучшаемости циклической стратегии. 3. Рассмотрен скрытый канал блужданий по плоскости. От данного скрытого канала абстрагированы канал с запрещениями и канал частичного стирания. 4. Для канала с запрещениями установлено критериальное условие возможности надёжной передачи. 5. Для канала частичного стирания введено понятие корректного протокола и установлено критериальное условие, при выполнении которого для заданного поведения передатчика существует согласованное с ним поведение приёмника. Подробно рассмотрен частный случай корректного протокола — схема равномерного кодирования. Представлен конкретный пример, для которого получены оценки пропускной способности.