Дата рождения:
30.06.1980
E-mail: Ключевые слова: системы безопасности,
основанные на политиках,
проверка на модели,
онтологии,
моделирование уязвимостей,
логический вывод.
Основные темы научной работы:
Верификация политики безопасности методом "проверки на модели". Онтологический подход и использование систем логического вывода для представления и анализа уязвимостей в компьютерных системах.
Основные публикации:
Igor Kotenko, Olga Polubelova, “Verification of Security Policy Filtering Rules by Model Checking.”, Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. (Prague, Czech Republic, 15–17 September 2011), Los Alamitos, California, 2011, 706–710
Полубелова О.В., Котенко И.В., “Верификация правил фильтрации политики безопасности методом “проверки на модели””, Приборостроение, 51:12 (2008), 44–49
Котенко И.В., Тишков А.В., Черватюк О.В., Резник С.А., Сидельникова Е.В., “Система верификации политики безопасности компьютерной сети”, Вестник компьютерных и информационных технологий, 2007, № 11, 48–56
Саенко И. Б., Полубелова О.В., Котенко И.В., “Разработка информационного хранилища системы управления информацией и событиями безопасности для гетерогенной инфраструктуры”, Методы и технические средства обеспечения безопасности информации, Материалы ХX Общероссийской научно-технической конференции (27 июня – 1 июля 2011 года, Санкт-Петербург), Издательство Политехнического университета, 2011, 41–42
Полубелова О.В., “Решения по разработке репозитория в SIEM системе на основе онтологического подхода.”, VII Санкт-Петербургская межрегиональная конференция “Информационная безопасность регионов России” (ИБРР-2011), Материалы конференции (26–28 октября 2011 г.), СПОИСУ, 2011, 89
