Обращение 29-шаговой функции сжатия MD5 при помощи алгоритмов решения проблемы булевой выполнимости

Криптографическая хеш-функция MD5 предложена в 1992 г. Ключевым компонентом MD5 является 64-шаговая функция сжатия. До сих пор не представляется возможным обратитв функцию сжатия MD5 за реалвное время, поэтому зачастую в данном контексте анализируются версии с сокращённым количеством шагов. В 2007 г...

Full description

Bibliographic Details
Published in:Прикладная дискретная математика. Приложение № 16. С. 36-40
Main Author: Заикин, Олег Сергеевич
Format: Article
Language:Russian
Subjects:
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001005910
LEADER 02917nab a2200313 c 4500
001 koha001005910
005 20230919173535.0
007 cr |
008 230914|2023 ru s c rus d
024 7 |a 10.17223/2226308Х/16/10  |2 doi 
035 |a koha001005910 
040 |a RU-ToGU  |b rus  |c RU-ToGU 
100 1 |a Заикин, Олег Сергеевич 
245 1 0 |a Обращение 29-шаговой функции сжатия MD5 при помощи алгоритмов решения проблемы булевой выполнимости  |c О. С. Заикин 
336 |a Текст 
337 |a электронный 
504 |a Библиогр.: 16 назв. 
520 3 |a Криптографическая хеш-функция MD5 предложена в 1992 г. Ключевым компонентом MD5 является 64-шаговая функция сжатия. До сих пор не представляется возможным обратитв функцию сжатия MD5 за реалвное время, поэтому зачастую в данном контексте анализируются версии с сокращённым количеством шагов. В 2007 г. с помощвю алгоритмов решения проблемы булевой выполнимости (SAT) была обращена 26-шаговая функции сжатия MD5. В 2012 г. с помощвю SAT были обращены 27- и 28-шаговые версии. В настоящем исследовании предлагается подход к формированию 32 промежуточных задач обращения между парой после-дователвных шагов функции сжатия MD5. С помощвю этого подхода построены промежуточные задачи обращения между 28 и 29 шагами. Несколвко простых задач исполвзованы для параметризации современного SAT-решателя, в резулвтате чего впервые обращена 29-шаговая функция сжатия А 11)5. 
653 |a криптографические хеш-функции 
653 |a MD5, алгоритм хеширования 
653 |a алгебраический криптоанализ 
653 |a проблема булевой выполнимости 
653 |a логический криптоанализ 
655 4 |a статьи в журналах 
773 0 |t Прикладная дискретная математика. Приложение  |d 2023  |g  № 16. С. 36-40  |x 2226-308X  |w to000620992 
852 4 |a RU-ToGU 
856 4 |u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001005910 
908 |a статья 
999 |c 1005910  |d 1005910