RUS  ENG
Полная версия
ЖУРНАЛЫ // Прикладная дискретная математика. Приложение // Архив

ПДМ. Приложение, 2024, выпуск 17, страницы 90–93 (Mi pdma650)

Математические методы криптографии

Нахождение прообраза 44-шаговой функции сжатия MD4 при ослабленном последнем шаге

О. С. Заикинab

a Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук, г. Иркутск
b Математический центр в Академгородке, г. Новосибирск

Аннотация: Основным компонентом криптографической хеш-функции MD4 является 48-шаговая функция сжатия. В 2007 г. прообраз 39-шаговой функции сжатия MD4 был найден с помощью CDCL — основного полного алгоритма решения проблемы булевой выполнимости (SAT). В 2022 г. с помощью параллельного SAT-алгоритма Cube-and-Conquer был найден прообраз 43-шаговой функции сжатия MD4. В настоящей работе исследуется 44-шаговая версия функции сжатия MD4, такая, что 44-й шаг ослаблен разными способами. С помощью Cube-and-Conquer найдены прообразы нескольких таких функций. На основе решённых задач предложена оценка времени, необходимого для нахождения прообраза 44-шаговой функции сжатия MD4.

Ключевые слова: криптографическая хеш-функция, MD4, атака нахождения прообраза, логический криптоанализ, проблема булевой выполнимости, SAT.

УДК: 004.8

DOI: 10.17223/2226308X/17/20



© МИАН, 2025