Апробация модели стохастической коллаборационной защиты от вирусов

Abstract

В статье рассматривается реализация на языке Java модели стохастической коллаборационной защиты от вирусов, разработанной в рамках модели Распределенных Объектно-Ориентированных Стохастических Гибридных Систем (РООСГС), и ее анализ. Целью работы является апробация модели стохастической коллаборационной защиты от вирусов в условиях, приближенных к реальным, на пути к внедрению ее использования в реальном окружении. Излагается методика трансляции спецификации системы на языке SHYMaude, предназначенном для спецификации и анализа РООСГС в рамках переписывающей логики, в соответствующую реализацию алгоритма на языке Java. Система разворачивается на виртуальных машинах, вирус и система оповещения моделируются стохастически. Выделяется ряд метрик, таких как время до насыщения вируса, доля зараженных узлов по достижению насыщения, максимальная скорость распространения вируса. Для получения оценок выбранных метрик используется метод Монте-Карло с вычислением доверительных интервалов. Анализ проводится на основе сигмовидного графика распространения вируса по времени в присутствии системы защиты. Реализуются два протокола передачи сообщений между узлами, TCP/IP и UDP. Исследуется влияние типа протокола и сопряженных с ним издержек на эффективность системы защиты. Для оценки потенциала уменьшения издержек, связанных с деталями протокола, проводится анализ исходной модели РООСГС, модифицированной для моделирования таких издержек. Исследуется влияние других параметров модели, необходимых для перехода к следующим шагам внедрения данной модели в практическое использование. Предлагается иерархический подход к обобщению системы, позволяющий сделать систему масштабируемой на большое количество узлов.