CC BY
34
issn 2079-3316 ПРОГРАММНЫЕ СИСТЕМЫ: ТЕОРИЯ И ПРИЛОЖЕНИЯ №1(24), 2015, с. 135-145 УДК 519.682.3
А. А. Кузнецов
Исследование криптостойкости протокола аутентификации BotikKey к компрометации уязвимостей алгоритма хеширования MD5
Аннотация. В работе приведен анализ уязвимостей сетевого протокола BotikKey, который используется в системе телекоммуникаций «Ботик» г. Пе-реславля-Залесского для аутентификации абонентских подключений. Протокол разработан в рамках подхода Ботик-технологий, согласно которому все программно-аппаратное обеспечение сети «Ботик» является либо свободно-распространяемым, либо разработано собственными усилиями компании-провайдера. Дано описание назначения протокола и деталей реализации, и перечислены уязвимости, связанные с использованием алгоритма хеширования MD5. Приведены возможные способы компрометации протокола BotikKey, в том числе APOP-атака, целью которой является подбор пароля доступа. Даны рекомендации провайдеру услуг связи системы телекоммуникаций «Ботик» по отказу от системы BotikKey, либо переходу на более актуальные средства аутентификации абонентов.
Ключевые слова и фразы: протокол BotikKey, безопасная аутентификация, криптография, алгоритм MD5, APOP-атака.
Введение
В телекоммуникационной сети «Ботик» г. Переславля-Залесского клиент-серверный протокол BotikKey применяется с 2003 года для аутентификации абонентов. С 2007 года использование клиентской программы BotikKey из набора программ «BotikTools» [1,2] стало обязательным для постоянных подключений абонентов СТ «Ботик».
Данная работа посвящена описанию протокола и встроенных в него методов защиты от компрометации. В данном контексте под компрометацией понимается ситуация, при которой злоумышленнику удалось выдать себя за добросовестного абонента и аутентифициро-вать свой компьютер на BotikKey-сервере.
© © ©
А. А. Кузнецов, 2015
Институт программных систем имени А. К. Айламазяна РАН, 2015 Программные системы: теория и приложения, 2015
1. Ключевые слова и термины
Запрос (challenge): key-сервер присылает программе BotikKey запрос, на который от имени абонента нужно правильно ответить, используя пароль (ключ) доступа данного абонента к сети. Ответ (response): по полученному запросу и по паролю (ключу) доступа программа BotikKey строит ответ и передает его Key-серве-ру.
Используются принципы, основанные на том, что если известен правильный пароль можно построить правильный ответ и тем самым подтвердить право абонента на доступ к сети. Если на свой запрос Key-сервер получает правильный ответ (то есть, ответ соответствует паролю абонента), то Key-сервер признает, что с ним общается именно «тот самый абонент». В противном случае Key-сервер отвергает попытку выдать себя за абонента и перекрывает доступ к сети.
Пропуск в сеть: в случае признания Key-сервером ответа, абонент получает право пользования сетью (при наличии неизрасходованной предоплаты на лицевом счету абонента). Пароль и ключ доступа: пароль обычно подбирается таким, чтобы он был достаточно сложным, но легко запоминался бы пользователем.
Для хранения на диске в файле хранится не пароль, а построенная по паролю некоторая строка символов — ключ. Программе BotikKey достаточно либо задать пароль, либо предоставить файл с ключом доступа — в обоих случаях она с одинаковым успехом будет строить ответы на запросы Key-сервера.
При помощи программы BotikKey можно запросить у Key-сервера различный режим (регион) доступа для своего компьютера:
WORLD: разрешение для данного компьютера как на внутренние
(внутри СТ «Ботик»), так и на внешние обмены; LOCAL: разрешение для данного компьютера только внутренних
(внутри СТ «Ботик») обменов, запрет на внешние обмены; NONE: запрет для данного компьютера на все обмены: как внутренние (внутри СТ «Ботик»), так и внешние.
Абонент может иметь несколько паролей доступа; у каждого пароля определяется свой предельный режим доступа: WORLD, LOCAL или NONE.
WORLD-ключ: имея пароль с предельным режимом WORLD, можно успешно запросить у Key-сервера любой доступ (WORLD, LOCAL или NONE).
LOCAL-ключ: имея пароль с предельным режимом LOCAL, можно успешно запросить у Key-сервера только доступ LOCAL или NONE, а доступ WORLD получить невозможно: если при помощи LOCAL-ключа будет запрошен доступ WORLD, то Key-сервер предоставит доступ LOCAL.
NONE-ключ: имея пароль с предельным режимом NONE, можно успешно запросить у Key-сервера только доступ NONE, а доступ WORLD или LOCAL получить невозможно: если при помощи LOCAL-ключа будет запрошен доступ WORLD или LOCAL, то Key-сервер предоставит только доступ NONE.
2. Сетевой протокол BotikKey
В СТ «Ботик» клиент-серверный текстовый протокол BotikKey применяется при аутентификации подключений абонентов. В описании протокола используются следующие обозначения:
random: случайная строка из алфавита — .0123456789 region: запрашиваемый регион доступа — одна из строк: WORLD, LOCAL, NONE;
challenge: запрос, как правило представляющий собой ЫБ5-сумму
от случайной строки; accessKey: ключ доступа, представляющий собой хеш-сумму от пароля BotikKey (результат применения к паролю функции хеширования MD5, запись в 16-ричном формате); salt: конкатенация строк challeng&random region.
Аутентификация клиента на сервере происходит каждую минуту по следующей схеме:
(1) клиент устанавливает незащищенное socket-соединение с Key-сервером;
(2) сервер посылает клиенту строку-приветствие и затем строку
- BotikKey server: —
1 CHALLENGE challenge
запроса; (3) клиент посылает в формате
- BotikKey client: —
1 RESPONSE secret random region
ответ, в котором secret=MD5(salt-accessKey) это результат применения хеш-алгоритма MD5 к конкатенации строк;
(4) сервер проверяет эту информацию: первый аргумент у RESPONSE должен совпадать с хеш-суммой, вычисленной на Key-сервере от этой же конкатенации строк. Если совпадение произошло, то сервер отвечает
- BotikKey server: —
1 GOOD region
и клиент аутентифицирован. В противном случае доступ в сеть перекрывается и клиенту отправляется строка SORRY, иногда с указанием конкретной причины.
Key-сервер как правило установлен на шлюзе (IP-gateway). Успех аутентификации клиента на сервере означает, что ему предоставляется доступ в сеть Интернет. Ошибка аутентификации означает перекрытие каналов связи для данного подключения. Регулирование доступа производится на Linux-шлюзе средствами iptables.
3. Алгоритм хеширования MD5
Хеш-функции представляют собой односторонние функции, преобразующие входную строку произвольной длины в строку фиксированной длины (хеш-сумму). Хеш-сумму можно рассматривать как подпись исходного сообщения, что, например, позволяет после передачи информации по каналам связи проверить подлинность переданной информации. Хеш-функции спроектированы так, чтобы было просто вычислить хеш-сумму сообщения, но было бы тяжело восстановить исходное сообщение. Они имеют широкий диапазон применений: аутентификация, проверка целостности сообщений, цифровые сертификаты и цифровые подписи.
Безопасность применений хеш-функции зависит от ее крипто-стойкости. Чтобы хеш-функцию можно было считать криптостойкой, необходимо соблюдение нескольких условий:
(1) устойчивость к атакам поиска первого прообраза: по заданной хеш-сумме h должно быть тяжело подобрать такое сообщение то, чтобы Н(то) = h;
(2) устойчивость к атакам поиска второго прообраза: по заданному сообщению То1 должно быть тяжело подобрать другое сообщение Ш2 так, чтобы Н(ТО1) = Н(ТО2);
(3) устойчивость к коллизиям: должно быть тяжело подобрать разные сообщения То1 и То2 такие, чтобы Н(то{) = Н(ТО2).
Поскольку область определения хеш-функции намного шире чем область значений, то в соответствии с принципом Дирихле должно существовать множество коллизий. Атака методом «грубой силы» может обнаружить 1-й или 2-й прообраз для хеш-функции с п-разрядной хеш-суммой примерно за 2" операций хеширования. На самом деле, из-за «парадокса дней рождения» коллизия будет найдена примерно за 2"/2 операций хеширования. Если можно провести атаку на хеш-функцию, которая требует меньше вычислений, чем полный перебор, то хеш-функцию можно считать скомпрометированной.
Хеш-функция №Ю5 [3] основана на структуре Меркла-Дамгарда. Она использует функцию сжатия, которая на входе принимает &-раз-рядный блок исходного текста и п-разрядное промежуточное хеш-значение (!ИУ) и на выходе порождает новое промежуточное хеш-значение. Исходное сообщение перед хешированием дополняется до длины кратной к, и разбивается на блоки по к бит. Затем функция сжатия применяется последовательно к каждому блоку, начиная с некоторого фиксированного начального состояния !ИУо. В алгоритме №Ю5 применяются блоки по 512 бит и 128-разрядные хеш-значения. Хеш-функция работает с 32-разрядными целыми числами, с использованием операции сложения по модулю 232 и побитовыми операциями.
4. Уязвимости алгоритма хеширования М05
В 2004 году исследователями было показано [4,5] что алгоритм хеширования №Ю5 не обладает достаточной устойчивостью к коллизиям. Сообщения (последовательности байт) М и М' образуют коллизию под №Ю5, если хеш-сумма МБ5(М) побитово совпадает с МБ5(М'). Исследователями были описаны и реализованы на практике дифференциальные методы генерации двух байтовых последовательностей (с возможностью указания любого начального вектора), у которых совпадают хеш-суммы.
Задание начального вектора при генерации коллизии позволяет злоумышленнику вставить каждое из сообщений (М, М') внутрь двух
различных файлов в определенных позициях внутри них. Это приводит к созданию, например, двух Postscript-документов, имеющих одну хеш-сумму, но разный отображаемый текст. Также, продемонстрированы методы генерации двух исполняемых файлов, имеющих одну хеш-сумму, но разное поведение. По причине неустойчивости к коллизиям различные исследовательские организации по всему миру рекомендуют отказаться от использования алгоритма хеширования MD5.
Методы обеспечения безопасной передачи данных в протоколе BotikKey почти аналогичны тем методам, которые применяются в протоколе APOP [6], который некоторые почтовые клиенты до сих пор используют для усиленной авторизации на почтовых POP-серверах. Принцип действия APOP-аутентификации напоминает представленную выше схему «запрос-ответ» и тоже использует MD5:
(1) Почтовый клиент устанавливает соединение к почтовому серверу.
(2) Сервер отправляет в формате
- BotikKey server: —
1 PID.clock@hostname
запрос в адрес клиента, где:
PID — идентификатор процесса, clock — метка времени, hostname — доменное имя сервера. (3) Клиент посылает в формате
- BotikKey client: —
1 APOP username hashsum
ответ серверу, где:
username — логин пользователя на почтовом сервере, hashsum — MD5-сумма от конкатенации строки
PID.clock@hostname и пароля пользователя.
(4) После получения ответа клиента сервер со своей стороны вычисляет хеш-сумму MD5(PID.clockhostname^passwd), где passwd представляет собой известный на сервере пароль данного пользователя, и производит сравнение хеш-сумм.
(5) Если хеши совпадают, то клиент успешно проходит аутентификацию и получает доступ к своей почте.
Достоинство этого подхода заключаются в том, что злоумышленник, перехвативший сообщения клиента и сервера, не сможет узнать пароль пользователя и тем самым получить доступ к его почте.
В настоящее время протокол APOP считается скомпрометированным, так как его применение позволит злоумышленнику (который выдает себя за почтовый сервер) за разумное время восстановить до 43 символов (байт) пароля [7]. Опишем стратегию, применяемую для выполнения атаки на протокол APOP. Она основана на том, что выбирается пара сообщений (то, то'), которая образует коллизию под MD5. Тогда для любой строки х выполняется равенство
MD5(to ■ х) = MD5(to' ■ х).
Принцип атаки состоит в том, что выбирается начальный символ пользовательского пароля, генерируется коллизия (то, то'), где каждое сообщение содержит этот символ в качестве суффикса. Затем подобранный символ отрезается от сообщений (то, то') и результат посылается как «запрос» ничего не подозревающему клиенту. Клиент вычисляет дайджесты от двух сообщений-пароль и посылает их серверу. Если дайджесты совпадают, то первый символ угадан, можно подбирать второй и последующие символы пароля. Приведем более формальное описание схемы атаки:
(1) Сгенерировать пару сообщений (то, то'), которые образуют MD5-коллизию, такую, что последние несколько байт каждого сообщения представляют собой найденные начальные символы пароля, в которых первые знаки уже подобраны правильно (являются префиксом пароля), а последний знак s является кандидатом на вхождение в найденную последовательность. Пусть С — это сообщение то без угаданных символов, и пусть С' — это сообщение то' без угаданных символов, тогда послать пользователю строку С в качестве запроса.
(2) Получить ответную хеш-сумму R, затем отправить С' в качестве другого запроса пользователю.
(3) Получить ответную хеш-сумму R' и сравнить между собой R и R!. Если произошло совпадение, то символ s угадан правильно, можно добавить его в конец угаданной последовательности. Если совпадения не произошло, то перейти к шагу 1 следующей попытки.
Отличия протокола APOP от BotikKey состоят в том, что у APOP соль имеет более простой формат — одна строка challenge, в то время как в BotikKey соль включает в себя также случайную строку random и регион доступа (соль = challenge-random-region).
С применением механизма «туннелей» [8] поиск двухблочных коллизий на современном персональном компьютере занимает менее одной минуты. Были также разработаны методы поиска 512-разрядных (одноблочных) коллизий №Ю5 [9], и методы подбора коллизий с заданными префиксами [10], которые на практике занимают гораздо большее время.
Схему АРОР-атаки теоретически можно применить для компрометации протокола Во^кКеу. Сделав некоторые допущения, при соблюдении определенных условий можно произвести АРОР-атаку на абонентское подключение, использующее протокол Во^кКеу, с целью подбора ключа доступа. Если не принимать во внимание защитные механизмы, встроенные в сетевую аппаратуру СТ «Ботик» для абонентских подключений, АРОР-атака будет успешно завершена за разумное время.
Поскольку автор данного исследования специализируется на разработке параллельных приложений для супер-ЭВМ, у него возник закономерный вопрос: можно ли распараллелить программу подбора одноблочных №Ю5-коллизий? Ответ: можно; эта работа была выполнена. Для проведения вычислительных экспериментов автор разработал параллельную МР1-версию программы Марка Стивенса, которая выполняет подбор одноблочной МЭ5-коллизии.
Заключение
По результатам проведенного исследования можно сделать следующие выводы:
(1) Вероятность компрометации протокола Во^кКеу тем выше, чем слабее Во^кКеу-пароль у абонента.
(2) Уязвимость алгоритма хеширования МЭ5 к коллизиям не влечет за собой непосредственную угрозу пользователям протокола Во^кКеу. Но в будущем могут быть открыты новые более эффективные криптографические методы поиска МЭ5-коллизий, что сделает использующие его системы и протоколы еще более уязвимыми.
(3) От протокола Во^кКеу следует либо полностью отказаться, либо перейти на использование более криптостойких хеш-функций.
Протокол Во^кКеу на момент публикации этой работы не представляется уязвимым к атакам с использованием коллизий МЭ5. Но с
ростом вычислительных мощностей современных супер-ЭВМ положение дел может измениться. Поэтому автор рекомендует подобрать более современные методы криптозащиты для протокола BotikKey. Эти методы могут основываться на использовании SHA-3 [11] или иных криптоустойчивых алгоритмов.
Благодарности. Работы, положенные в основу данной статьи, были выполнены в рамках НИР «Методы и программные средства разработки параллельных приложений и обеспечения функционирования вычислительных комплексов и сетей нового поколения». Автор выражает благодарности разработчикам системы и протокола BotikKey (С. М. Абрамов, Ю. В. Шевчук) за полезные комментарии по содержанию статьи.
Список литературы
[1] Пакет программ BotikTools, URL http://www.botik.ru/~botik/tools/ index.ru.html t 135.
[2] С. М. Абрамов, А. А. Кузнецов, «BotikTools — пакет программ для Абонентов научно-образовательной сети г. Переславля-Залесского», Международная конференция «Программные системы: теория и приложения». Т. 1 (Переславль-Залесский, октябрь 2006), Наука. Физматлит, М., 2006, с. 135-154 \ 135.
[3] R. L. Rivest.. The MD5 message-digest algorithm, Request for Comments (RFC 1320), Internet Activities Board, Internet Privacy Task Force, 1992 t 139.
[4] X. Wang, D. Feng, X. Lai, H. Yu. Collisions for hash functions MD4, MD5, HAVAL-128 and RIPEMD, Cryptology ePrint Archive, Report 2004/199, 2004, URL http://eprint.iacr.org/2004/199 t 139.
[5] X. Wang, H. Yu, "How to Break MD5 and Other Hash Functions", Eurocrypt'05, LNCS, vol. 3494, Springer-Verlag, 2005, pp. 19-35 t 139.
[6] J. Myers, M. Rose. RFC 1939. Post Office Protocol, Version 3, May 1996, URL http://tools.ietf.org t 140.
[7] F. Liu, Y. Liu, T. Xie, D. Feng, Y. Feng. "Fast password recovery attack: application to APOP", Journal of Intelligent Manufacturing, 25:2 (2014), pp. 251-261 t 141.
[8] V. Klima. Tunnels in Hash Functions: MD5 Collisions Within a Minute, Cryptology ePrint Archive, Report 2006/105, 2006, URL https://eprint.iacr.org/2006/105 t 142.
[9] M. Stevens. Single-block collision attack on MD5, Cryptology ePrint Archive, Report 2012/040, http://eprint.iacr.org/2012/040 t 142.
[10] M. Stevens, A. K. Lenstra, B. de Weger. "Chosen-prefix collisions for MD5 and applications", Int. J. Applied Cryptography, 2:4 (2012), pp. 322-359
142.
[11] SHA-3 Standard: Permutation-Based Hash and Extendable-Output Functions, URL http://csrc.nist.gov/publications/drafts/fips202/fips_202_draft.pdf t
143.
Рекомендовал к публикации д.ф.-м.н. С. В. Знаменский
Об авторе:
Антон Александрович Кузнецов
Научный сотрудник ИЦМС ИПС им. А.К. Айламазяна РАН. Разработчик всех программ пакета БоПкТооЬ. Один из разработчиков системы ОрепТЯ. Область научных интересов: системы параллельного программирования, распределенные вычисления в гетерогенных средах, геоинформационные си-
e-mail:
Пример ссылки на эту публикацию:
А. А. Кузнецов. «Исследование криптостойкости протокола аутентификации BotikKey к компрометации уязвимостей алгоритма хеширования MD5», Программные системы: теория и приложения, 2015, 6:1(24), с. 135-145. URL http://psta.psiras.ru/read/psta2015_1_135-145.pdf
Anton Kuznetsov. On the cryptographic security of the "BotikKey" authentication protocol against attacks on MD5 hash function.
Abstract. In this paper vulnerabilities of the BotikKey network protocol are described. It is being used in the "Botik" telecommunication system of Pereslavl-Zalesskiy for secure subscribers' authentication. Protocol was developed as part of Botik-technologies initiative, according to which all software and hardware is based on open source, or on the inhouse developments. We outline the purpose and implementation details of the protocol and its pros and cons. It is pointed out that majority of the protocol's vulnerabilities arise from the weaknesses of MD5 cryptographic hash function being used. With a number of assumptions, the BotikKey protocol can be compromised by committing an APOP-attack on a subscriber. It is noted that "Botik" network service provider should use contemporary cryptographic methods for subscribers' authentication or avoid using the BotikKey system at all. (In Russian).
Key Words and Phrases: BotikKey protocol, secure authentication, cryptography, MD5 hash function, APOP attack.
Sample citation of this publication
Anton Kuznetsov. "On the cryptographic security of the "BotikKey" authentication protocol against attacks on MD5 hash function", Program systems: theory and applications, 2015, 6:1(24), pp. 135—145. (In Russian.)
URL http://psta.psiras.ru/read/psta2015_1_135-145.pdf
© A. A. Kuznetsov, 2015
© Ailamazyan Program System Institute of RAS, 2015 © Program systems: Theory and Applications, 2015
