Санкт-петербургский национальный исследовательский

---

Министерство образования и науки Российской Федерации 
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ 
“САНКТ-ПЕТЕРБУРГСКИЙ НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ 
УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, 
МЕХАНИКИ И ОПТИКИ” 
ВЫПУСКНАЯ КВАЛИФИКАЦИОННАЯ РАБОТА 
ЭВОЛЮЦИОННЫЕ АЛГОРИМТЫ ДЛЯ КРИПТОАНАЛИЗА 
ГЕНЕРАТОРОВ КЛЮЧЕВОГО ПОТОКА С ИСПОЛЬЗОВАНИЕММ 
ПРОГРАММНЫХ СРЕДСТВ РЕШЕНИЯ ЗАДАЧИ 
ВЫПОЛНИМОСТИ 
Автор Павленко Артём Леонидович
 
Направление подготовки 01.03.02 Прикладная математика 
и информатика 
Квалификация
Бакалавр 
Руководитель Ульянцев В. И., к.т.н. 
 
К защите допустить 
Зав. кафедрой КТ Васильев В.Н., проф., д.т.н.
“___” __________________ 2018 г. 
Санкт-Петербург, 2018 г. 

---

---

---

---

---

---

О
ГЛАВЛЕНИЕ
 
Оглавление
4 
Введение
5 
​Глава 1. ​Введение в предметную область и постановка задачи
7 
1.1. ​Термины и определения
7 
1.1.1. ​Элементы теории сложности
7 
1.1.2. ​Метаэвристические алгоритмы
8 
1.1.3. ​Термины криптоанализа
9 
1.2. ​Обоснование актуальности
10 
1.3. ​Существующие автоматические трансляторы и ​SAT
​
-решатели
11 
1.4. ​Обзор исследуемых криптографических алгоритмов
13 
1.5. ​Обзор существующих автоматизированных методов
16 
1.5.2. ​Атаки на основе ​SAT
​
-разбиений
16 
1.5.2. ​Атаки на основе ​Inverse Backdoor Set
18 
1.6. ​Постановка исследовательского задания
19 
Выводы по главе 1
20