Редактирование: Rabbit

[[Файл:Rabbit_illustration1.png|thumb|400px|Схема работы алгоритма]]
'''Rabbit''' — высокоскоростной [[поточный шифр]] впервые представленный<ref>M. Boesgaard, M. Vesterager, T. Pedersen, J. Christiansen, O. Scavenius. Rabbit: A High-Performance Stream Cipher. Proc. FSE 2003. Springer LNCS 2887, pp. 307—329 ([https://web.archive.org/web/20050629021516/http://www.cryptico.com/Files/filer/rabbit_fse.pdf PDF])</ref> в феврале 2003 года на 10-м симпозиуме FSE. В мае 2005, он был отправлен на конкурс [[:en:eSTREAM|eStream]], целью которого было создание европейских стандартов для поточных систем шифрования.

Разработчиками Rabbit являются [[Martin Boesgaard]], [[Mette Vesterager]], [[Thomas Pedersen (CS)|Thomas Pedersen]], [[Jesper Christiansen (CS)|Jesper Christiansen]] и [[Ove Scavenius]].

Rabbit используют 128-битный ключ и 64-битный инициализирующий вектор. Шифр был разработан с целью использования в программном обеспечении, как обладающий высокой скоростью шифрования. При этом скорость шифрования могла достигать 3.7 циклов в байт([[:en:Cycles per byte|CPB]]) для процессора Pentium 3 и 10.5 циклов в байт для ARM7. Тем не менее, шифр также оказался быстрым и компактным при реализации в аппаратном обеспечении.

Основным компонентом шифра является генератор [[Битовый поток|битового потока]], который шифрует 128 битов сообщения за итерацию. Достоинство шифра в тщательном перемешивании его внутренних состояний между двумя последовательными итерациями. Функция перемешивания полностью основана на арифметических операциях, доступных на современных процессорах, то есть [[:en:substitution box|S-блоки подстановок]] и поисковые таблицы не нужны для реализации шифра.

Авторы шифра предоставили полный набор технических описаний на домашней странице [[:en:Cryptico|Cryptico]]<ref>M. Boesgaard, T. Pedersen, M. Vesterager, E. Zenner. The Rabbit Stream Cipher — Design and Security Analysis. Proc. SASC 2004. ([http://www.cryptico.com/files/filer/rabbit_sasc_final.pdf PDF] {{Wayback|url=http://www.cryptico.com/files/filer/rabbit_sasc_final.pdf |date=20110517143104 }})</ref>. Шифр также описан в RFC 4503. Cryptico обладала патентом на шифр, и многие годы для использования шифра в коммерческих целях требовалась лицензия. Однако, 6 октября 2008 шифр разрешили использовать для любых целей бесплатно<ref>{{Cite web |url=http://www.ecrypt.eu.org/stream/phorum/read.php?1,1244 |title=Phorum :: ECRYPT forum :: Rabbit becomes public domain<!-- Заголовок добавлен ботом --> |access-date=2010-12-18 |archive-date=2009-06-30 |archive-url=https://web.archive.org/web/20090630021733/http://www.ecrypt.eu.org/stream/phorum/read.php?1,1244 |deadlink=no }}</ref>.

== Rabbit и [[:en:eSTREAM|eStream]]<ref>The eSTREAM Portfolio Steve Babbage, Christophe De Canni`ere, Anne Canteaut, Carlos Cid, Henri Gilbert, Thomas Johansson, Matthew Parker, Bart Preneel, Vincent Rijmen and Matthew Robshaw6 ([http://www.ecrypt.eu.org/stream/portfolio.pdf PDF] {{Wayback|url=http://www.ecrypt.eu.org/stream/portfolio.pdf |date=20120813112048 }})</ref> ==

=== Конкурс [[:en:eSTREAM|eStream]] ===
Поточные симметричные шифры проекта eSTREAM составляют два профиля. В Профиль 1 входят шифры, ориентированные на программную реализацию, а в Профиль 2 — шифры, ориентированные на аппаратную реализацию.

Лучшие шифры проекта:

{| class="wikitable"
|-
! Профиль 1 !! Профиль 2
|-
| HC-128 || F-FCSR-H v2
|-
| Rabbit || Grain v1
|-
| Salsa20/12 || MICKEY v2
|-
| Sosemanuk || Trivium
|}

В Профиль 1 вошли поточные симметричные шифры с хорошей программной реализацией. Настолько хорошей, что должны были превосходить по скоростным показателям блочный симметричный алгоритм шифрования AES в режимах генерации гаммы. Основным требованием к этому профилю было обеспечение уровня безопасности в 128 бит.

=== Достоинства и недостатки шифра Rabbit ===
Rabbit является одной из старейших конструкций проекта eSTREAM. Данный поточный шифр не был подвержен каким-либо модификациям или дополнениям. Его спецификация оставалась неизменной с 2003 года и по данный момент. Шифр пережил все три этапа проекта и ни на одном не был подвержен криптоаналитическим атакам. Кроме всего прочего, данный алгоритм очень хорошо реализуется на новых процессорах семейства Intel. Как недостаток можно заметить тот факт, что шифр Rabbit обеспечивает уровень безопасности только в 128 бит.

Результаты заключительного голосования проекта eSTREAM по Профилю 1.

{| class="wikitable"
|-
! Профиль 1 !! очки
|-
| Rabbit || 2.80
|-
| Salsa20 || 2.80
|-
| Sosemanuk || 1.20
|-
| HC-128 || 0.60
|-
| NLS v2 || −0.60
|-
| LEX v2 || −1.20
|-
| CryptMT v3 || −1.40
|-
| Dragon || −1.60
|}

== Алгоритм ==
Внутреннее состояние поточного шифра содержит 513 битов. 512 из них поделены на восемь 32-битных переменных состояний <math>x_{j,i}</math> и восемь 32-битных счётчиков <math>c_{j,i}</math>, где <math>x_{j,i}</math> — переменная состояния подсистемы <math>j</math> при итерации <math>i</math>, а <math>c_{j,i}</math> — обозначает соответствующий счётчик переменных. 513-й бит — бит переноса <math>\phi_{7,i}</math>, который необходимо хранить между итерациями. Этот бит инициализируется нулём. 8 переменных состояний и 8 счётчиков зависят от ключа при инициализации.

=== Схема установки состояния ===
Алгоритм инициализируется расширением 128-битного ключа на 8 переменных состояния и 8 счётчиков так, что существует взаимно однозначное соответствие между ключом, начальными переменными состояний, <math>x_{j,0}</math>, и начальными счётчиками, <math>c_{j,0}</math>. Ключ <math>K^{[127..0]}</math> поделён на 8 подключей: <math>k_0^{[15..0]}</math>, <math>k_1^{[31..16]}</math>, … , <math>k_7^{[127..112]}</math>, переменные состояний и счётчики инициализируются при помощи подключей

: <math>
x_{j,0}=
\begin{cases}
    k_{(j+1 \mod 8)} \diamond k_j , &  \text{for even}\ j, \\
    k_{(j+5 \mod 8)} \diamond  k_{(j+4 \mod 8)}, & \text{for odd}\ j, \\
\end{cases}
</math>
: <math>
c_{j,0}=
\begin{cases}
    k_{(j+4 \mod 8)} \diamond k_{(j+5 \mod 8)}, & \text{for even}\ j, \\
    k_j \diamond  k_{(j+1 \mod 8)}, & \text{for odd}\ j, \\
\end{cases}
</math>

где <math>\diamond</math> — операция конкатенации.

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

: <math>c_{j,4}=c_{j,4} \oplus x_{(j+4 mod 8),4}</math>
для предотвращения восстановления ключа путём инверсии системы счётчиков.

=== Функция следующего состояния ===
: <math>x_{0, i+1} = g_{0,i} + (g_{7,i}\lll16) + (g_{6,i}\lll16) </math>
: <math> x_{1,i+1} = g_{1,i} + (g_{0,i}\lll8) + g_{7,i} </math>
: <math> x_{2,i+1} = g_{2,i} + (g_{1,i}\lll16) + (g_{0,i}\lll16) </math>
: <math> x_{3,i+1} = g_{3,i} + (g_{2,i}\lll8) + g_{1,i} </math>
: <math> x_{4,i+1} = g_{4,i} + (g_{3,i}\lll16) + (g_{2,i}\lll16) </math>
: <math> x_{5,i+1} = g_{5,i} + (g_{4,i}\lll8) + g_{3,i} </math>
: <math> x_{6,i+1} = g_{6,i} + (g_{5,i}\lll16) + (g_{4,i}\lll16) </math>
: <math> x_{7,i+1} = g_{7,i} + (g_{6,i}\lll8) + g_{5,i} </math>

: <math> g_{j,i} = \operatorname{LSW}((x_{j,i} + c_{j,i})^2) \oplus \operatorname{MSW}((x_{j,i} + c_{j,i})^2) </math>

Здесь все сложения по модулю 2<sup>32</sup>. Функции <math>\operatorname{LSW}(x)</math> и <math>\operatorname{MSW}(x)</math> возвращают, соответственно, младшие и старшие четыре байта 64-разрядного числа <math>x</math>, <math>\lll</math> — [[циклический сдвиг]] влево.

=== Система счетчиков ===
Уравнения, задающие изменение системы счетчиков:

: <math>c_{0,i+1} = c_{0,i} + a_0 +  \phi_{7,i} \mod 2^{32} </math>
: <math>c_{1,i+1} = c_{1,i} + a_1 + \phi_{0,i+1} \mod 2^{32} </math>
: <math>c_{2,i+1} = c_{2,i} + a_2 + \phi_{1,i+1} \mod 2^{32} </math>
: <math>c_{3,i+1} = c_{3,i} + a_3 + \phi_{2,i+1} \mod 2^{32} </math>
: <math>c_{4,i+1} = c_{4,i} + a_4 + \phi_{3,i+1} \mod 2^{32} </math>
: <math>c_{5,i+1} = c_{5,i} + a_5 +\phi_{4,i+1} \mod 2^{32} </math>
: <math>c_{6,i+1} = c_{6,i} + a_6 +\phi_{5,i+1} \mod 2^{32} </math>
: <math>c_{7,i+1} = c_{7,i} + a_7 +\phi_{6,i+1} \mod 2^{32} </math>

где счетчик бита переноса <math>\phi_{j,i+1}</math> задаётся как

: <math>
\phi_{j,i+1} =
\begin{cases}  
1, &  \text{if}\ c_{0,i} + a_0 + \phi_{7,i} \geqslant  2^{32} \wedge  j = 0,  \\
1, &  \text{if}\ c_{j,i} + a_j + \phi_{j-1,i+1} \geqslant  2^{32} \wedge  j > 0, \\
0, & \text{otherwise}.
\end{cases}
</math>

Кроме того, константы <math>a_j</math> определяются как
: <math>a_0 = \mathtt{0x4D34D34D}, \quad a_1 = \mathtt{0xD34D34D3},</math>
: <math>a_2 = \mathtt{0x34D34D34}, \quad a_3 = \mathtt{0x4D34D34D},</math>
: <math>a_4 = \mathtt{0xD34D34D3}, \quad a_5 = \mathtt{0x34D34D34},</math>
: <math>a_6 = \mathtt{0x4D34D34D}, \quad a_7 = \mathtt{0xD34D34D3}.</math>

=== Схема извлечения ===
После каждой итерации 128 битов выхода генерируется по следующим формулам:

: <math> s^{[15..0]}_i = x^{[15..0]}_{0,i} \oplus  x^{[31..16]}_{5,i} </math>
: <math> s^{[31..16]}_ i = x^{[31..16] }_{0,i }\oplus  x^{[15..0]}_{3,i} </math>
: <math> s^{[47..32]}_i = x^{[15..0]}_{2,i }\oplus  x^{[31..16]}_{7,i } </math>
: <math> s^{[63..48]}_i = x^{[31..16]}_{2,i} \oplus  x^{[15..0]}_{5,i} </math>
: <math> s^{[79..64]}_i = x^{[15..0]}_{4,i }\oplus  x^{[31..16]}_{1,i } </math>
: <math> s^{[95..80]}_i = x^{[31..16]}_{4,i} \oplus  x^{[15..0]}_{7,i} </math>
: <math> s^{[111..96]}_i = x^{[15..0]}_{6,i }\oplus  x^{[31..16]}_{3,i } </math>
: <math> s^{[127..112]}_i = x^{[31..16]}_{6,i}\oplus  x^{[15..0]}_{1,i} </math>

где <math>s_i</math> — 128-битный блок шифрующего потока на <math>i</math>-й итерации.

=== Схема шифрования и расшифрования ===
Выполняется операция XOR между извлеченными битами и текстом/шифротекстом для шифрования/дешифрования.

: <math>c_i = p_i \oplus s_i, </math>
: <math>p_i = c_i \oplus s_i, </math>

где <math>c_i</math> и <math>p_i</math> обозначают <math>i</math>-й блок шифротекста и текста соответственно.

== Свойства схемы установки ключа ==
Установку ключа можно разделить на три этапа: расширение ключа, система итераций, модификация счетчика.
* Этап расширения ключа гарантирует взаимно однозначное соответствие между ключом состояния и ключом счётчика, который предотвращает избыток ключей. Он также распределяет биты ключа оптимальным образом для итераций.
* Система итераций гарантирует, что после одной итерации функции следующего состояния каждый бит ключа повлияет на все восемь переменных состояния. Это также гарантирует, что после второй итерации функции следующего состояния все биты ключа повлияют на все биты состояния с вероятностью 0,5. Для надёжности шифрования итерацию проделывают четыре раза.
* Даже если счетчики будут известны злоумышленнику, модификация счётчика сильно усложняет восстановление ключа путём инвертирования счётчика системы, так как потребуются сведения о переменных состояния, также это нарушает взаимно однозначное соотношение между ключом и счетчиком.

== Безопасность ==
Rabbit предоставляет 128-битную защиту против атакующих, чья цель — один уникальный ключ. Если же атака происходит на несколько ключей за раз, и всё равно, который из них взломают, то защищённость снижается до 96 бит<ref>Christophe De Cannière, Joseph Lano, and [[Bart Preneel]], «Comments on the Rediscovery of Time Memory Data Tradeoffs», 2005. ([http://www.ecrypt.eu.org/stream/papersdir/040.pdf PDF] {{Wayback|url=http://www.ecrypt.eu.org/stream/papersdir/040.pdf |date=20150706134858 }})</ref>.

=== Атаки на функцию установления ключа ===
После того, как ключ задан, биты счётчика и состояния строго и очень нелинейно зависят от бит ключа. Это усложняет взлом для атак на основе угадывания части ключа, даже если биты счётчика были известны после модификации счётчика. Конечно, знание счётчиков делает другие виды взломов легче.

==== Атака, основанная на коллизии ====
В шифре Rabbit используется неоднозначное отображение, разные ключи потенциально могут привести к той же гамме. Эта проблема в основном сводится к вопросу о том, что разные ключи приводят к одним и тем же значениям счётчика, так как различные значения счётчика почти наверняка приведут к разным генерациям гаммы. Надо обратить внимание, что расширение ключа и система итераций были разработаны таким образом, что каждый ключ приводит к уникальным значениям счетчика. Тем не менее, модификация счётчика может привести к равным значениям счетчика для двух различных ключей. Полагая, что после четырёх начальных итераций внутреннее состояние, по существу, случайное и не коррелирует с системой счётчиков, вероятность коллизий задается «парадоксом дней рождения», то есть для всех <math>2^{128}</math> ключей одна коллизия ожидается в 256-битным счетчиком{{Уточнить}}. Таким образом, коллизия системы счетчиков не должна вызывать проблем на практике.

==== Атака со связанным ключом ====
Атака основана на использовании свойств симметрии в функциях следующего состояния и установки ключа.
Рассмотрим, например, два ключа <math>K</math> и <math> \tilde K</math> связанные соотношением <math>K^{[i]} = \tilde K^{[i+2]}</math> для всех <math>i</math>. Это приводит к соотношению <math>x_{j,0} = \tilde x_{j+2,0}</math> и <math>c_{j,0} = \tilde c_{j+2,0}</math>. Теперь рассмотрим, когда <math>K</math> и <math>\tilde K</math> — один и тот же ключ. Если условие <math>a_{j,0} = \tilde a_{j+2,0}</math> выполнено, то функция следующего состояния сохранила бы свойство симметрии. Но можно легко проверить, что константы <math>a_j</math>, выбраны так, что <math>a_{j,0} \ne \tilde a_{j+2,0}</math>. Таким образом, функция следующего состояния не подвержена атаке на основе связанного ключа.

=== Атака на основе частичного угадывания ключа ===

==== Guess-and-Verify Attack ====
Такая атака станет возможной, если выходные биты можно будет предсказать с помощью небольшого набора битов внутреннего состояния. Злоумышленник должен отгадать соответствующую часть переменных состояния, предсказать выходные биты и сравнить их с непосредственно наблюдаемыми битами на выходе, чтобы удостовериться в правильности своей догадки. Злоумышленник должен угадать, по крайней мере, 2*12 входных байт для различных g-функций для проверки в отношении одного байта. Это равносильно угадыванию 192 битов, что сложнее, чем [[полный перебор]] всех ключей.

==== Guess-and-Determine Attack ====
Суть этого метода заключается в том, что надо угадать несколько неизвестных переменных шифра и, используя их, вывести оставшиеся неизвестные. После этого систему прогоняют несколько раз, и то что получилось на выходе сравнивают с реальным выходными данными шифра для проверки предположения. Злоумышленник пытается воссоздать 512 бит внутреннего состояния, то есть он наблюдает 4 последовательных 128-битных данных на выходе шифра и делает следующее:
# Разделяет 32-битный счётчик и 32-битную переменную состояния на 8-битовые переменные.
# Составляет систему уравнений, которая моделирует изменение счётчиков и переменных состояния, и выходные данные. В итоге получается 160 уравнений и 160 неизвестных.
# Решает эту систему, угадывая как можно больше неизвестных.
Эффективность такого подхода зависит от количества угаданных переменных. Это количество ограниченно снизу 8-битовой подсистемой с наименьшим количеством входных переменных. Если пренебречь счетчиками, каждый байт функции следующего состояния зависит от 12 входных байт. Если учитывать счётчики, каждый байт на выходе подсистемы зависит уже от 24 входных байт. Следовательно, злоумышленник должен угадать более чем 128 бит, таким образом, делая нападение невыполнимым.

=== Алгебраические атаки ===

==== [[Полином Жегалкина|Алгебраически нормальная форма]](АНФ) g-функции ====
Дана [[Булева функция]] <math>f : (0,1)^n \rightarrow (0,1)</math> , АНФ является представлением <math>f</math> как многомерного [[Многочлен|полинома]](то есть сумма [[одночлен]]ов от входных переменных). Большое количество одночленов и их хорошее распределение по степеням — важные свойства нелинейных блоков в шифре.
 
Для случайной Булевой функции в 32 переменных среднее число одночленов равняется <math>2^{31}</math>, а среднее число одночленов, включающие все данные переменные — <math>2^{30}</math>. Если мы рассмотрим 32 такие функции, выбранные случайным образом, то среднее число одночленов, которых нет ни в одной из 32 функций, равно 1, и соответствующая дисперсия также равна 1.

Для g-функции в шифре Rabbit, АНФ для 32 булевых подфункций имеют, по крайней мере, степень 30. Число одночленов варьируется от <math>2^{24.5}</math> до <math>2^{30.9}</math>, где для случайной функции оно должно быть <math>2^{31}</math>. Распределение одночленов как функции степени представлено на рисунке. В идеале, основная часть должна была находиться промежутке между пунктирными линиями, которые показывают отклонения от среднего для идеальной случайной функции. Некоторые Булевы функции значительно расходятся с результатами для случайной функции, однако, все они имеют большое число одночленов высокой степени.

К тому же, исследовалось частичное совпадение 32 функций. Общее число одночленов, которые встречаются один раз, равно <math>2^{26.03}</math>, в то время как число одночленов, которые не встречаются вовсе — <math>2^{26.2}</math>. Если сравнить со случайной функцией, то это довольно большие отклонения. Эта информация может быть полезна для анализа шифра в будущем.

==== [[Полином Жегалкина|Алгебраически нормальная форма]](АНФ) для полного шифра ====
Практически невозможно рассчитать АНФ для всех битов на выходе для полного шифра. Но уменьшение размера ключа с 128 бит до 32 бит делает это возможным для изучения 32 булевых функций на выходе как функцию от 32 битного ключа.

Для урезанной версии шифра Rabbit была исследована функция установки для различного числа итераций. АНФ определяется после 0, 1, 2, 3, 4 итераций и одной дополнительной в схеме извлечения. Для 0+1 итераций число одночленов было примерно равно 2^31, как предполагалось для случайной функции. Но после двух итераций результат стабилизировался. Это означает, что больше нет колебаний на выходе. Количество отсутствующих полиномов 0, 1, 2, 3, 1 в итерациях (0+1), …, (4+1) соответственно. Очевидно, что эти данные соответствуют результатам для случайных функций.

=== Корреляционные атаки ===

==== Линейная [[аппроксимация]] ====
Линейная атака подразумевает нахождение лучшего линейного приближения между битами на входе функции следующего состояния и битами на выходе схемы извлечения. Для этого используют [[Функция Уолша|Преобразование Уолша — Адамара]], полагая, что все входные данные линейно независимы. Было установлено, что наилучшая линейная [[корреляция]] имеет коэффициент корреляции порядка <math>2^{-57.8}</math>, что подразумевает генерацию выходных данных от <math>2^{114}</math> итераций, чтобы сравнить со случайной функцией.

==== Аппроксимация второго порядка ====
Отсекание из АНФ для g-функции членов выше второго порядка значительно улучшает аппроксимацию при правильных условиях.

Обозначим через <math>f^{[j]}</math> аппроксимацию второго порядка АНФ для <math>g^{[j]}</math>. По результатам эксперимента коэффициент корреляции между <math>f</math> и <math>g</math> составляет менее <math>2^{-9.5}</math>, а коэффициент корреляции между <math>f^{[j]} \oplus f^{[j+1]}</math> и <math>g^{[j]} \oplus g^{[j+1]}</math> примерно равен <math>2^{-2.72}</math>. Это означает, что некоторые члены более высокой степени отсекаются при сложении по модулю 2 двух соседних битов. Построение по этим данным шифра со вторым порядком аппроксимации дает, в лучшем случае, коэффициент корреляции порядка <math>2^{-26.4}</math>. Данное значение коэффициента корреляции является недостаточным для атаки. Если ещё учитывать счетчики, то анализ намного усложняется.

== Примечания ==
{{примечания}}

== Ссылки ==
* [http://www.cryptico.com Cryptico homepage] {{Wayback|url=http://www.cryptico.com/ |date=20110128160255 }}
* [http://www.ietf.org/rfc/rfc4503.txt?number=4503 Rabbit RFC] {{Wayback|url=http://www.ietf.org/rfc/rfc4503.txt?number=4503 |date=20110524150523 }}
* [http://www.ecrypt.eu.org/stream/rabbitp2.html eSTREAM page on Rabbit] {{Wayback|url=http://www.ecrypt.eu.org/stream/rabbitp2.html |date=20100817011828 }}
* [https://web.archive.org/web/20120508183455/http://www.cryptomach.com/upload/ru/files/comparative_analysis_of_ssc_of_estream_project.pdf Сравнительный анализ шифров проекта eSTREAM]

{{симметричные криптоалгоритмы}}

[[Категория:Потоковые шифры]]