Совершенно стойкие шифры.

Криптосистема называется совершенно секретной (по Шеннону) если для всех пар открытых и шифрованных текстов любой открытый текст поучается из любого шифр-текста с одинаковой вероятностью, т.е. Р(М)=Р(М|С) при известном шифр-тексте.

Или в терминах неопределенности Н(М)=Н(М|С).

Следствие.

По теореме Байеса: Р(М) Р(С/М) = Р(С)Р(М/С)

Док-во: Р(М,С)=Р(М) Р(С/М)

Р(М,С)=Р(С) Р(М/С)

Имеем: т.к. для сов. секретной системы Р(М)=Р(М/С), то Р(С/М)=Р(С)