TY  - SER
AU  - Доронин,Артемий Евгеньевич
AU  - Калгин,Константин Викторович
TI  - Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами
KW  - SAT-решатели
KW  - криптография
KW  - булевы функции
KW  - статьи в журналах
N1  - Библиогр.: 4 назв
N2  - Представлен подход к решению некоторых криптографических задач, основанный на их сведении к классической задаче о выполнимости и последующем использовании SAT-решателей. Построены формулы, определяющие условия взаимной однозначности и дифференциальной равномерности векторной булевой функции
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000723850
ER  -