Применение алгоритмов решения проблемы булевой выполнимости для анализа криптографической стойкости генератора Вольфрама и ряда его модификаций : ВКР бакалавра : направление 10.03.01 "Информационная безопасность" : профиль "Комплексная защита объектов инф