системы безопасности,
основанные на политиках,
проверка на модели,
онтологии,
моделирование уязвимостей,
логический вывод.
Основные темы научной работы
Верификация политики безопасности методом "проверки на модели". Онтологический подход и использование систем логического вывода для представления и анализа уязвимостей в компьютерных системах.
Основные публикации:
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
О. В. Полубелова, “Архитектура и программная реализация системы верификации правил фильтрации”, Тр. СПИИРАН, 26 (2013), 79–90
2.
А. А. Чечулин, И. В. Котенко, О. В. Полубелова, “Построение модели данных для системы моделирования сетевых атак на основе онтологического подхода”, Тр. СПИИРАН, 26 (2013), 26–39
3.
И. В. Котенко, И. Б. Саенко, О. В. Полубелова, “Перспективные системы хранения данных для мониторинга и управления безопасностью информации”, Тр. СПИИРАН, 25 (2013), 113–134
О. В. Полубелова, И. В. Котенко, “Верификация правил фильтрации с временными характеристиками методом “проверки на модели””, Тр. СПИИРАН, 22 (2012), 113–138
И. В. Котенко, И. Б. Саенко, О. В. Полубелова, А. А. Чечулин, “Применение технологии управления информацией и событиями безопасности для защиты информации в критически важных инфраструктурах”, Тр. СПИИРАН, 20 (2012), 27–56
Обратная связь: