Шифр Вернама (одноразовый блокнот) — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 6: Строка 6:
  
 
Доказательство абсолютной секретности:
 
Доказательство абсолютной секретности:
Пусть кодируемое слово -- <tex>x</tex>, ключ <tex>k</tex>, <tex> y = x \oplus k </tex>. Таким образом <tex>P(y=y_0) = P(k = y_o \oplus x)</tex>
+
 
 +
Пусть кодируемое слово -- <tex>x</tex>, ключ <tex>k</tex>, результат кодирования <tex> y = x \oplus k </tex>. Таким образом <tex>P(y=y_0) = P(k = y_o \oplus x)</tex>.
 
Заметим, что при фиксированном <tex>x</tex>, каждому случайному <tex>k</tex> соответствует ровно один <tex>y</tex>, а значит и распределение y будет совпадать с распределением ключа, из чего следует, что <tex>\forall x_1 \neq x_2</tex>  <tex> f(y_1 \oplus k) =  f(y_2 \oplus k)</tex>, что и требовалось доказать.
 
Заметим, что при фиксированном <tex>x</tex>, каждому случайному <tex>k</tex> соответствует ровно один <tex>y</tex>, а значит и распределение y будет совпадать с распределением ключа, из чего следует, что <tex>\forall x_1 \neq x_2</tex>  <tex> f(y_1 \oplus k) =  f(y_2 \oplus k)</tex>, что и требовалось доказать.
 
<tex>E_k(x_1) = x_1 \oplus k</tex>
 
<tex>E_k(x_1) = x_1 \oplus k</tex>
  
 
<tex>D_k(x_1 \oplus k \oplus k) = x_1</tex>
 
<tex>D_k(x_1 \oplus k \oplus k) = x_1</tex>

Версия 14:44, 27 мая 2010

Шифр Вернама (одноразовый блокнот) - единственный известный абсолютно секретный шифр. Он основан на том, что сообщение кодируется побитовым xor с одноразовым ключом, длина которого не меньше длины передаваемого сообщения.

Шифр назван в честь телеграфиста Гильберта Вернама, который сконструировал телеграфный аппарат, автоматически кодирующий сообщения таким методом (ключ подавался на отдельной ленте).

Легко заметить, что нельзя использовать один и тот же ключ несколько раз - при кодировании одинаковых сообщений с одинаковым ключом, полученные сообщения также будут одинаковыми, что позволит анализировать передаваемые сообщения.

Доказательство абсолютной секретности:

Пусть кодируемое слово -- [math]x[/math], ключ [math]k[/math], результат кодирования [math] y = x \oplus k [/math]. Таким образом [math]P(y=y_0) = P(k = y_o \oplus x)[/math]. Заметим, что при фиксированном [math]x[/math], каждому случайному [math]k[/math] соответствует ровно один [math]y[/math], а значит и распределение y будет совпадать с распределением ключа, из чего следует, что [math]\forall x_1 \neq x_2[/math] [math] f(y_1 \oplus k) = f(y_2 \oplus k)[/math], что и требовалось доказать. [math]E_k(x_1) = x_1 \oplus k[/math]

[math]D_k(x_1 \oplus k \oplus k) = x_1[/math]