Введение
1 Обзор предметной области. Обзор методов и средств моделирования компьютерной сети 10
1.1 Понятие глобальной компьютерной сети 10
1.1.1 Требования к моделированию функционирования ГКС 13
1.2 Моделирование компьютерной сети 14
1.2.1 Выбор математического аппарата для моделирования ГКС 15
1.2.2 Средства реализации имитационной модели сети 23
1.3 Выводы 39
2 Формальная модель глобальной компьютерной сети 40
2.1 Исходные предположения 42
2.2 Описание формальной модели ГКС 43
2.2.1 Описание 43
2.2.2 Описание модели заражения домена 45
2.2.3 Описание сетевой активности 46
2.2.4 Доказательство корректности формальной модели ГКС 51
2.3 Описание службы управления временем в модели ГКС 53
3 Система имитационного моделирования Network Prototype Simulator 56
3.1 Требования СИМ NPS 57
3.2 NPS кластер 57
3.3 Описание архитектуры СИМ NPS 59
3.4 Описание аппарата легковесной виртуализации ОС Linux 63
3.4.1 Методы управления модельным временем в СИМ 64
3.4.2 Проблемы синхронизации модельного времени в распределенной СИМ 66
3.5 Особенности кластерной архитектуры СИМ NPS 67
3.6 Графический интерфейс СИМ NPS 68
3.7 Выводы 70
4 Экспериментальное исследование СИМ NPS 75
4.1 Основы распространения ВПО 76
4.2 Центр управления распространения ВПО 77
4.2.1 Архитектура подсистемы моделирования распространения ВПО 78
4.3 Экспериментальное исследование машстабируемости моделей, построенных в СИМ NPS 80
4.3.1 Эксперимент
1.1: Моделирование распространения сетевого червя CodeRedv2 80
4.3.2 Эксперимент
1.2: Моделирование распространения сетевого червя Sasser 83
4.3.3 Выводы 88
4.4 Экспериментальное исследование системы управления модельным временем в NPS 89
4.4.1 Эксперимент
2.1: Временная синхронизация между разными узлами NPS кластера 89
4.5 Выводы 93
Заключение 94
Список рисунков 97
Список таблиц 98
Литература
