Системный анализ дестабилизирующих программных воздействий на вычислительно-управляющие комплексы промышленных предприятий и методы их распознавания

• Автор: Дорфман, Антон Владимирович
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2007
• Место защиты: Самара
• Количество страниц: 175 с. : ил.

Содержание
Введение

1 Разработка методики системного анализа дестабилизирующих программных воздействий

1.1 Литературноаналитический обзор

1.2 Методика системного анализа дестабилизирующих программных воздействий

1.3 Анализ влияния вирусов на вычислительноуправляющие комплексы промышленных предприятий
1.4 Выводы

2 Анализ компьютерных вирусов как систем

2.1 Экспериментальное исследование компьютерных вирусов

2.1.1 Методика исследования

2.1.2 Исследование вирусов, функционирующих в МББОБ

2.1.3 Исследование загрузочных вирусов
2.1.4 Исследование вирусов, работающих в Утс1оУ8
2.1.5 Анализ сетевых червей
2.1.6 Выявление и анализ дополнительных методов работы вирусов
2.1.7 Исследование методов самошифрования и полиморфизма в компьютерных вирусах
2.2 Декомпозиция компьютерного вируса на системные компоненты
2.3 Системная модель состава компьютерного вируса
2.4 Функциональная классификация компьютерных вирусов
2.5 Анализ современных антивирусных методов на основе декомпозиции вируса
2.6 Разработка требования к теоретической модели вируса
2.7 Выводы
3 Анализ теоретических моделей компьютерных вирусов
3.1 Модель вируса на основе машины Тыоринга ,
3.2 Модели вирусов на основе теории рекурсивных функций
3.2.1 Модель Леонарда Адлемана М. ,
3.2.2 Модель китайских авторов i , ii ,
3.2.3 Модель французских авторов i , i , v i,
3.3 Структура для моделирования Троянских программ и вирусов i, , i,
3.4 Модель вируса на основе с i,
3.5 Модели вирусов на основе алгебраических спецификаций
3.5.1 Модель на основе ,
3.5.2 Модель на основе ,
3.6 Векторнооператорная модель вируса Д. Зегжда,
3.7 Обход результата невозможности Коуэна , 2 ,
3.8 Результаты анализа моделей вирусов
3.9 Выводы
4 Разработка моделей поведения компьютерных вирусов и их 6 подсистем
4.1 Модель вычислительной системы машина СМ
4.2 Модель абстрактного компьютерного вируса
4.3 Моделирование поведения i вирусов и их подсистем
4.4 Вычислительная машина с историей вычислений и 2 переходов
4.5 Выводы
5 Разработка системы распознавания i вирусов
5.1 Структура системы и алгоритм ее работы
5.2 Подсистема эмуляции команд процессора
5.3 Программная реализация моделей СМ и
5.4 Подсистема классификации на базе нейронной сети
5.5 Результаты тестирования системы распознавания i вирусов
5.6 Выводы
Основные результаты работы и выводы
Библиографический список
Приложение А Акты внедрения
Приложение Б Служебные структуры и i
Приложение В Типовые блок схемы алгоритмов вирусов
Приложение Г Листинги
Г.1 Подсистема эмуляции команд. Типовое исполнение команды
Г.2 Процедура вычисления сигмоидальной функции для подсистемы 4 классификации на основе нейронной сети
Введение
Актуальность


Венгерский исследователь Ференк Лейтольд (Ferenc Leitold) в своей работе [9] исследует хорошо известные вычислительные модели для анализа отдельных алгоритмов, это машина с произвольным доступом к памяти (Random Access Machine) [], машина с произвольным доступом к сохраненным программам (Random Access Stored Program Machine) [], машина Тьюринга и вводит собственную формальную модель, с помощью которой описывает феномен компьютерных вирусов. Китайские авторы Жихонг Зуо (Zhihong Zuo) и Мингтиан Жу (Mingtian Zhou) в своей работе [] для создания теоретических моделей разновидностей компьютерных вирусов используют теорию рекурсивных функций. Также они в соавторстве с Куингксин Жу (Qingxin Zhu) исследуют вычислительную сложность компьютерных вирусов []. Исследователь из Великобритании Мэтт Вебстер (Matt Webster) разрабатывает алгебраические спецификации компьютерных вирусов [,], используя абстрактную машину состояний (ASM) Гуревича [,,] и OBJ Гогуена [,,]. Коллектив авторов из Франции Г. Бонфанте (G. Bonfante) М. Качхмарек (М. Kaczmarek), Дж-У. Марион (J-Y Marion) предлагает новую модель компьютерных вирусов [], основанную на теории рекурсивных функций и по утверждению авторов охватывающую модели [3,]. Нидерландские ученые Ян Бергстра (Jan A. Bergstra) и Албан Понз (Alban Ponse) в работе [] исследуют вопросы разрешения проблемы детектирования вирусов. Хотя авторы и не определяют модель вируса, однако для исследования они используют, разработанные ранее ими же формализмы [,,], которые позволяют моделировать вирусы. Ценность работы [] в том, что авторам удалось разрешить проблему детектирования вирусов для большого класса поведения программ. Из работ российских авторов посвященных компьютерной вирусологии необходимо отмстить исследование [] Д. П. Зегжды, посвященное созданию векторно-операторной модели вируса. Помимо создания моделей вирусов теоретические исследования в компьютерной вирусологии связаны с выявлением закономерностей, присущих эпидемиям компьютерных вирусов [-], исследованиям вычислимости и детектируемости компьютерных вирусов [,], исследованиям филогенеза вирусов [], таксономии вирусов [] а также рассмотрению вопросов создания теоретических моделей вирусов []. Обзор [] посвящен открытым проблемам в теоретическом направлении компьютерной вирусологии. Практические исследования в компьютерной вирусологии посвящены выявлению способов работы вирусов, их алгоритмов, методов внедрения в объекты, методов самозащиты вирусов и способов их взаимодействия с окружающей средой. В отличие от теоретических исследований в данном направлении существует значительное количество работ на русском языке, в том числе и книжных изданий. Исследователей практического аспекта компьютерной вирусологии можно разделить на три группы: эксперты антивирусных компаний, исследователи вирусов и создатели вирусов - вирусописатели. Эксперты антивирусных компаний в своих работах в основном описывают конкретные экземпляры вирусов без технических подробностей реализации. Исследователи вирусов помимо этого часто на примере исходных текстов подробно рассматривают некоторые примитивные вирусы и вирусные технологии. Работа [] содержит обширные сведения из компьютерной вирусологии: историю вирусологии, классификацию вирусов и описание экземпляров вирусов. Известный антивирусный специалист Е. В. Касперский в своей работе [] также описывает различные свойства конкретных вирусов и приводит их классификацию. В работах [,,] на базе исходных . MS-DOS, а также файловые вирусы под Windows. Различные технологии вирусов под MS-DOS и Windows и методы самозащиты вирусов исследуются работах [,,], а в работе [] дополнительно рассматриваются механизмы заражения исполняемых файлов в Windows и работы сетевых червей. Для поддержки исследователей вирусов и публикации результатов исследований существует ряд электронных изданий, наиболее авторитетное из них Virus Bulletin [] издается ежемесячно с года. Наиболее полное описание вирусов и вирусных технологий содержится в работах вирусописателей. Для обмена опытом и коллективного творчества создатели вирусов объединяются в вирусные группы, многие из которых издают свои собственные электронные журналы для того, чтобы информация была доступна другим исследователям. Среди англоязычных электронных журналов выделяются: а[], hex[], codebreakers[], phrack[]. На русском языке полнотой отличаются: duke[], infected voice[], inoz[] и top device[].