|
Вычислительные методы в дискретной математике
Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами
А. Е. Доронинa, К. В. Калгинbac a Новосибирский государственный университет
b Институт вычислительной математики и математической геофизики Сибирского отделения Российской академии наук, г. Новосибирск
c Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск
Аннотация:
Представлен подход к решению некоторых криптографических задач, основанный на их сведении к классической задаче о выполнимости и последующем использовании SAT-решателей. Построены формулы, определяющие условия взаимной однозначности и дифференциальной равномерности векторной булевой функции.
Ключевые слова:
SAT-решатели, криптография, булевы функции.
Образец цитирования:
А. Е. Доронин, К. В. Калгин, “Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами”, ПДМ. Приложение, 2020, № 13, 129–132
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdma518 https://www.mathnet.ru/rus/pdma/y2020/i13/p129
|
Статистика просмотров: |
Страница аннотации: | 91 | PDF полного текста: | 42 | Список литературы: | 12 |
|