Русская Википедия:MARS (криптография)

Шаблон:Другие значения Шаблон:Карточка блочного шифра MARS — шифр-кандидат в AES, разработанный корпорацией IBM, создавшей в своё время DES. По заявлению IBM, в алгоритм MARS вложен 25-летний криптоаналитический опыт фирмы, и наряду с высокой криптографической стойкостью шифр допускает эффективную реализацию даже в таких ограниченных рамках, какие характерны для смарт-карт.

В разработке шифра принял участие Дон Копперсмит, один из авторов шифра Lucifer (DES), известный рядом статей по криптологии: улучшение структуры S-блоков против дифференциального криптоанализа, метод быстрого перемножения матриц(алгоритм Копперсмита — Винограда), криптоанализ RSA. Кроме него в разработке алгоритма приняли участие: Кэролин Барвик, Эдвард Д’Эвиньон, Росарио Женаро, Шай Халеви, Чаранжит Джутла, Стивен M. Матьяс Мл., Люк О'Коннор, Мохамед Перьевян, Дэвид Саффорд, Невенко Зунич.

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

По результатам конкурса AES, MARS вышел в финал, но уступил Rijndael. После объявления результатов (19 Мая 2000 года) группа разработчиков составила своё собственное мнение о конкурсе AES^[1], где дала комментарии на претензии к своему детищу.

Сейчас MARS распространяется по всему миру под лицензией Royalty-free.

Краткое описание алгоритма

MARS является блочно-симметричным шифром с секретным ключом. Размер блока при шифровании 128 бита, размер ключа может варьироваться от 128 до 448 бит включительно (кратные 32 битам). Создатели стремились совместить в своём алгоритме быстроту кодирования и стойкость шифра. В результате получился один из самых криптостойких алгоритмов, участвовавших в конкурсе AES.

Алгоритм уникален тем, что использовал практически все существующие технологии, применяемые в криптоалгоритмах, а именно:

простейшие операции (сложение, вычитание, исключающее или)
подстановки с использованием таблицы замен
фиксированный циклический сдвиг
зависимый от данных циклический сдвиг
умножение по модулю 2³²
ключевое забеливание

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

Структура алгоритма

Авторы шифра исходили из следующих предположений:

Выбор операций. MARS был спроектирован для использования на самых современных компьютерах того времени. Для достижения лучших защитных характеристик в него были включены самые «сильные операции» поддерживаемые в них. Это позволило добиться большего отношения securityper-instruction для различных реализации шифра.
Структура шифра. Двадцатилетний опыт работы в области криптографии подтолкнул создателей алгоритма к мысли, что каждый раунд шифрования играет свою роль в обеспечении безопасности шифра. В частности, мы можем видеть, что первый и последний раунды обычно сильно отличаются от промежуточных(«центральных») раундов алгоритма в плане защиты от криптоаналитических атак. Таким образом, при создании MARSa использовалась смешанная структура, где первый и последний раунды шифрования существенно отличаются от промежуточных.
Анализ. Скорее всего, алгоритм с гетерогенной структурой будет лучше противостоять криптоаналитическим методам будущего, чем алгоритм, все раунды которого идентичны. Разработчики алгоритма MARS придали ему сильно гетерогенную структуру — раунды алгоритма весьма различаются между собой.

В шифре MARS использовались следующие методы шифрования:

Работа с 32-битными словами. Все операции применяются к 32-битным словам. то есть вся исходная информация разбивается на блоки по 32 бита. (если же блок оказывался меньшей длины, то он дополнялся до 32 бит)
Сеть Фейстеля. Создатели шифра считали, что это лучший вариант совмещения скорости шифрования и криптостойкости. В MARS использована сеть Фейстеля 3-го типа.
Симметричность алгоритма. Для стойкости шифра к различным атакам все его раунды были сделаны полностью симметричными, то есть вторая часть раунда есть зеркальное повторение первой его части.

Структуру алгоритма MARS можно описать следующим образом:

Предварительное наложение ключа: на 32-битные субблоки A, B, C, D накладываются 4 фрагмента расширенного ключа k₀…k₃ операцией сложения по модулю 2³²;
Выполняются 8 раундов прямого перемешивания (без участия ключа шифрования);
Выполняются 8 раундов прямого криптопреобразования;
Выполняются 8 раундов обратного криптопреобразования;^[2]
Выполняются 8 раундов обратного перемешивания, также без участия ключа шифрования;
Финальное наложение фрагментов расширенного ключа k₃₆…k₃₉ операцией вычитания по модулю 2³².

Прямое перемешивание

В первой фазе на каждое слово данных накладывается слово ключа, а затем происходит восемь раундов смешивания согласно сети Фейстеля третьего типа совместно с некоторыми дополнительными смешиваниями. В каждом раунде мы используем одно слово данных (называемое, исходным словом) для модификации трёх других слов(называемые, целевыми словами). Мы рассматриваем четыре байта исходного слова в качестве индексов на двух S-блоков, S₀ и S₁, каждый, состоящий из 256 32-разрядных слов, а далее проводим операции XOR или добавления данных соответствующего S-блока в три других слова.

Если четыре байта исходного слова b₀, b₁, b₂, b₃ (где b₀ является первым байтом, а b₃ является старшим байтом), то мы используем b₀, b₂, как индексы в блока S₀ и байты b₁, b₃, как индексы в S-блоке S₁. Сначала сделаем XOR S₀ к первому целевому слову, а затем прибавим S₁ к тому же слову. Мы также добавляем S₀ ко второму целевому слову и XOR блока-S₁ к третьему целевому слову. В заключении, мы вращаем исходное слово на 24 бита вправо.

В следующем раунде мы вращаем имеющиеся у нас четыре слова: таким образом, нынешнее первое целевое слово становится следующим исходным словом, текущее второе целевое слово становится новым первым целевым словом, третье целевое слово становится следующую вторым целевым словом, и текущее исходное слово становится третьим целевым словом.

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

Псевдокод

1. // Первое наложение ключа на данные
2. <math>for ~i ~= ~0 ~to ~3 ~do</math>
3. <math> D \left [ i \right ] = D[i] + K[i] </math>
4. // Затем 8 раундов прямого перемешивания
5. <math>for ~i = ~0 ~to ~7 ~do</math>  // используем D[0] для модифицирования D[1]; D[2]; D[3]
6. // обращаемся к 4-ем S-блокам
7.<math> D \left [1 \right ] = D[1] \oplus S0[ ~low ~byte ~of ~D[0] ]</math>
8.<math> D \left [ 1 \right ] = D[1] + S1[ ~2nd ~byte ~of ~D[0] ]</math>
9.<math> D \left [ 2 \right ] = D[2] + S0[ ~3rd ~byte ~of ~D[0] ]</math>
10.<math> D[3] = D[3] \oplus S1[ ~high ~byte ~of ~D[0] ]</math>
11. // и вращаем исходное слово вправо
12.<math> D[0] = D[0] \ggg 24 </math>
13. // также проделаем дополнительные операции смешивания
14. <math>if ~i ~= ~0 ~or ~4 ~then </math>
15.     <math>D \left [ 0 \right ] = D[0] + D[3]</math> // добавим D[3] к исходному слову
16. <math>if ~i ~= ~1 ~or ~5 ~then</math>
17.     <math>D \left [0 \right ] = D[0] + D[1]</math> // добавим D[1] к исходному слову
18. // вращаем массив D[ ]
19.<math>(D[3]; D[2]; D[1]; D[0]) \leftarrow  (D[0]; D[3]; D[2]; D[1]) </math>
20.<math>end-for</math>

Криптографическое ядро

Криптографическое ядро MARS — сеть Фейстеля 3-го типа, содержащая в себе 16 раундов. В каждом раунде мы используем ключевую Е-функцию, которая является комбинацией умножений, вращений, а также обращений к S-блокам. Функция принимает на вход одно слово данных, а возвращает три слова, с которыми впоследствии будет осуществлена операция сложения или XOR к другим трем словам данным. В дополнении исходное слово вращается на 13 бит влево.

Для обеспечения, серьёзного сопротивления к криптоатакам, три выходных значения Е-функции(O₁, O₂, O₃) используются в первых восьми раундах и в последних восьми раундах в разных порядках. В первые восемь раундов мы добавляем O₁ и O₂ к первому и второму целевому слову, соответственно, и XOR O₃ к третьему целевому слову. За последние восемь раундов, мы добавляем O₁ и O₂ к третьему и второму целевому слову, соответственно, и XOR O₃ к первому целевому слову.

Псевдокод

1. // Проделаем 16 раундов шифрования при использовании ключа
2.<math>for ~i ~= ~0 ~to ~15 ~do</math>
3.<math>(out1; ~out2; ~out3) ~= ~E-function(D[0]; ~K[2i + 4]; ~K[2i + 5])</math>
4.<math>D[0] = D[0] \lll 13</math>
5.<math>D[2] = D \left [ 2 \right ] + out2</math>
6.<math>if ~i ~< ~8 ~then</math> // сначала 8 раундов прямого преобразования
7.     <math>D[1] = D \left [ 1 \right ] + out1</math>
8.     <math>D[3] = D[3] \oplus out3 </math>
9.<math>else</math> // потом 8 раундов обратного преобразования
10.    <math>D[3] = D \left [ 3 \right ] + out1</math>
11.    <math>D[1] = D[1] \oplus out3</math>
12.<math>end-if</math>
13. // вращаем массив D[ ]
14.<math>(D[3]; ~D[2]; ~D[1]; ~D[0]) \leftarrow (D[0]; ~D[3]; ~D[2]; ~D[1])</math>
15.<math>end-for</math>

Е-функция

E-функция принимает в качестве входных данных одно слово данных и использует ещё два ключевых слов, производя на выходе три слова. В этой функции мы используем три временные переменные, обозначаемые L, M и R (для левой, средней и правой).

Изначально мы устанавливаем в R значение исходного слова смещенного на 13 бит влево, а в M — сумма исходных слов и первого ключевого слова. Затем мы используем первые девять битов M как индекс к одной из 512 S-блоков (которое получается совмещением S₀ и S₁ смешиванием фазы), и сохраняем в L значение соответствующего S-блока.

Затем умножим второе ключевое слово на R, сохранив значение в R. Затем вращаем R на 5 позиций влево (так, 5 старших битов становятся 5 нижними битами R после вращения). Тогда мы делаем XOR R в L, а также просматриваем пять нижних бит R для определения величины сдвига (от 0 до 31), и вращаем M влево на эту величину. Далее мы вращаем R ещё на 5 позиций влево и делаем XOR в L. В заключении, мы вновь смотрим на 5 младших битов R, как на величину вращения и вращаем L на эту величину влево. Таким образом результат работы E-функции — 3 слова (по порядку): L, M, R.

Псевдокод

1. // используем 3 временные переменные L; M; R
2.<math>M = ~in + ~key1</math> //добавляем первое ключевое слово
3.<math>R = (in \lll 13) \otimes key2</math> // умножаем на второе ключевое слово, которое должно быть четным
4.<math>i = ~lowest ~9 ~bits ~of ~M</math>
5.<math>L = S \left [ i \right ]</math> // взятие S-блока
6.<math>R = R \lll 5</math>
7.<math>r = ~lowest ~5 ~bits ~of ~R</math> // эти биты описывают величину последующего вращения
8.<math>M = M \lll r</math> // первое вращение на переменную величину
9.<math>L = L \oplus R </math>
10.<math>R = R \lll 5</math>
11.<math>L = L \oplus R</math>
12.<math>r = ~lowest ~5 ~bits ~of ~R</math> // эти биты описывают величину последующего вращения
13.<math>L = L \lll r </math> // второе вращение на переменную величину
14.<math>output(L; ~M; ~R)</math>

Обратное перемешивание

Обратное перемешивание практически совпадает с прямым перемешиванием, за исключением того факта, что данные обрабатываются в обратном порядке. То есть, если бы мы совместили прямое и обратное перемешивание так, чтобы их выходы и входы были бы соединены в обратном порядке (D[0] прямого и D[3] обратного, D[1] прямого и D[2] обратного), то не увидели бы результата перемешивания. Как и в прямом смешивание, здесь мы тоже используем одно исходное слово и три целевых. Рассмотрим четыре первых байта исходного слова: b₀, b₁, b₂, b₃. Будем использовать b₀, b₂ как индекс к S-блоку — S₁, а b₁b₃ для S₀. Сделаем XOR S₁[b₀] в первое целевое слово, вычтем S₀[b₃] из второго слова, вычтем S₁[b₂] из третьего целевого слов и затем проделаем XOR S₀[b₁] также к третьему целевому слову. Наконец, мы поворачиваем исходное слово на 24 позиций влево. Для следующего раунда мы вращаем имеющиеся слова так, чтобы нынешнее первое целевое слово стало следующим исходным словом, текущее второе целевое слово стало первым целевым словом, текущее третье целевое слово стало вторым целевым словом, и текущее исходное слово стало третьим целевым словом. Кроме того, перед одним из четырёх «особенных» раундов мы вычитаем одно из целевых слов из исходного слова: перед четвёртым и восьмым раундами мы вычитаем первое целевое слово, перед третьем и седьмым раундами мы вычтем третье целевое слово из исходного.

Псевдокод

1. // Проводим 8 раундов обратного перемешивания
2.<math> for ~i ~= ~0 ~to ~7 ~do</math>
3. // дополнительные операции смешивания
4. <math>if ~i ~= ~2 ~or ~6 ~then</math>
5.      <math>D[0] = D[0] - ~D[3]</math> //вычитаем D[3] из исходного слова
6. <math>if ~i ~= ~3 ~or ~7 ~then</math>
7.     <math>D[0] = D[0] - ~D[1]</math> // вычитаем D[1] из исходного слова
8. // обращаемся к четырём элементам S-блоков
9.<math>D[1] = D[1] \oplus S1[ ~low ~byte ~of ~D[0] ]</math>
10.<math>D[2] = D[2] - ~S0[ ~high ~byte ~of ~D[0] ]</math>
11.<math>D[3] = D[3] \oplus S1[ ~3rd ~byte ~of ~D[0] ]</math>
12.<math>D[3] = D[3] - ~S0[ ~2nd ~byte ~of ~D[0] ]</math>
13. // и вращаем исходное слово влево
14.<math>D[0] = D[0] \lll 24</math>
15. // вращаем массив D[]
16.<math>(D[3]; D[2]; D[1]; D[0]) \leftarrow  (D[0]; D[3]; D[2]; D[1])</math>
17.<math>end-for</math>
18. // Вычитаем ключевое слово
19.<math>for ~i ~= ~0 ~to ~3 ~do</math>
20.        <math>D[i] = D[i] - ~K[36 + i]</math>

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

Процесс декодирования обратен процессу кодирования. Код дешифрования похож (но не идентичен) на код шифрования.

Прямое перемешивание

1. // Начальное наложение ключа 
2.<math>for ~i ~= ~0 ~to ~3 ~do</math>
3.<math>D\left [ i \right ] = D[i] + K[36 + i]</math>
4. // Затем проводим 8 раундов прямого перемешивания
5.<math>for ~i ~= ~7 ~down ~to ~0 ~do</math>
6. // вращаем массив D[]
7.<math>(D[3]; ~D[2]; ~D[1]; ~D[0]) \leftarrow (D[2]; ~D[1]; ~D[0]; ~D[3])</math>
8. // и вращаем исходное слово вправо
9.<math>D[0] = D[0] \ggg 24</math>
10. // обращаемся к 4-ем элементам S-блоков
11.<math>D[3] = D[3] \oplus S0[ ~2nd ~byte ~of ~D[0] ]</math>
12.<math>D[3] = D[3] + S1[ ~3rd ~byte ~of ~D[0] ]</math>
13.<math>D[2] = D[2] + S0[ ~high ~byte ~of ~D[0] ]</math>
14.<math>D[1] = D[1] \oplus S1[ ~low ~byte ~of ~D[0] ]</math>
15. // дополнительное смешивание
16.<math>if ~i ~= ~2 ~or ~6 ~then</math>
17.      <math>D[0] = D\left [ 0 \right ] + D[3]</math> // добавляем D[3] к исходному слову
18.<math>if ~i ~= ~3 ~or ~7 ~then</math>
29.      <math>D[0] = D\left [ 0 \right ] + D[1]</math> // добавляем D[1] к исходному слову
20.<math>end-for</math>

Криптографическое ядро

1. // Проведем 16 раундов при использование наложения ключа
2.<math>for ~i ~= ~15 ~down ~to ~0 ~do</math>
3. // вращаем массив D[]
4.<math>(D[3]; ~D[2]; ~D[1]; ~D[0]) \leftarrow (D[2]; ~D[1]; ~D[0]; ~D[3])</math>
5.<math>D[0] = D[0] \ggg 13</math>
6.<math>(out1; ~out2; ~out3) = E-function(D[0]; ~K[2i + 4]; ~K[2i + 5])</math>
7.<math>D[2] = D \left [ 2 \right ] - out2</math>
8.<math>if ~i ~< ~8 ~then</math> // последние 8 раундов в прямом порядке
9.      <math>D[1] = D\left [ 1 \right ] - out1</math>
10.     <math>D[3] = D[3] \oplus out3</math>
11.<math>else</math> // первые 8 раундов в обратном порядке
12.     <math>D[3] = D\left [ 3 \right ] - out1</math>
13.     <math>D[1] = D[1] \oplus out3</math>
14.<math>end-if</math>
15.<math>end-for</math>

Обратное перемешивание

1. // Проводим 8 раундов обратного перемешивания
2. <math>for ~i ~= ~7 ~down ~to ~0 ~do</math>
3. // Вращаем массив D[]
4.<math>(D[3]; ~D[2]; ~D[1]; ~D[0]) \leftarrow (D[2]; ~D[1]; ~D[0]; ~D[3])</math>
5. // дополнительные операции переммешивания
6.<math>if ~i ~= ~0 ~or ~4 ~then</math>
7.      <math>D[0] = D\left [ 0\right ] - D[3]</math> // вычитаем D[3] из исходного слова
8.<math>if ~i ~= ~1 ~or ~5 ~then</math>
9.      <math>D[0] = D\left [ 0 \right ] - D[1]</math> // вычитаем D[1] из исходного слова
10. // вращаем исходное слово влево
11.<math>D[0] = D[0] \lll 24</math>
12. // обращаемся к четырём элементами S-блоков
13.<math>D[3] = D[3] \oplus S1[ ~high ~byte ~of ~D[0] ]</math>
14.<math>D[2] = D[2] - S0[ ~3rd ~byte ~of ~D[0] ]</math>
15.<math>D[1] = D[1] - S1[ ~2nd ~byte ~of ~D[0] ]</math>
16.<math>D[1] = D[1] \oplus S0[ ~low ~byte ~of ~D[0] ]</math>
17.<math>end-for</math>
18. // вычитание подключа из данных
19.<math>for ~i ~= ~0 ~to ~3 ~do</math>
20.     <math>D[i] = D\left [ i\right ] - K[i]</math>

Особенности алгоритма

S-блоки

При создании S-блока S, его элементы генерировались псевдослучайным генератором, после чего тестировались на различные линейные и дифференциальные свойства. Псевдослучайные S-блоки были сгенерированы при следующих параметрах:

<math>i = 0\ldots102; j = 0\ldots4, S[5i+j] = \mathrm{SHA-1}(5i \vert c1 \vert c2 \vert c3)</math>

(где <math>SHA-1(j)</math> — есть j-ое слово на выходе SHA-1) Здесь считается, что i — 32-битное без знаковое, целое число, а c1, c2, c3 есть некоторые константы. В реализации IBM: c1 = 0xb7e15162; c2 = 0x243f6a88 (которые являются двоичной записью дробной части <math>e</math> и <math>\pi</math> соответственно). c3 изменялось пока не были подобраны S-блоки с подходящими свойствами. SHA-1 работает над потоками данных и использует прямой порядок байт.

Свойства S-блоков

Дифференциальные свойства.

S-блок не должен содержать слова, состоящие все 0 или 1
Каждые два S-блока S₀, S₁ должны отличаться друг от друга как минимум в 3 из 4 байтах.(так как выполнение этого условия для псевдослучайных S-блоков крайне маловероятно, то один из двух S-блоков модифицируется)
S-блок не содержит двух элементов <math> S[i], S[j](i \neq j)</math> таких, что <math>S \left [ i \right ] = S \left [ j \right ] ; S \left [ i \right ] = -S \left [ j \right ] </math> или <math>S \left [ i \right ] = -S\left [ j \right ] </math>
В S-блоке не существует двух пар элементов xor-отличия которых равны и двух пар элементов упорядоченная разность которых равна
Каждые два элемента S-блока должны отличаться хотя бы 4 битами

Требование №4 не выполнялось в реализации IBM для AES, но было поправлено сразу после финала.
Было замечено, что в S-блоках присутствуют следующие элементы, противоречащие этому требованию^[3]:

XOR	Вычитание
<math>S[27] \oplus S[101] = S[292] \oplus S[360] = 0x117f1a43</math>	<math>S \left [ 13 \right ] - S[138] = S[364]-S[297] = 0x75082c89 </math>
<math>S[27] \oplus S[292] = S[101] \oplus S[360] = 0x2b05b22a</math>	<math>S \left [ 19 \right ] -S[168] = S[509]-S[335] = 0x0b7fc4bd </math>
<math> S[27] \oplus S[360] = S[101] \oplus S[292] = 0x3a7aa869 </math>	<math> S \left [ 49 \right ] -S[97] = S[142]-S[392] = 0x725ca4be </math>
	<math>S \left [ 131 \right ] -S[333] = S[348]-S[211]= 0xc73689fe</math>
	<math>S \left [ 13 \right ] -S[364] = S[138]-S[297] = 0x86dedc7c</math>
	<math>S \left [ 131 \right ] -S[348] = S[333]-S[211]= 0x22492124</math>
	<math>S \left [ 19 \right ] -S[509] = S[168]-S[335] = 0x9ce0ed93</math>
	<math>S \left [ 49 \right ] -S[142] = S[97]-S[392] = 0x5d91f03a</math>

Линейные свойства

Соотношение смещения: <math>\left | Pr_x[parity(S[x]) = 0] - 1/2 \right |</math>. Необходимо, чтобы это выражение было больше хотя бы <math>1/32</math>
Однобитовое смещение: <math> \forall j \left | Pr_x[S[x]_j = 0] - 1/2 \right |</math> Необходимо, чтобы это выражение было больше хотя бы <math>1/30</math>
Двухбитовое смещение: <math> \forall j \left | Pr_x[S[x]_j \oplus S[x]_{j+1} = 0] - 1/2 \right |</math>. Необходимо, чтобы это выражение было больше хотя бы <math>1/30</math>
Однобитовая корреляция:<math> \forall i,j \left | Pr_x [S[x]_j = x_i] - 1/2 \right |</math>. Необходимо минимизировать это выражение среди всех возможных S-блоков, которые удовлетворяют предыдущим пунктам

Расширение ключа

процедура расширения ключа расширяет заданный массив ключей k[], состоящий из n 32-битных слов (где n целое число от 4 до 14) в массив K[] из 40 элементов. Исходный ключ не должен придерживаться какой-либо структуры. В дополнение, процедура расширения ключа гарантирует следующие свойства ключевого слова, используемого при перемножении в криптографическом ядре алгоритма:

два младших бита ключевого слова будут всегда единицами
ни одно из ключевых слов не будет содержать десять подряд идущих 0 или 1

Опишем алгоритм расширения ключа.

Сначала массив <math>k[]</math> полностью переписывается в промежуточный массив <math>T[]</math>, состоящий из 15 элементов. <math>T[0 \ldots n-1] = k[0 \ldots n-1]; T[n] = n; T[n + 1 \ldots 14] = 0</math>
Далее данный процесс повторяется 4 раза. На каждой итерации генерируются 10 слов расширенного ключа. <math>j</math> переменная отображающая текущий номер итерации.(для первой итерации 0, для второй 1 и т. д.)
1. Массив T[] преобразуется по следующему правилу:<math> i = 0 \ldots 14, T[i] = T[i] \oplus ((T[i - 7 \mod 15] \oplus T[i - 2 \mod 15]) \lll 3) \oplus (4i + j)</math>
2. Далее мы перемешиваем массив <math>T[]</math> при помощи 4 раундов Сети Фейстеля 1-го типа. Повторяем четыре раза следующую операцию: <math>T[i] = (T[i] + S[low ~9 ~bits ~of ~T[i - 1 \mod 15]]) \lll 9; i = 0,1\ldots14</math>
3. Далее берем десять слов из массива T[] и вставляем их в качестве следующих десяти слов в массив K[] ещё раз перемешав: <math>K[10j + i] = T[4i \mod 15]; i = 0,1 \ldots 9</math>
Окончательно, мы пробегаемся по шестнадцати словам, используемыми для перемножения(K[5],K[7]…K[35]) и модифицируем их для того, чтобы они соответствовали двум свойствам, описанным выше.
1. Записываем два младших бита K[i], по формуле <math> j = K[i] \land 3 </math>, а затем записываем вместо этих двух бит единицы, <math>w = K[i] \lor 3</math>.
2. Собираем маску M для битов w, которые принадлежат последовательностям из десяти и более нулей или единиц. К примеру, <math>M_l=1</math>, тогда и только тогда, когда <math>w_l</math> принадлежит последовательности из 10 или более одинаковых элементов. Тогда мы сбрасываем (выставляем их в 0) значения тех единиц M, которые находятся в концах нулевых или единичных последовательностей, а также тех единиц, которые находятся в старшем и младшем битах. К примеру, пусть наше слово выглядит так: <math>w = 0^{3}1^{13}0^{12}1011</math> (выражение <math>0^i</math> или же <math>1^i</math> обозначает, что 0 или 1 будут повторены в слове i раз). Тогда маска M будет выглядеть следующим образом: <math>0^{3}1^{25}0^{4}</math>. А значит мы сбрасываем биты в 4, 15, 16, 28 позициях, то есть <math> M = 0^{4}1^{11}001^{10}0^{5}</math>
3. Далее, для исправления, мы используем таблицу из четырёх слов B[]. Все элементы таблицы B подобраны так, что для них и для всех их цикличных сдвигов выполняется свойство, что в них нет семи подряд идущих 0 или 1. В реализации IBM использовалась таблица <math> B[] = \left \{ 0xa4a8d57b,0x5b5d193b, 0xc8a8309b, 0x73f9a978 \right \} </math>. Далее используются два записанных бита j для выбора слова из таблицы B, и используются младшие пять бит слова K[i-1] для вращения его элементов, <math> p = B[j] \lll (lowest ~5 ~bits ~of ~K[i-1]). </math>
4. Окончательно, делается XOR шаблона p на исходное слово, при учете маски М: <math> K[i] = w \oplus (p \land M)</math>. Стоит заметить, то что 2 младших бита М являются 0, то два младших бита итогового слова будут единицами, а использование таблицы B позволяет гарантировать, что в слове не будет 10 подряд идущих 0 или 1

Преимущества и недостатки алгоритма

Шифр был кандидатом AES, после небольших изменений в ходе первого раунда конкурса, связанных с изменением процедуры расширения ключа, MARS успешно прошёл в финал.

В финале конкурса у MARS был выделен целый ряд недостатков:

Сложная структура. Сложная гетерогенная структура алгоритма затрудняла не только его анализ, но и реализацию.
Реализация. Возникали проблемы при реализации шифра на платформах, которые не поддерживали операции 32-битного умножения и вращения на произвольное число бит.
Ограниченность ресурсов. Невозможность аппаратно реализовать алгоритм при малых ресурсах оперативной или же энергонезависимой памяти.
Защита. MARS оказался плохо защищен от атак по времени выполнения и потребляемой мощности.
Расширение ключа. MARS хуже других финалистов AES поддерживал расширение ключа «на лету».
Распараллеливаемость. Можно распараллелить лишь небольшую часть алгоритма.

На все эти недостатки экспертная комиссия выделила одно крупное достоинство данного алгоритма — его симметричность. Исходя из выделенных недостатков, MARS ожидаемо не стал победителем AES.

Ответ аналитикам AES

После оглашения результатов конкурса AES, группа создателей MARS выпустила свою рецензию на весь конкурс. В ней были поставлены под сомнение критерии оценки конкурса. Они считали, что главной характеристикой шифра должна быть именно надёжность и его стойкость (к примеру, к brute-force атакам) Кроме того они ответили на каждую претензию со стороны жюри к своему алгоритму.

1. MARS не подходит для аппаратной реализации Среди претензий к шифру были его трудная аппаратная реализация, которая могла повлечь за собой утяжеление работы Интернета, а также внедрение больших, по своим размерам, схем.

Разработчики утверждают, что их реализация способна работать со скоростью 1,28Гбит/сек, что является приемлемым для интернета, а стоимость их чипов может быть и высокая (13$ за 12Гбит/сек чип или 1$ за 1Гбит/сек чип), но в будущем их цена значительно упадет.

2. MARS не подходит для реализации на устройствах с малой памятью Для реализации на SMART картах есть у алгоритмов есть всего 128 байт памяти. Для процедуры расширения ключа MARS требует 512 байт.

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

3. MARS не подходит для реализации на ППВМ MARS не подходит для реализации на платформах, где не разрешено вращение(зависящих от сторонних факторов).

Разработчики отмечают, что эта проблема не является фатальной, а требует немного времени, для адаптации алгоритма к этой платформе

4. Расширение ключа MARS является очень тяжёлой операцией

Разработчики утверждают, что это смешное утверждение. Они утверждают, что у них соблюдена «идеальная» пропорция между дополнительной памятью на ключ и пропускной способностью(25 байт на ключ)

В заключении разработчики приводят свой анализ алгоритмов участников AES,по результатам которого MARS, наряду с Serpent, являлся лучшим кандидатом на звание AES.^[1]

Анализ безопасности алгоритма

В настоящее время нет эффективных атак на данный алгоритм. Хотя у него есть несколько слабых сторон^[1]:

Подключи с большим количеством повторяющихся нулей или единиц могут привести к эффективным атакам на MARS, так как на их основании будут сгенерированы слабые подключи.
Два младших бита, используемых при перемножении всегда единицы. Таким образом всегда есть два входных бита, которые неизменны в ходе процесса умножения на ключ, а также два выходных бита, независимых от ключа.

Литература

Шаблон:Source

Примечания

Шаблон:Примечания

Ссылки

Шаблон:Симметричные криптоалгоритмы

↑ ^1,0 ^1,1 ^1,2 Шаблон:Cite web
↑ Этапы 3 и 4 называются «криптографическим ядром» алгоритма MARS
↑ Шаблон:Cite web

[autogenerated1-1] 1,0 ^1,1 ^1,2 Шаблон:Cite web

[2] Этапы 3 и 4 называются «криптографическим ядром» алгоритма MARS

[3] Шаблон:Cite web

[1]

[2]

[3]

Партнерские ресурсы
Криптовалюты	Обмен криптовалют - www.bestchange.ru Криптовалютная биржа CoinEx Криптовалютная биржа Binance HIVE OS - операционная система для майнинга e4pool - Мультивалютный пул для майнинга.
Магазины	AliExpress — глобальная виртуальная (в Интернете) торговая площадка, предоставляющая возможность покупать товары производителей из КНР; computeruniverse.net - Интернет-магазин компьютеров(Промо код 5 Евро на первую покупку:FWWC3ZKQ);
Хостинг	DigitalOcean - американский провайдер облачных инфраструктур, с главным офисом в Нью-Йорке и с центрами обработки данных по всему миру;
Разное	Викиум - Онлайн-тренажер для мозга Like Центр - Центр поддержки и развития предпринимательства. Gamersbay - лучший магазин по бустингу для World of Warcraft. Ноотропы OmniMind N°1 - Усиливает мозговую активность. Повышает мотивацию. Улучшает память. Санкт-Петербургская школа телевидения - это федеральная сеть образовательных центров, которая имеет филиалы в 37 городах России. Lingualeo.com — интерактивный онлайн-сервис для изучения и практики английского языка в увлекательной игровой форме. Junyschool (Джунискул) – международная школа программирования и дизайна для детей и подростков от 5 до 17 лет, где ученики осваивают компьютерную грамотность, развивают алгоритмическое и креативное мышление, изучают основы программирования и компьютерной графики, создают собственные проекты: игры, сайты, программы, приложения, анимации, 3D-модели, монтируют видео. Умназия - Интерактивные онлайн-курсы и тренажеры для развития мышления детей 6-13 лет SkillBox - это один из лидеров российского рынка онлайн-образования. Среди партнеров Skillbox ведущий разработчик сервисного дизайна AIC, медиа-компания Yoola, первое и самое крупное русскоязычное аналитическое агентство Tagline, онлайн-школа дизайна и иллюстрации Bang! Bang! Education, оператор PR-рынка PACO, студия рисования Draw&Go, агентство performance-маркетинга Ingate, scrum-студия Sibirix, имидж-лаборатория Персона. «Нетология» — это университет по подготовке и дополнительному обучению специалистов в области интернет-маркетинга, управления проектами и продуктами, дизайна, Data Science и разработки. В рамках Нетологии студенты получают ценные теоретические знания от лучших экспертов Рунета, выполняют практические задания на отработку полученных навыков, общаются с экспертами и единомышленниками. Познакомиться со всеми продуктами подробнее можно на сайте https://netology.ru, линейка курсов и профессий постоянно обновляется. StudyBay Brazil – это онлайн биржа для португалоговорящих студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт. Автор24 — самая большая в России площадка по написанию учебных работ: контрольные и курсовые работы, дипломы, рефераты, решение задач, отчеты по практике, а так же любой другой вид работы. Сервис сотрудничает с более 70 000 авторов. Более 1 000 000 работ уже выполнено. StudyBay – это онлайн биржа для англоязычных студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт.

Русская Википедия:MARS (криптография)

Содержание

Краткое описание алгоритма

Структура алгоритма

Прямое перемешивание

Псевдокод

Криптографическое ядро

Псевдокод

Е-функция

Псевдокод

Обратное перемешивание

Псевдокод

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

Прямое перемешивание

Криптографическое ядро

Обратное перемешивание

Особенности алгоритма

S-блоки

Свойства S-блоков

Расширение ключа

Преимущества и недостатки алгоритма

Ответ аналитикам AES

Анализ безопасности алгоритма

Литература

Примечания

Ссылки

Навигация

Действия на странице

Действия на странице

Персональные инструменты

Навигация

Поиск

Инструменты