Минимизация функционалов, ассоциированных с задачами криптографического анализа

Авторы: Дулькейт В. И., Файзуллин Р. Т., Хныкин И. Г.

Аннотация: Описывается способ решения задачи ВЫПОЛНИМОСТЬ (SAT) путем минимизации ассоциированного функционала специального вида. Показаны практические применения приведенных алгоритмов в задачах асимметричного криптоанализа. Разработан генератор задач асимметричного криптоанализа в виде задачи SAT.

Библиография статьи: Дулькейт В. И. Минимизация функционалов, ассоциированных с задачами криптографического анализа / В. И. Дулькейт, Р. Т. Файзуллин, И. Г. Хныкин // Доклады ТУСУР. – 2008. – № 2(18). – Ч. 1. – С. 54–55.