Abstract:
In this paper we study the inversion problem of MD4 cryptographic hash function developed by R. Rivest
in 1990. By MD4-k we denote a truncated variant of MD4 hash function in which k represents a number of
steps used to calculate a hash value (the full version of MD4 function corresponds to MD4-48). H. Dobbertin has
showed that MD4-32 hash function is not one-way, namely, it can be inverted for the given image of a random
input. He suggested to add special conditions to the equations that describe the computation of concrete steps
(chaining variables) of the considered hash function. These additional conditions allowed to solve the inversion
problem of MD4-32 within a reasonable time by solving corresponding system of equations. The main result of
the present paper is an automatic derivation of “Dobbertin’s conditions” using parallel SAT solving algorithms.
We also managed to solve several inversion problems of functions of the kind MD4-k (for k from 31 up to 39
inclusive). Our method significantly outperforms previously existing approaches to solving these problems. В статье исследуется задача обращения криптографической хеш-функции MD4, разработанной Р.
Ривестом в 1990 году. Через MD4-k обозначается вариант данной функции, в которой параметр k обозначает
количество шагов используемых для вычисления хеш-значения (при k=48 имеем полнораундовую версию
MD4). В работах Г. Доббертина было показано, что хеш-функция MD4-32 не является односторонней, т.е.
для нее может быть решена задача обращения. С этой целью к уравнениям, описывающим конкретные шаги
алгоритма вычисления данной функции, были добавлены дополнительные условия на значения некоторых
переменных сцепления (chaining variables). Эти дополнительные условия позволили за приемлемое время
решить задачу обращения хеш-функции MD4-32 путем решения сооответствующей системы уравнений.
Основным результатом представляемой статьи является автоматический вывод условий подобных условиям
Доббертина (“Dobbertin’s conditions”) при помощи параллельных алгоритмов решения проблемы булевой
выполнимости (SAT). Также с использованием данных алгоритмов были решены некоторые задачи
обращения функции MD4-k для значений параметра k от 31 до 39 включительно. Стоит отметить, что
предложенный метод существенно превосходит по эффективности описанные ранее подходы к решению
данной проблемы.
Descrizione:
Грибанова Ирина Александровна, аспирант, лаборатория 3.2, Институт динамики
систем и теории управления имени В.М. Матросова СО РАН (Иркутск, Российская
Федерация).Заикин Олег Сергеевич, к.т.н., с.н.с., лаборатория 3.2, Институт динамики систем и
теории управления имени В.М. Матросова СО РАН (Иркутск, Российская Федерация).
Отпущенников Илья Владимирович, к.т.н., н.с., лаборатория 3.2, Институт динамики
систем и теории управления имени В.М. Матросова СО РАН (Иркутск, Российская
Федерация).
Семёнов Александр Анатольевич, доцент, к.т.н., зав. лабораторией 3.2, Институт
динамики систем и теории управления имени В.М. Матросова СО РАН (Иркутск,
Российская Федерация). I.A. Gribanova, O.S. Zaikin, I.V. Otpuschennikov,
A.A. Semenov
Matrosov Institute for System Dynamics and Control Theory SB RAS
(Lermontova st. 134, Irkutsk, 664033, Russia)
E-mail: the42dimension@gmail.com, zaikin.icc@gmail.com, otilya@yandex.ru,
biclop.rambler@yandex.ru