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

Атаки из класса "Угадывай и определяй" и автоматические способы их построения

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

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

Авторы: Семёнов А.А.

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

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

Номера страниц: 81-86

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

Номер: 11

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

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

DOI: 10.17223/2226308X/11/26

Аннотация: Представлен краткий обзор подходов к построению криптографических атак, относящихся к классу «угадывай и определяй». Основной акцент сделан на относительно недавних работах, в которых описаны автоматические способы построения таких атак с ипользованием алгоритмов решения проблемы булевой выполнимости (SAT). С этой целью задачи построения атак из рассматриваемого класса ставятся как задачи оптимизации на булевом гиперкубе специальных оценочных функций. Для решения последних используются метаэвристические алгоритмы, широко применяемые в дискретной оптимизации. В упомянутых работах введены два типа оценочных функций, которые можно рассматривать как конкретизации понятий «UNSAT-иммунность» и «SAT-иммунность», неформально введённых Н. Куртуа в 2012 г. Приведены примеры построения атак указанного типа для ряда блочных и поточных алгоритмов шифрования.

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

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

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

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

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

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