Пусть
Утверждение. Если сообщение из и соответствующий ему шифротекст из - статистически независимые случайные величины, то такая криптосистема обладает совершенной криптостойкостью.
Теорема. Для того, чтобы криптосистема была совершенно криптостойкой, необходимо выполнение условия:
Доказательство С учетом статистической независимости и :
Энтропия открытого текста характеризует минимальную длину последовательности для описания случайной величины , а характеризует минимальную длину ключа. Получилось, что совершенная криптостойкость возможна только тогда, когда длина ключа не меньше, чем длина шифруемого сообщения, то есть
Габидулин стр 40