MAGENTA — блочный шифр , разработанный Майклом Якобсоном и Клаусом Хубером для немецкой телекоммуникационной компании Deutsche Telekom AG . MAGENTA является сокращением от Multifunctional Algorithm for General-purpose Encryption and Network Telecommunication Applications (Многофункциональный алгоритм для шифрования в общих целях и телекоммуникационных приложениях).

История

Разработка MAGENTA началась в 1990 году с основными принципами, описанными в неопубликованной книге .Основная идея заключалась в применении простой техники, без магических таблиц и постоянных, которая могла быть выполнена как аппаратно, так и программно. Планы заключались в разработке чипа, который мог бы передавать данных со скоростью до 1 Гбит/c и использоваться для шифрования в ATM . К сожалению, аппаратная реализация не появилась на свет, как планировалось, из-за узкого применения, но, несмотря на это, исследования показали, что такой чип возможно разработать . MAGENTA участвовал в конкурсе AES в 1998 году, но выбыл после первого раунда. Шифр стал доступен участникам конференции только в день презентации в отличие от других принимавших участие шифров. MAGENTA использовалась для шифрования данных внутри компании Deutsche Telekom . Следует отметить, что до MAGENTA быстрое преобразование Фурье в криптографических целях использовалось в 2 шифрах. Конкретное название первого не удалось найти , он изобретен Жан-Пьером Вассером и зарегистрирован 2 июня 1959 года. Вторым шифром является одна из реализаций алгоритма A3 — Comp-128.

Шифрование

MAGENTA имеет структуру сети Фейстеля . Раундовая функция основана на , за исключением того, что вместо сложения и вычитания на каждом этапе к одному из слагаемых применяется S-блок, задаваемый функцией , и затем они складываются по модулю 2.

Пусть множество ${\displaystyle B=\{0,1\}^{8}}$ .Размер блока ${\displaystyle M=(x_{0},...,x_{15})\in B^{16}}$ исходного текста — 128 бит. Размер ключа может принимать 3 значения:

• 128 бит : ${\displaystyle K=(K_{1},K_{2})}$ ,
• 192 бит : ${\displaystyle K=(K_{1},K_{2},K_{3})}$ ,
• 256 бит : ${\displaystyle K=(K_{1},K_{2},K_{3},K_{4})}$ , где ${\displaystyle K_{1}=(y_{0},...,y_{7})\ K_{2}=(y_{8},...,y_{15})\ K_{3}=(y_{16},...,y_{23})\ K_{4}=(y_{24},...,y_{31})}$ .

Пусть F — раундовая функция. Шифр блока M вычисляется таким образом: ${\displaystyle Enc_{K}(M)={\begin{cases}F_{K_{1}}(F_{K_{1}}(F_{K_{2}}(F_{K_{2}}(F_{K_{1}}(F_{K_{1}}(M)))))),&K=(K_{1},K_{2})\in B^{16},\\F_{K_{1}}(F_{K_{2}}(F_{K_{3}}(F_{K_{3}}(F_{K_{2}}(F_{K_{1}}(M)))))),&K=(K_{1},K_{2},K_{3})\in B^{24},\\F_{K_{1}}(F_{K_{2}}(F_{K_{3}}(F_{K_{4}}(F_{K_{4}}(F_{K_{3}}(F_{K_{2}}(F_{K_{1}}(M)))))))),&K=(K_{1},K_{2},K_{3},K_{4})\in B^{32};\end{cases}}}$

• 128 бит — ключ К разбивается на 2 части — К ₁ и К ₂ . Количество раундов 6. Ключи применяются в таком порядке:

Раунд	1	2	3	4	5	6
Применяемый ключ	К 1	К 1	К 2	К 2	К 1	К 1

• 192 бит — ключ К разбивается на 3 части — К ₁ , К ₂ и К ₃ . Количество раундов 6. Ключи применяются в таком порядке:

Раунд	1	2	3	4	5	6
Применяемый ключ	К 1	К 2	К 3	К 3	К 2	К 1

• 256 бит — ключ К разбивается на 4 части — К ₁ , К ₂ , К ₃ и К ₄ . Количество раундов 8. Ключи применяются в таком порядке:

Раунд	1	2	3	4	5	6	7	8
Применяемый ключ	К 1	К 2	К 3	К 4	К 4	К 3	К 2	К 1

Дешифрование

Следует заметить, что последовательность используемых частей ключа является палиндромом. Пусть ${\displaystyle V(x_{0},...,x_{15})\ =\ (x_{8},x_{9},...,x_{15},x_{0},x_{1},...,x_{7})}$ . Тогда

${\displaystyle V((Enc_{K}(x_{0},...,x_{15}))\ =\ Enc_{K}^{-1}(V(x_{0},...,x_{15})).}$

Таким образом, дешифрование ${\displaystyle Dec_{K}(M)\ =\ V(Enc_{K}(V(M))).}$

Раундовая функция F

Входной блок X размером 128 бит раунда n c раундовым ключом K _n разбивается на 2 части X ₁ и X ₂ размером 64 бита каждая.

X = X ₁ X ₂

После прохождения раунда получаем X ^' = X ₂ F(X ₂ K _n )

Из зависимости деления на части исходного ключа от количества раундов : длина части ключа, используемая в каждом раунде равна всегда 64 бита.

Следовательно, функция F принимает 128 битовый аргумент и должна возвращать 64-битный или 8-байтовый результат.

Введем вспомогательные функции, через которые затем выразим F:

Функция	Размер принимаемых(ого) аргументов(а)	Размер возвращаемого значения	Описание
f(x)	1 байт	1 байт	Возвращает элемент с номером x в S-блоке
A(x, y)	1 байт	1 байт	f(x ⊕ f(y))
PE(x, y)	1 байт	2 байта	(A(x, y)A(y, x)) — конкатенирует результаты A(x, y) и A(y, x)
П(X)	16 байт	16 байт	X=X 0 X 1 ...X 14 X 15 (PE(X 0 ,X 8 )PE(X 1 ,X 9 )...PE(X 6 ,X 14 )PE(X 7 ,X 15 )) - конкатенирует результаты PE(X i ,X i+8 ) i=0...7, X i имеет размер 1 байт.
T(X)	16 байт	16 байт	П(П(П(П(X)))) — применяет к X 4 раза функцию П.
S(X)	16 байт	16 байт	(X 0 X 2 X 4 …X 14 X 1 X 3 X 5 …X 15 ) — выполняет перестановку байтов X: сначала записываются байты с четным порядковым номером затем с нечетным.
С(k, X)	k∈Ν X — 16 байт	16 байт	Рекурсивная функция: С(1,X) = T(X)) С(k,X) = T(X ⊕ S(C(k-1,X)))

Схема работы функции П(X) :

F полагают равной первым 8 байтам от S(C(n, (X ₂ K _n ))), то есть байтам C(n, (X ₂ K _n )) с четным порядковым номером. Изначально n положили равным 7, но тесты показали, что в этом случае шифр возможно взломать. Поэтому затем положили n = 3. Как показали тесты это наилучший выбор, не допускающий криптографических слабостей, сказывающихся на всем шифре. Таким образом,

F полагают равной первым 8 байтам от S(C(3,(X ₂ K _n )))

S-блок

S-блок образуется следующим образом:

Первый элемент — 1, последующие образуются битовым сдвигом влево предыдущего, пока 1 не выйдет за левую границу байта. Соответственно начало блока — 1 2 4 8 16 32 64 128

256 ₁₀ =1 0000 0000 ₂ , 1 вышла за границу байта. В этом случае нужно сложить по модулю 2 полученное сдвинутое число 0000 0000 ₂ c числом 101 ₁₀ =0110 0101 ₂ :

0000 0000 ₂ ⊕ 0110 0101 ₂ = 0110 0101 ₂ = 101 ₁₀ , то есть после 128 будет стоять 101.

101 ₁₀ =0110 0101 ₂ << 1 = 1100 1010 ₂ =202 ₁₀ , 1 не вышла за границу, следовательно следующий элемент 202.
202 ₁₀ << 1= 1100 1010 ₂ << 1 = 1001 0100 ₂ , 1 вышла за границу:

1001 0100 ₂ ⊕ 0110 0101 ₂ = 1111 0001 ₂ = 241 ₁₀ .

Последний 256 элемент полагается равным 0. В результате получается такой S-блок:

   1    2    4    8   16   32   64  128
 101  202  241  135  107  214  201  247
 139  115  230  169   55  110  220  221
 223  219  211  195  227  163   35   70
 140  125  250  145   71  142  121  242
 129  103  206  249  151   75  150   73
 146   65  130   97  194  225  167   43
  86  172   61  122  244  141  127  254
 153   87  174   57  114  228  173   63
 126  252  157   95  190   25   50  100
 200  245  143  123  246  137  119  238
 185   23   46   92  184   21   42   84
 168   53  106  212  205  255  155   83
 166   41   82  164   45   90  180   13
  26   52  104  208  197  239  187   19
  38   76  152   85  170   49   98  196
 237  191   27   54  108  216  213  207
 251  147   67  134  105  210  193  231
 171   51  102  204  253  159   91  182
   9   18   36   72  144   69  138  113
 226  161   39   78  156   93  186   17
  34   68  136  117  234  177    7   14
  28   56  112  224  165   47   94  188
  29   58  116  232  181   15   30   60
 120  240  133  111  222  217  215  203
 243  131   99  198  233  183   11   22
  44   88  176    5   10   20   40   80
 160   37   74  148   77  154   81  162
  33   66  132  109  218  209  199  235
 179    3    6   12   24   48   96  192
 229  175   59  118  236  189   31   62
 124  248  149   79  158   89  178    0

Углубляясь в теорию, можно подытожить: Пусть имеется поле Галуа GF(2 ⁸ ) и задающий это поле многочлен — p(x)=x ⁸ +x ⁶ +x ⁵ +x ² +1 и пусть α — примитивный элемент поля, p(α)=0. Тогда элемент f(x) в S-блоке с индексом x можно представить как ${\displaystyle f(x)=\left\{{\begin{matrix}\alpha ^{x},&x\neq 255,\\0,&x=255;\\\end{matrix}}\right.}$

Свойства используемых функций

f(x)

В течение одного выполнения MAGENTA функция f(x) вычисляется 2304 раза для ключей в 128 и 192 бита и 3072 раза для ключа в 256 бит. Так как функция представляет нелинейную часть алгоритма, она имеет особую важность для анализа всего алгоритма. Следующие свойства f(x) известны:

1. f(x) — взаимно-однозначная функция, то есть перестановка над множеством B={0,1} ⁸ — всех восьмибитных двоичных векторов.
2. Данная перестановка может быть представлена как результат действия 6 несвязанных циклов длины 198 38 9 5 5 и 1. Согласно комбинаторному анализу, эти значения — «нормальные» и не имеют значительных расхождений с подобными циклами для случайных перестановок. Единственное число остающееся на месте — 161.
3. ∀x ∈ B и такого, что f(x) ∈ {1,2,…127} выполнено:

f(x+1) = 2∙f(x), где ∙ — произведение десятичных чисел. ∀(x, y)∈B ² и таких, что f(x)∙f(y)∈{1,2,…255} выполнено: f((x+y) mod 255) = f(x)∙f(y)

1. Если рассматривать f(x) как вектор функцию, то есть f(x) = (f ₇ (x), f ₆ (x),…f ₀ (x)), то каждая из 8 булевых функций нелинейна и степени 7. Также всевозможные нетривиальные XOR-комбинации этих функций нелинейны. Явное представление этих функций можно найти здесь. Ещё одно интересное свойство заключается в том, что каждая такая функция имеет 128 слагаемых.

PE(x, y)

Криптоанализ

Дифференциальный криптоанализ

Оказывается, по крайней мере часть MAGENTA может быть вскрыта методами данного криптоанализа. В качестве разницы между двумя элементами(открытыми текстами или шифрами) берется сложение по модулю 2 между этими элементами. Такое определение разницы обусловлено частым использованием операции xor в данном шифре. Строковые индексы XOR-таблицы представляют собой всевозможные разницы между открытыми текстами, а столбцовые индексы — между шифротекстами. На пересечении конкретного различия открытых текстов, то есть строкового индекса, и конкретного различия шифров, то есть столбцового индекса, стоит число пар открытых текстов, удовлетворяющих данному различию, шифры которых различаются на столбцовый индекс. XOR-таблица для функции f имеет размеры 256*256. Сумма каждой строки и столбца равна 256. Первый элемент первой строки(с индексом 0), отвечающей нулевому различию открытых текстов и шифров, равен 256. Все остальные первой строки элементы равны 0. Аналогично все элементы 1 столбца, кроме первого, равного 256, равны 0. Особенный интерес для дифференциального анализа представляют большие значения — самое большое значение в этой таблицы равно 8. Оно имеет место при таких различиях

Различие между открытыми текстами	Различие между шифрами
51	35, 66, 154, 155, 250
102	111, 114, 232, 233, 244
153	96, 97, 115, 229, 247
204	18, 19, 38, 207, 251

В остальных ячейках таблицы расположены числа 0, 2, 4, 6. Максимальная вероятность перехода для ненулевых различий — ${\displaystyle {\tfrac {8}{256}}=2^{-5}}$ .
Для функции PE — также были определены максимальные значения — оно равно 36 для разницы в открытом тексте (234, 234) и нулевой разницы шифров. Максимальная вероятность перехода — ${\displaystyle {\tfrac {36}{256^{2}}}}$ ≈ ${\displaystyle {\tfrac {1}{1820}}}$ .
Максимальная вероятность перехода для функции T — ${\displaystyle 2^{-20}}$ , для C(3,X) — ${\displaystyle 2^{-60}}$ . Так как число необходимых пар шифров больше чем величина, обратная вероятности перехода, данный тип дифференциального анализа, основанный на xor-таблицах не применим к MAGENTA. Однако вопрос о других типах остается открытым.

Линейный криптоанализ

Линейная аппроксимационная таблица для S-блока была вычислена. . Для функций ${\displaystyle f_{0},...,f_{7}}$ и для каждой xor-суммы ${\displaystyle f_{0}\oplus f_{1},f_{0}\oplus f_{2},...,f_{0}\oplus f_{1}\oplus ...\oplus f_{7}}$ , как и для всех линейных функций, было определено, как много цифр значений в таблице согласуется с соответствующими цифрами рассматриваемых линейных функций. В итоге получилось 255 значений между 0 и 256. Нормировка заключалась в вычитании 128. Все значения в таблице лежали на отрезке [-24;26]. Данные значения соответствуют ожидаемым для произвольно выбранных ${\displaystyle f_{0},...,f_{7}}$ . Значение 26 получается при следующих линейных комбинациях:

${\displaystyle f_{1}\oplus f_{2}\oplus f_{3},f_{1}\oplus f_{3}\oplus f_{4}\oplus f_{6},}$

${\displaystyle f_{1}\oplus f_{3}\oplus f_{6},f_{2}\oplus f_{3}\oplus f_{4}\oplus f_{6},}$

${\displaystyle f_{1}\oplus f_{4}\oplus f_{7},f_{2}\oplus f_{3}\oplus f_{5}\oplus f_{6},}$

${\displaystyle f_{2}\oplus f_{6}\oplus f_{7},f_{3}\oplus f_{4}\oplus f_{5}\oplus f_{6}.}$

Применяя к раундовой функции F( ${\displaystyle p_{i}=0.6}$ , l=12)

${\displaystyle {\frac {1}{2}}+2^{l-1}\prod _{i=1}^{l}p_{i}\approx {\frac {1}{2}}+2\cdot 10^{-9}}$ Полученное значение является верхней границей наилучшего аффинного преобразования для F. Приблизительно ${\displaystyle p^{-2}}$ пар открытый текст — шифр нужно чтобы использовать аффинное линейное приближение с вероятностью ${\displaystyle {\frac {1}{2}}+p}$ . Учитывая предыдущие результаты, для атаки на F необходимо ${\displaystyle 2.5\cdot 10^{17}}$ . Следовательно, благодаря нелинейности f(x), MAGENTA не удастся взломать атаками, основанными на линейном криптоанализе.

Примечания

Ссылки

• M. J. Jacobson, Jr. and K. Hubery
• J. J. G. Savard. The Computer Era. Towards the 128-bit era: AES Candidates. // A Cryptographic Compendium
• El. Biham, Al. Biryukov, N. Ferguson, L. R. Knudsen, B. Schneier, Ad. Shamir от 19 августа 2014 на Wayback Machine