Consideriamo quindi un cifrario OTP con alfabeto
2 = {0, 1},P = C = K = {0,1}l
dove l è un intero che mi dà la lunghezza di P,C,K ed assumiamo che le chiavi siano casuali e quindi tutte con uguale probabilità cioè
Dato allora il testo cifrato c C e ricordando che P,K sono indipendenti,


Poichè ad ogni messaggio in chiaro e messaggio cifrato corrisponde una sola chiave t.c. ek(x)=c,ogni x compare nella sommatoria una sola volta e quindi basta ridurre l’indice della sommatoria a x ∈Pe ricordare che la somma delle probabilità di tutti i possibili testi in chiaro è 1, cioè:

Questo mi dice semplicemente che tutti i testi cifrati sono equiprobabili; passiamo ora al calcolo delle entropie.
Per quanto appena visto tutte le 2l possibilità per K,C sono equiprobabili e quindi

H(K) = H(C) = log 2 (2l) = l

Calcoliamo ora H(P,K,C) in due modi differenti:
poichè C è univocamente determinato da P,K:

H(P,K,C) = H(P,K)

poichè P,K sono indipendenti
H(P,K,C) = H(P) + H(K)

e inoltre vale anche che
H(P,K,C) = H(P,C) = H(P|C) + H(C)

Uguagliando ora i due termini e ricordando che H(K) = H(C) ne verrà che

H(P) = H(P|C)

e questo per definizione prova che il sistema ha sicurezza perfetta. □

Torna al teorema