Страница публикации
Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов
Тип публикации: Статья в журнале
Тип материала: Текст
Авторы: Семёнов А.А., Антонов К.В., Грибанова И.А.
Журнал: Прикладная дискретная математика. Приложение
Язык публикации: russian
Номера страниц: 104-110
Количество страниц: 7
Номер: 14
Год публикации: 2021
Отчетный год: 2021
Аннотация: Описывается новая техника, предназначенная для дополнения исходной системы ограничений в задаче алгебраического криптоанализа новыми ограничениями. Порождаемые ограничения могут иметь форму линейных уравнений над полем из двух элементов в случае, если задача криптоанализа сведена к квадратичной системе над GF(2). Если же рассматриваемая задача сведена к SAT, то порождаемые ограничения имеют вид эквивалентностей или единичных резольвент. Для обеих ситуаций мы показываем, что порождаемые ограничения могут снижать оценки трудоёмкости криптоанализа.
Индексируется WOS: Нет
Индексируется Scopus: Нет
Индексируется УБС: Нет
Индексируется РИНЦ: Да
Индексируется ВАК: Нет
Индексируется CORE: Нет