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