KHAZAD

KHAZAD
Создатель	Винсент Рэймен и Пауло Баррето
Создан	2000 г.
Опубликован	2000 г.
Размер ключа	128 бит
Размер блока	64 бит
Число раундов	8
Тип	Подстановочно-перестановочная сеть

KHAZAD — в криптографии симметричный блочный шифр, разработанный двумя криптографами: бельгийцем Винсентом Рэйменом (автор шифра Rijndael) и бразильцем Пауло Баррето^[англ.]. В алгоритме используются блоки данных размером 64 бита (8 байт) и ключи размером 128 бит. KHAZAD был представлен на европейском конкурсе криптографических примитивов NESSIE в 2000 году, где в модифицированной (tweaked) форме стал одним из алгоритмов-финалистов (но не победителем).^[1]

Предшественником алгоритма KHAZAD считается разработанный в 1995 г. Винсентом Рэйменом и Йоаном Дайменом шифр SHARK. Авторы KHAZAD утверждают, что в основе алгоритма лежит стратегия разработки криптографически стойких алгоритмов шифрования (Wide-Trail strategy), предложенная Йоаном Дайменом.^[2]

Алгоритм KHAZAD имеет консервативные параметры и создан для замены существующих шифров с 64 битным блоком, таких как IDEA и DES, обеспечивая более высокий уровень безопасности при высокой скорости выполнения.^{[источник не указан 2888 дней]}

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

KHAZAD — итеративный блочный шифр с размером блока 64 бита и 128-битным ключом. Входной блок данных представляется в виде строки из 8 байт.

S-блок и матрица перемешивания выбраны таким образом, который гарантирует, что шифрование и расшифрование — одна и та же операция (инволюция), за исключением раундовых подключей.

KHAZAD, как и алгоритм AES (Rijndael), принадлежит к семейству блочных шифров, произошедших от шифра SHARK.^[3][4]

Основные отличия от SHARK представлены в таблице^[1]:

Основные различия между шифрами KHAZAD и SHARK

	SHARK	KHAZAD
Количество раундов	6	8
Расписание (расширение) ключа	Аффинное преобразование, полученное в результате работы шифра в режиме обратной связи по шифрованному тексту	Схема Фейстеля, где функцией Фейстеля является раундовая функция шифра
Неприводимый многочлен поля ${\displaystyle \mathbb {GF} (2^{8})}$	${\displaystyle x^{8}+x^{7}+x^{6}+x^{5}+x^{4}+x^{2}+1}$ (0x1F5)	${\displaystyle x^{8}+x^{4}+x^{3}+x^{2}+1}$ (0x11D)
Реализация S-блока	Отображение ${\displaystyle u\rightarrow u^{-1}}$ в поле ${\displaystyle \mathbb {GF} (2^{8})}$ + аффинное преобразование	Рекурсивная структура P- и Q-миниблоков
Реализация матрицы перемешивания	Код Рида-Соломона	Инволюционный MDS-код

Первоначальный вариант шифра KHAZAD (названный KHAZAD-0) сейчас является устаревшим. Текущий (финальный) вид шифра был модифицирован («tweaked»), чтобы адаптировать его под аппаратную реализацию. В этой форме KHAZAD и был признан финалистом NESSIE. Модификация не затронула базовую структуру шифра. В нём S-блок, который первоначально генерировался полностью случайно (без чёткого определения какой-либо внутренней структуры), заменен на рекурсивную структуру: новый блок замены 8x8 составлен из маленьких псевдослучайно генерируемых 4x4 мини-блоков (P- и Q-блоки).^[1]

Применением к ключу ${\displaystyle K}$ процедуры расширения ключа получают набор раундовых ключей ${\displaystyle k_{0}...k_{8}}$.

Алгоритм включает 8 раундов, каждый из которых состоит из 3 этапов:

• нелинейное преобразование ${\displaystyle \gamma }$
• линейное преобразование ${\displaystyle \theta }$
• добавление раундового ключа ${\displaystyle \sigma }$

Перед первым раундом выполняется отбеливание — ${\displaystyle \sigma (k_{0})}$. Операция ${\displaystyle \theta }$ не выполняется в последнем раунде.

В операторном виде алгоритм записывается следующим образом:

Шифрование: ${\displaystyle (\sigma [k_{8}]\circ \gamma )\circ (\sigma [k_{7}]\circ \theta \circ \gamma )\circ ...\circ (\sigma [k_{1}]\circ \theta \circ \gamma )\circ \sigma [k_{0}]}$

Расшифрование: ${\displaystyle (\sigma [k_{0}]\circ \gamma )\circ (\sigma [\theta (k_{1})]\circ \theta \circ \gamma )\circ ...\circ (\sigma [\theta (k_{7})]\circ \theta \circ \gamma )\circ \sigma [k_{8}]}$

Набор раундовых ключей ${\displaystyle k_{0}...k_{8}}$ получают путём применения к ключу шифрования ${\displaystyle K}$ процедуры расширения ключа.

Раундовое преобразование можно записать так: ${\displaystyle \rho [k]=\sigma [k]\circ \theta \circ \gamma }$ .

В каждом раунде входной блок разбивается на 8 байт, которые независимо подвергаются нелинейному преобразованию (замене), то есть параллельно проходят через одинаковые S-блоки (каждый S-блок — 8x8 бит, то есть 8 бит на входе и 8 бит на выходе). Блоки замены в оригинальном и модифицированном (tweaked) шифре различаются. Блок замены подобран таким образом, чтобы нелинейное преобразование было инволюционным, то есть ${\displaystyle \gamma =\gamma ^{-1}}$ или ${\displaystyle \gamma (\gamma (x))=x}$.

8-байтная строка данных умножается побайтно на фиксированную матрицу ${\displaystyle H}$ размера 8 х 8, причём умножение байт производится в поле Галуа ${\displaystyle \mathbb {GF} (2^{8})}$ с неприводимым полиномом ${\displaystyle x^{8}+x^{4}+x^{3}+x^{2}+1}$ (0x11D).

${\displaystyle \theta (x)=x\times H}$

В вышеупомянутом поле Галуа матрица ${\displaystyle H}$ является симметричной (${\displaystyle a_{ij}=a_{ji}}$, ${\displaystyle H=H^{T}}$) и ортогональной (${\displaystyle H^{-1}=H^{T}}$). То есть ${\displaystyle H^{-1}=H}$ и преобразование, задаваемое этой матрицей является инволюцией: ${\textstyle \theta (\theta (x))=x\times H\times H=x\times H\times H^{-1}=x\times E=x}$, где ${\displaystyle E}$ — единичная матрица

Над 64-битным блоком данных и 64-битным раундовым ключом выполняется побитовая операция XOR.

128-битный (16-байтный) ключ ${\displaystyle K}$ разбивается на 2 равные части:

• ${\displaystyle k_{-1}}$ — старшие 8 байт (с 15-го по 8-й)
• ${\displaystyle k_{-2}}$ — младшие 8 байт (с 7-го по 0-й)

Ключи ${\displaystyle k_{0}...k_{8}}$ вычисляются по схеме Фейстеля:

${\displaystyle k_{i}=f(C_{i},k_{i-1})\oplus k_{i-2}}$

Здесь:

${\displaystyle f(x,y)}$ — функция раунда алгоритма с входным блоком ${\displaystyle x}$ и ключом ${\displaystyle y}$.

${\displaystyle C_{i}}$ — 64-битная константа, ${\displaystyle j}$-й байт которой ${\displaystyle C_{i}^{j}=S(8i+j)}$.

В первоначальном варианте шифра (KHAZAD-0) табличная замена представлялась классическим S-блоком и описывалась следующей матрицей:

Данная таблица полностью эквивалентна используемой в алгоритме Anubis (ещё один алгоритм, разработанный и представленный на конкурс NESSIE теми же авторами).^[2]

Любая булева функция ${\displaystyle f:GF(2)^{n}\rightarrow GF(2)}$ может быть представлена в виде полинома Жегалкина (алгебраическая нормальная форма). Нелинейным порядком функции ${\displaystyle f}$ называется порядок полинома Жегалкина, то есть максимальный из порядков его членов.

Если ${\displaystyle \alpha \in GF(2)^{n}}$, введем функцию ${\displaystyle l_{\alpha }=\bigoplus _{i=0}^{n-1}\alpha _{i}\cdot x_{i}}$, ${\displaystyle l_{\alpha }:GF(2)^{n}\rightarrow GF(2)}$

Блок замены — это отображение ${\displaystyle GF(2^{n})\rightarrow GF(2^{n})}$. Также, на него можно смотреть как на отображение ${\displaystyle GF(2)^{n}\rightarrow GF(2)^{n}}$.

${\displaystyle S[x]=(s_{0}(x),...,s_{n-1}(x))}$, где ${\displaystyle s_{i}:GF(2)^{n}\rightarrow GF(2),0\leqslant i\leqslant n-1}$

Нелинейный порядок S-блока ${\displaystyle S}$ — ${\displaystyle \nu _{s}}$ — минимальный нелинейный порядок среди всех линейных комбинаций компонентов ${\displaystyle S}$: ${\displaystyle \nu _{s}\equiv \min _{\alpha \in GF(2)^{n}}\nu (l_{\alpha }\circ S)}$

${\displaystyle \delta }$-параметр S-блока: ${\displaystyle \delta _{S}\equiv 2^{-n}\cdot \max _{a\neq 0,b}\{c\in GF(2^{n})\mid S[c\oplus a]\oplus S[c]=b\}}$, значение ${\displaystyle 2^{n}\cdot \delta }$ называется дифференциальной равномерностью ${\displaystyle S}$

Корреляция двух булевых функций ${\displaystyle c(f,g)\equiv 2^{1-n}\cdot \{x\mid f(x)=g(x)\}-1}$

${\displaystyle \lambda }$-параметр S-блока: ${\displaystyle \lambda _{S}\equiv \max _{(i,j)\neq (0,0)}\left\vert c(l_{i},l_{j}\circ S)\right\vert }$

В шифре KHAZAD-0 используется псевдорандомно сгенерированный S-блок, удовлетворяющий следующим требованиям:

• должен быть инволюцией
• ${\displaystyle \delta }$-параметр не должен превышать значение ${\displaystyle 8\times 2^{-8}}$
• ${\displaystyle \lambda }$-параметр не должен превышать значение ${\displaystyle 16\times 2^{-6}}$
• нелинейный порядок ${\displaystyle \nu }$ должен быть максимальным, а именно, равным 7

Пользуясь возможностью незначительного изменения алгоритма в течение первого раунда конкурса, авторы Khazad также внесли изменения в свой алгоритм. В новом варианте спецификации алгоритма исходный алгоритм Khazad назван Khazad-0, а название Khazad присвоено модифицированному алгоритму.^[2] (Панасенко С. П. «Алгоритмы шифрования. Специальный справочник»)

В модифицированной версии шифра S-блок 8x8 изменён и представлен рекурсивной структурой, состоящей из мини-блоков P и Q, каждый из которых является маленьким блоком замены с 4 битами на входе и выходе (4x4).

Рекурсивная структура блока замены в модифицированном шифре KHAZAD:^[6]

Данная структура P- и Q-миниблоков эквивалентна S-блоку со следующей таблицей замены:^[1]

Из таблиц легко заметить, что как в первоначальном варианте, так и в модифицированном S-блоки являются инволюционными, то есть ${\displaystyle S(S(x))=x}$.

Предполагается, что KHAZAD является криптостойким настолько, насколько криптостойким может быть блочный шифр с данными длинами блока и ключа.

Это подразумевает, помимо прочего, следующее:

• наиболее эффективной атакой на нахождение ключа для шифра KHAZAD является полный перебор.
• получение из данных пар открытый текст — шифротекст, информации о других таких парах не может быть осуществлено более эффективно, чем нахождение ключа методом полного перебора.
• ожидаемая сложность поиска ключа методом полного перебора зависит от битовой длины ключа и равна ${\displaystyle 2^{127}}$ применительно к шифру KHAZAD.

Такой большой запас надежности закладывался в шифр с учётом всех известных атак.^[1]

Существуют атаки лишь на усеченный вариант шифра с 5 раундами (Frédéric Muller, 2003).^[7]

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

— Панасенко С. П. "Алгоритмы шифрования. Специальный справочник"^[2]

Шифр KHAZAD не был (и никогда не будет) запатентован. Он может использоваться бесплатно для любых целей.^[1]

Оригинальный текст (англ.)

KHAZAD is not (and will never be) patented. It may be used free of charge for any purpose.^[1]

Шифр назван в честь Кхазад-дума (Khazad-dûm) или Мории — огромного подземного королевства гномов в Мглистых горах Средиземья из трилогии Дж. Р. Р. Толкиена «Властелин колец».^[1]

• SHARK
• AES

• Панасенко С. П. Алгоритмы шифрования. Специальный справочник. —СПб.: БХВ-Петербург, 2009. — 576 с.: ил. ISBN 978-5-9775-0319-8

• Официальная страница шифра KHAZAD
• Paulo S.L.M. Barreto and Vincent Rijmen. The KHAZAD Legacy-Level Block Cipher (tweaked, KHAZAD). In First Open NESSIE Workshop, KU-Leuven, 2000. Modificated submission to NESSIE selected for 2nd Phase.
• Paulo S.L.M. Barreto and Vincent Rijmen. The KHAZAD Legacy-Level Block Cipher (original, KHAZAD-0). Original submission to NESSIE.
• Alex Biryukov. Analysis of Involutional Ciphers: Khazad and Anubis. In T. Johansson, editor, Fast Software Encryption — 2003, Lectures Notes in Computer Science. Springer, 2003.
• Frédéric Muller. A New Attack against Khazad. Advances in Cryptology
• List of NESSIE submissions as originally submitted
• Modifications to NESSIE submissions selected for 2nd Phase
• Deliverables of the NESSIE project
• NESSIE Public Report D14: Report on the Performance Evaluation of NESSIE Candidates I
• NESSIE Public Report D18: Update on the selection of algorithms for further investigation during the second round.