Естественные и технические науки, № 6, 2015 Малашенкова И.В., старший преподаватель Панкратова Е.А., кандидат технических наук, доцент Прокуденков Н.П., кандидат технических наук, доцент Степенкова Т.И., старший преподаватель (Филиал Национального исследовательского университета «МЭИ» в г. Смоленске) МАТЕМАТИЧЕСКАЯ МОДЕЛЬ АКТИВНОГО АУДИТА ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ В статье представлена модель активного аудита вычислительной системы (МАА ВС), рассматриваются правила перехода операционной системы из одного состояния в другое при выполнении таких операций, как изменение прав доступа (передача и присвоение полномочий), чтение и запись. <...> Рассматривается работа Аудитора при изменении состояния системы. <...> Применение разработанной модели на практике позволит отслеживать некорректные и злоумышленные действия пользователей вычислительной системы. <...> Задачей активного аудита является оперативное выявление подозрительной активности и предоставление средств для автоматического реагирования на нее. <...> Методы обеспечения активного аудита вычислительной системы могут быть надежными только, если их проектирование и реализация основаны на математических моделях, адекватно описывающих принципы функционирования современных информационных систем и методов аудита [1]. <...> Целью данной работы является создание математической модели активного аудита. <...> Активный аудит вычислительной системы включает ряд методов, основными из которых являются – анализ защищенности вычислительной системы и выявление незаконного получения полномочий. <...> Анализ защищенности вычислительной системы проводится периодически специально обученными для данной цели лицами, которые имитируют действия злоумышленника. <...> В то время как, незаконное получение полномочий должно проводиться непрерывно с помощью дополнительных средств защиты, таких как системы отслеживания вторжений и, частично, системы аудита современных операционных систем <...>