Автоматизированные методы поиска дифференциальных характеристик в подстановочно-перестановочных сетяхдипломная работа (Бакалавр)