Просмотр кода страницы Расстояние единственности

'''Расстояние единственности''' (в криптологии) — число символов [[шифротекст|шифртекст]]а, при которых условная [[информационная энтропия]] [[ключ (криптография)|ключа]] (а, следовательно, и [[Открытый текст|открытого текста]]) равна нулю, а сам ключ определяется однозначно.

Достижение расстояния единственности ещё не означает, что ключ (или открытый текст) можно найти на практике, так как определение не учитывает практическую вычислимость ключа, но лишь постулирует, что его можно найти, например, с помощью [[Полный перебор|полного перебора]].

== Определение ==
Определим ''функцию надёжности'' ключа через условную информационную энтропию ключа <math>Z</math> и символов шифротекста <math>y_1, y_2, \dots, y_n</math>, которые перехватывает [[криптоаналитик]]:
: <math>f_0 = H \left( Z \right)</math>
: <math>f_1 = H \left( Z | y_1 \right)</math>
: <math>f_2 = H \left( Z | y_1 y_2 \right)</math>
: <math>\dots</math> 
: <math>f_n = H \left( Z | y_1 y_2 \dots y_n \right)</math>
: <math>f_n \leq f_{n-1} \leq \dots \leq f_1 \leq f_0</math>

Такое число перехваченых символов <math>u</math>, при котором <math>f_u = 0</math> и называется расстоянием единственности.

== Приблизительная формула ==
Выведение формулы расстояния единственности возможно для некоторой «хорошей» криптосистемы, у которой информационная энтропия шифротекста обладает определёнными свойствами «линейности»:
: <math>H \left( Y \right) = N \log L</math>
:: где <math>N</math> — общее число символов шифротекста сообщения, <math>L</math> — алфавит шифротекста, для простоты принимаемый равным в том числе и для открытого текста, и для ключа шифрования
: <math>H \left( y_1 \dots y_n \right) \approx n \log L</math>
: <math>H \left( y_1 \dots y_n | Z \right) \approx {n \over N} H \left( X \right)</math>
:: последнее выражение является «линеаризацией» выражения <math>H \left( Y | Z \right) = H \left( X \right)</math>

Тогда из выражений для совместной информационной энтропии:
: <math>H \left( y_1 \dots y_n ; Z \right) = H \left( y_1 \dots y_n \right) + H \left( Z | y_1 \dots y_n \right) \approx n \log L + f_n</math>
: <math>H \left( y_1 \dots y_n ; Z \right) = H \left( Z \right) + H \left( y_1 \dots y_n | Z \right) \approx H \left( Z \right) + {n \over N} H \left( X \right)</math>
: <math>n \log L + f_n \approx H \left( Z \right) + {n \over N} H \left( X \right)</math>
: <math>n \approx {{H\left( Z \right) - f_n } \over {\log L - H\left( X \right)/N}} = {{H\left( Z \right) - f_n } \over {\log L \cdot \left( {1 - {{H\left( X \right)} \over {N\log L}}} \right)}}</math>

Тогда согласно определению расстояния единственности как <math>u: f_u = 0</math>:
: <math>u \approx {H\left( Z \right) \over {\log L - H\left( X \right)/N}} = {H\left( Z \right) \over {\log L \cdot \left( {1 - {{H\left( X \right)} \over {N\log L}}} \right)}}</math>

Выражение <math>\rho  = 1 - {{H\left( X \right)} \over {N\log L}}</math> называют '''избыточностью''' источника. Если избыточность источника равна нулю, то есть по открытому тексту невозможно определить, является ли корректным или нет (в нём нет [[Контрольная сумма|контрольных проверочных сумм]] или сигнатур), тогда расстояние единственности становится равным бесконечности, а криптосистема — абсолютно надёжной.

== Пример ==
Для русского языка избыточность равна 3,5 бита на символ. Если используется [[Шифр простой замены|моноалфавитный шифр]], то число возможных ключей в нём равно <math>33! \approx 8,68 \cdot 10^{36}</math>, а энтропия ключа (при равновероятном выборе) <math>H \left( Z \right) = \log _{2} 33! \approx 122,7</math> [[бит]]а.

Тогда расстояние единственности для русского текста, зашифрованного шифром простой замены, равно:
: <math>u = {{H \left( Z \right)} \over { \rho } } \approx 35,1</math>
То есть, если криптоаналитик перехватит более 35 символов шифротекста, это с большой степенью вероятности позволит (например, полным перебором) восстановить исходный открытый текст. Если же будет перехвачено меньшее количество символов, то восстановление текста будет неоднозначным (могут быть несколько разных вариантов открытого текста).

== Литература ==
* {{source|Q26887236|ref=Габидулин, Кшевецкий, Колыбельников|ref-year=2011|part=Расстояние единственности}} <!-- Защита информации -->
* Г. В. Басалова [https://www.intuit.ru/studies/courses/691/547/lecture/12395?page=3#sect6 Расстояние единственности] // [https://www.intuit.ru/studies/courses/691/547/info Основы криптографии]{{ref-ru}}

== Ссылки ==
* [[Брюс Шнайер]]: [https://www.schneier.com/crypto-gram/archives/1998/1215.html#plaintext How to Recognize Plaintext] (Crypto-Gram Newsletter December 15, 1998){{ref-en}}
* [http://www.practicalcryptography.com/cryptanalysis/text-characterisation/statistics/#unicity-distance Unicity Distance computed for common ciphers]{{ref-en}}

[[Категория:Криптография]]