TY - JOUR AU - Заикин, Олег Сергеевич AU - Чугунов, Андрей Александрович PY - 2016/11/25 TI - ПАРАЛЛЕЛЬНЫЙ ЛОГИЧЕСКИЙ КРИПТОАНАЛИЗ ГЕНЕРАТОРА ПЕРЕМЕННОГО ШАГА JF - Современные информационные технологии и ИТ-образование; Том 12 № 2 (2016): Современные информационные технологии и ИТ-образование KW - N2 - В статье рассматривается задача криптоанализа генератора переменного шага. В рамках данной задачи по известному фрагменту ключевого потока необходимо восстановить исходное внутреннее состояние генератора. Мы свели эту задачу к проблеме булевой выполнимости. Для версии данного генератора с 96-битным внутренним состоянием была найдена декомпозиция, обладающая приемлемой прогнозной трудоемкостью. При этом был использован алгоритм локального поиска, основанный на методе Монте-Карло. С помощью найденной декомпозиции был решен ряд экземпляров задачи криптоанализа указанной версии генератора. Большая часть экспериментов была выполнена на вычислительном кластере. UR - http://sitito.cs.msu.ru/index.php/SITITO/article/view/49