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

Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов

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

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

Авторы: Семёнов А.А., Антонов К.В., Грибанова И.А.

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

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

Номера страниц: 104-110

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

Номер: 14

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

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

DOI: 10.17223/2226308X/14/23

Аннотация: Описывается новая техника, предназначенная для дополнения исходной системы ограничений в задаче алгебраического криптоанализа новыми ограничениями. Порождаемые ограничения могут иметь форму линейных уравнений над полем из двух элементов в случае, если задача криптоанализа сведена к квадратичной системе над GF(2). Если же рассматриваемая задача сведена к SAT, то порождаемые ограничения имеют вид эквивалентностей или единичных резольвент. Для обеих ситуаций мы показываем, что порождаемые ограничения могут снижать оценки трудоёмкости криптоанализа.

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

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

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

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

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

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