id: Гость   вход   регистрация
текущее время 21:50 30/03/2020
Автор темы: Вий, Печать
Категории: криптоанализ, атаки, полный перебор
https://www.pgpru.com/Форум/Криптография/SAThome-РаспределенныеВычисления
создать
просмотр
ссылки

Это старая редакция страницы Форум / Криптография / S A Thome-Распределенные Вычисления за 15/04/2013 20:47.


SAT@home – распределенные вычисления


Присоединился к российскому проекту SAT@home, осуществляемому под эгидой РАН с использованием системы распределенных вычислений на основе BOINC.


Научная цель проекта описывается здесь.

........
........
Крайне привлекательным классом задач, для решения которых можно использовать SAT-подход, являются задачи криптоанализа. Сразу оговоримся, что мы не решаем задачи дешифровки реальных конфиденциальных данных. Все рассматриваемые нами тесты сгенерированы случайным образом. В этом плане наша работа направлена на исследование стойкости современных систем шифрования и подразумевает реальную помощь в создании новых систем шифрования. Наиболее сильным достигнутым нами практическим результатом является успешный логический криптоанализ (то есть в форме SAT-задачи) генератора ключевого потока широко известного шифра A5/1. Данный результат был получен в 2009 году с использованием системы BNB-Grid (статья в Трудах ИСА РАН, статья на Arxiv, статья в Lecture Notes in Computer Science). В 2010-2011 годах появились исследования (см., например, эту работу), в которых также был осуществлен реальный криптоанализ A5/1, но с использованием совершенно других методов (по сути, использовалась продвинутая техника rainbow таблиц). Однако даже самые хорошие rainbow-таблицы не покрывают все ключевое пространство на 100%. Поэтому в ближайшей перспективе в рамках SAT@home предполагается решение задач поиска инициализирующих последовательностей для A5/1, не покрываемых лучшими известными rainbow таблицами.

В дальнейшем предполагается использовать SAT@home для исследования других криптографических функций, для решения некоторых «крайне трудных» задач дискретной оптимизации, в частности, квадратичной задачи о назначениях (QAP), а также для решения задач из области биоинформатики (исследование поведения дискретных моделей генных сетей).



На мой взгляд довольно интересно, и надеюсь полезно.


Если позволите – прикладной вопрос. Использую Linux, ядро 3.5.0-17-generic. Видеокарта Nvidia Geforce 630. Драйвер для карты установлен, но при вычислениях не используется GPU, хотя в настройках клиента BOINC настройка "Использовать ГП" выставлена. На странице статистики 2-й идет машина с Linux и использованием для вычислений GPU, т.е. в принципе в данном проекте использовать GPU можно.