Критерий существования корректного протокола в канале частичного стирания

Скрытые каналы позволяют передавать информацию с использованием механизмов, изначально не предназначенных для передачи. В качестве примера можно рассмотреть процесс, в рамках которого передатчик передвигает своего персонажа в многопользовательской игре, кодируя информацию движениями, а приемник считывает сообщение, отслеживая перемещения. При этом в канале могут возникать ошибки, связанные с пропаданием персонажа из области видимости приемника и потерей сетевых пакетов. Естественным образом возникает задача организации надежного канала. В работе рассматривается формальная модель канала частичного стирания, описывающая процесс взаимодействия приемника и передатчика, вводится понятие корректности протокола передачи, формулируется и доказывается критериальное условие корректности протокола передатчика, а также строится оптимальное поведение приемника.