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

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

Габидулин стр 40