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