Пропозициональное кодирование прямых и обратных раундовых преобразований в атаках на некоторые блочные шифры

Описывается атака на блочные шифры, основанная на известной концепции «встреча посередине». В рамках предлагаемой атаки для решения уравнений криптоанализа используются алгоритмы решения проблемы булевой выполнимости. Основное нововведение заключается в том, что в пропозициональной кодировке ши...

Full description

Bibliographic Details
Published in:Прикладная дискретная математика. Приложение № 11. С. 76-79
Main Author: Отпущенников, Илья Владимирович
Other Authors: Семенов, Александр Анатольевич, Заикин, Олег Сергеевич
Format: Article
Language:Russian
Subjects:
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000632887
Перейти в каталог НБ ТГУ
Description
Summary:Описывается атака на блочные шифры, основанная на известной концепции «встреча посередине». В рамках предлагаемой атаки для решения уравнений криптоанализа используются алгоритмы решения проблемы булевой выполнимости. Основное нововведение заключается в том, что в пропозициональной кодировке шифра учитывается информация не только от прямых, но и от обратных раундовых преобразований. Для ряда сокращённых по числу раундов блочных шифров построены оценки трудоёмкости атак из класса «угадывай и определяй» с использованием нового принципа кодирования. В некоторых случаях новые атаки оказались в разы эффективнее аналогов, в которых используются стандартные методы кодирования.
Bibliography:Библиогр.: 11 назв.
ISSN:2226-308X