Дано описание модели трех каналов, применимой для стегосистем в помехоустойчивых кодах. Объяснено, что модель трех каналов является частным случаем стеганографической модели Кристиана Кашена. Даны определения совершенной и идеальной стегосистемы. Доказано, что любая идеальная стегосистема при соблюдении двух очевидных условий является совершенной (от пассивного противника). В качестве примера совершенной стегосистемы приведена математическая модель возникновения ошибок на оптических дисках. На основе этой модели разработан алгоритм стеганографии в кодах исправления ошибок, использование которого делает стегосистему совершенной. Приведен формальный алгоритм вкрапления стегосообщения.