Конференции ИВТ СО РАН

X Российская конференция с участием иностранных ученых "Распределенные информационно-вычислительные ресурсы”

Академгородок, г. Новосибирск, Россия, 6-8 октября 2005 г.

Тезисы докладов

Логический криптоанализ генераторов двоичных последовательностей

Семенов А.А., Беспалов Д.В., Буранов Е.В., Ушаков А.А.

Институт динамики систем и теории управления СО РАН (Иркутск)

В докладе планируется представить один подход к криптоанализу генераторов двоичных последовательностей, используемых в криптографии. Основа подхода состоит в погружении в пропозициональную логику проблемы обращения дискретной функции, реализующей рассматриваемый генератор. К кодирующему процедуру шифрования логическому выражению в формате конъюнктивной нормальной формы (КНФ) применяется специализированная программа логического поиска - т.н. "sat-солвер". В докладе подробно разобран успешный пример логического криптоанализа генератора Геффе.

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии
Обратная связь

[Головная страница]
[Конференции]