Normal view
MARC view
Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами А. Е. Доронин, К. В. Калгин
Material type: ArticleSubject(s): SAT-решатели | криптография | булевы функцииGenre/Form: статьи в журналах Online resources: Click here to access online In: Прикладная дискретная математика. Приложение № 13. С. 129-132Abstract: Представлен подход к решению некоторых криптографических задач, основанный на их сведении к классической задаче о выполнимости и последующем использовании SAT-решателей. Построены формулы, определяющие условия взаимной однозначности и дифференциальной равномерности векторной булевой функции.No physical items for this record
Библиогр.: 4 назв.
Представлен подход к решению некоторых криптографических задач, основанный на их сведении к классической задаче о выполнимости и последующем использовании SAT-решателей. Построены формулы, определяющие условия взаимной однозначности и дифференциальной равномерности векторной булевой функции.
There are no comments on this title.