Бабенко Л. К. , Маро Е. А. «Применение алгоритмов решения проблемы булевой выполнимости формул для оценки стойкости блочных шифров семейства ГОСТ к алгебраическому криптоанализу» // Прикладная дискретная математика. Приложение 2017. №10 C.62-64
Калгин К. В. , Софронова Д. А. «Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе» // Прикладная дискретная математика. Приложение 2020. №13 C.135-136
Вы можете добавить статью