Введение
1 STRONG Разработка методики системного анализа дестабилизирующих 12
программных воздействий STRONG
1.1 Литературно-аналитический обзор 12
1.2 Методика системного анализа дестабилизирующих программных воздействий
1.3 Анализ влияния вирусов на вычислительно-управляющие комплексы промышленных предприятий
1.4 Выводы 25
2 Анализ компьютерных вирусов как систем 26
2.1 Экспериментальное исследование компьютерных вирусов 26
2.1.1 Методика исследования 26
2.1.2 Исследование вирусов, функционирующих в MS-DOS 31
2.1.3 Исследование загрузочных вирусов 37
2.1.4 Исследование вирусов, работающих в Windows 40
2.1.5 Анализ сетевых червей 47
2.1.6 Выявление и анализ дополнительных методов работы вирусов 53
2.1.7 Исследование методов самошифрования и полиморфизма в компьютерных вирусах
2.2 Декомпозиция компьютерного вируса на системные компоненты 69
2.3 Системная модель состава компьютерного вируса 70
2.4 Функциональная классификация компьютерных вирусов 72
2.5 Анализ современных антивирусных методов на основе 73 декомпозиции вируса
2.6 Разработка требования к теоретической модели вируса 74
2.7 Выводы 75
3 Анализ теоретических моделей компьютерных вирусов 76
3.1 Модель вируса на основе машины Тьюринга (Fred Cohen, 1989) 76
3.2 Модели вирусов на основе теории рекурсивных функций 79
3.2.1 Модель Леонарда Адлемана (Leonard М. Adleman, 1990) 79
3.2.2 Модель китайских авторов (Zhihong Zuo, Mingtian Zhou, 2004) 82
3.2.3 Модель французских авторов (Guillame Bonfante, Matthieu 85 Kaczmarek, Jean-Yves Mario, 2005
3.3 Структура для моделирования Троянских программ и вирусов 88 (Harold Thimbley, Stuart Anderson, Paul Cairns, 1999)
3.4 Модель вируса на основе RASPM с ABS (Ferenc Leitold, 2000) 91
3.5 Модели вирусов на основе алгебраических спецификаций 94
3.5.1 Модель на основе ASM (Matt Webster, 2005) 94
3.5.2 Модель на основе OBJ (Matt Webster, 2005) 96
3.6 Векторно-операторная модель вируса (Д. Зегжда, 1993) 99
3.7 Обход результата невозможности Коуэна (Jan Bergstra, Alban 102 Ponse, 2005)
3.8 Результаты анализа моделей вирусов 103
3.9 Выводы 105
4 Разработка моделей поведения компьютерных вирусов и их подсистем
4.1 Модель вычислительной системы - машина СМ 106
4.2 Модель абстрактного компьютерного вируса 110
4.3 Моделирование поведения Win32 вирусов и их подсистем 112
4.4 Вычислительная машина CMCJH с историей вычислений и переходов 122
4.5 Выводы 124
5 Разработка системы распознавания Win32 вирусов 125
5.1 Структура системы и алгоритм ее работы 125
5.2 Подсистема эмуляции команд процессора 127
5.3 Программная реализация моделей СМ и CMCJH 134
5.4 Подсистема классификации на базе нейронной сети 135
5.5 Результаты тестирования системы распознавания Win32 вирусов 140
5.6 Выводы 143 Основные результаты работы и выводы 144
Библиографический список 146
Приложение А Акты внедрения 156
