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