Solving of cryptanalysis problems in grid systems ( by the example of BOINC).pdf Логический криптоанализ (постановка задачи криптоанализа как задачи поискавыполняющих наборов пропозициональных выражений) показал свою перспектив-ность в отношении некоторых систем поточного шифрования. Основы круноблочнойпараллельной технологии решения SAT-задач описаны в [1]. Реализация данной тех-нологии в виде параллельного SAT-решателя PD-SAT с использованием библиотекиMPI представлена в [2]. С применением решателя PD-SAT были успешно решены навычислительных кластерах задачи логического криптоанализа суммирующего гене-ратора, порогового генератора, а также генератора Гиффорда (с длинами ключей 66,80, 64 бит). Логический криптоанализ генератора A5/1 потребовал весьма значитель-ных вычислительных ресурсов, получение которых в рамках одного (пусть даже оченьмощного) вычислительного кластера, как правило, проблематично. В связи с этим бы-ло принято решение о переносе технологии распараллеливания SAT-задач в распреде-ленные вычислительные среды. Первым удачным опытом такого рода стало успешноерешение задач криптоанализа генератора A5/1 в грид-системе BNB-Grid [3].В настоящее время большое число исследований посвящено решению трудных ком-бинаторных задач в так называемых Desktop-Grid - грид-системах, в которых в роливычислительных узлов выступают обычные персональные компьютеры (ПК). Прин-цип организации таких грид-систем заключается в предоставлении пользователямиресурсов своих ПК на добровольной основе. Наиболее популярной платформой дляорганизации Desktop-Grid является Berley Open Infrastructure for Network Computing(BOINC, [4]). Пользователь устанавливает клиент BOINC, с помощью которого под-ключается через Интернет к проекту, после чего ПК начинает получать и обрабаты-вать задания. Режим обработки заданий гибко настраивается (по умолчанию обра-ботка заданий начинается, когда ПК некоторое время не используется). Существуютпроекты на основе BOINC, объединяющие сотни тысяч ПК (например, проект поискарадиосигналов внеземных цивилизаций SETI@home).Реализована новая грид-версия решателя PD-SAT, предназначенная для использо-вания в проектах на основе платформы BOINC. Для этой цели использована библио-тека DC-API [5]. Применение PD-SAT позволило успешно решить в рамках BOINC-проекта задачи криптоанализа ряда генераторов(суммирующего, порогового, генера-тора Гиффорда). В ближайшее время планируется организовать BOINC-проект, состо-ящий из нескольких тысяч ПК для решения более масштабных задач криптоанализа.

Скачать электронную версию публикации