Страница публикации

Гибридный подход (SAT+ROBDD) в задачах криптоанализа поточных систем шифрования

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Игнатьев А.С., Семенов А.А., Беспалов Д.В., Заикин О.С.

Журнал: Прикладная дискретная математика. Приложение

Язык публикации: russian

Номера страниц: 19-20

Количество страниц: 2

Номер: 1

Год публикации: 2009

Отчетный год: 2009

Аннотация: The report is supposed to consider the possibility of using binary decision diagrams (BDD) for the discrete function inversion in the parallel high-performance computing systems. We describe the architecture of a fundamentally new SAT-solver. The BDD-technology reducing the usage of memory which in turn keeps the search history lies in the basis of the solver. As testing problems we consider cryptanalysis of a number of key stream generators.

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет