| rus | eng |

Полубелова Ольга Витальевна

Гражданство: Россия Почтовый адрес (офис): Санкт-Петербургский институт информатики и автоматизации РАН Россия, 199178, Санкт-Петербург, 14-я линия В.О., д.39 Тел.: +7-(812)-328-2642 Факс: +7-(812)-328-4450 Должность: аспирант Ольга Витальевна Полубелова, аспирант лаборатории проблем компьютерной безопасности Санкт-Петербургского института информатики и автоматизации РАН (научный руководитель – проф. д.т.н. И.В.Котенко). Окончила с отличием Санкт-Петербургский Государственный Университет авиаприборостроения (в 2005 г. и в 2006 г.). E-mail: ovp[AT]comsec[DOT]spb[DOT]ru http://comsec.spb.ru/polubelova/

Наверх 

2011

• Полубелова Ольга Витальевна - Статья "Verification of Security Policy Filtering Rules by Model Checking" за авторством Котенко И.В. и Полубеловой О.В. получила награду как лучшая статья конференции IDAACS 2011.

  

Наверх 

Текущие гранты и проекты

• Котенко И.В. (Руководитель проекта). Государственный контракт № 11.519.11.4008 «Исследование и разработка методов, моделей и алгоритмов интеллектуализации сервисов защиты информации в критически важных инфраструктурах». Проект Минобрнауки России, 2011-2013 (Исследователь).
• Саенко И.Б. (Руководитель проекта). “Разработка и исследование математических моделей и методов анализа и синтеза систем разграничения доступа к информационным и сетевым ресурсам в современных и перспективных компьютерных системах и сетях на основе создания и применения средств искусственного интеллекта” Грант Российского Фонда Фундаментальных Исследований (РФФИ) № 11-07-00435-а, 2011-2013 (Исследователь).
  Report-2011-11-07-00435-a-short.pdf [application/pdf] (287595 bytes)
• Котенко И.В. (Руководитель проекта от СПИИРАН). “Проектирование безопасных и энергосберегающих встроенных систем для приложений будущего Интернет (SecFutur)”. Проект Седьмой рамочной программы (FP7) Европейского Сообщества. Контракт № 256668, 2010-2013 (Исследователь).
• Котенко И.В. (Руководитель проекта от СПИИРАН). “Управление информацией и событиями безопасности в инфраструктурах услуг (MASSIF)”. Проект Седьмой рамочной программы (FP7) Европейского Сообщества. Контракт № 257475, 2010-2013 (Исследователь).
• Котенко И.В. (Руководитель проекта). “Математические модели и методы комплексной защиты от сетевых атак и вредоносного программного обеспечения в компьютерных сетях и системах, основывающиеся на гибридном многоагентном моделировании компьютерного противоборства, верифицированных адаптивных политиках безопасности и проактивном мониторинге на базе интеллектуального анализа данных”. Грант Российского Фонда Фундаментальных Исследований (РФФИ) № 10-01-00826-а, 2010-2012 (Исследователь).
  Report-2010-10-01-00826-a-short.pdf [application/pdf] (191714 bytes)
  Report-2011-10-01-00826-a-short.pdf [application/pdf] (260794 bytes)

Предыдущие гранты и проекты

• Котенко И.В. (Руководитель проекта). “Математические модели, методы и алгоритмы проактивной защиты от вредоносного программного обеспечения в компьютерных сетях и системах”. Проект по программе фундаментальных исследований Отделения нанотехнологий и информационных технологий РАН "Архитектура, системные решения, программное обеспечение, стандартизация и информационная безопасность информационно-вычислительных комплексов новых поколений»", 2009-2011 (Исследователь).
• Котенко И.В. (Руководитель проекта). НИР по заказу секции прикладных проблем Российской академии наук. Государственный контракт, 2008-2009 (Исследователь).
• Котенко И.В. (Руководитель проекта). “Модели и методы построения и поддержки функционирования интеллектуальных адаптивных систем защиты информации, основывающиеся на моделировании поведения систем защиты, реализации верифицированных политик безопасности, оценке защищенности и проактивном мониторинге”. Грант Российского Фонда Фундаментальных Исследований (РФФИ) № 07-01-00547, 2007-2009 (Исследователь).
  Report-07-01-00547a-2007short.pdf [application/pdf] (193198 bytes)
  Report-07-01-00547a-2008short.pdf [application/pdf] (205945 bytes)
  Report-07-01-00547a-2009short.pdf [application/pdf] (943498 bytes)
• Котенко И.В. (Руководитель проекта от СПИИРАН). “Удаленное доверие посредством программной аутентификации в реальном времени (RE-TRUST)”. Проект Шестой рамочной программы (FP6) Европейского Сообщества. Контракт 021186-2, 2006-2009 (Исследователь).
• Котенко И.В. (Руководитель проекта). “Методы автоматического обнаружения и реагирования против Internet-червей”. Субконтракт с Международным научно-исследовательским институтом проблем управления (МНИИПУ) в соответствии с контрактом с Hewlett-Packard, 2006-2007 (Исследователь).
• Котенко И.В. (Руководитель проекта). “Разработка научно-методических основ защиты информации в каналах связи системы международной коллективной экологической безопасности” (“Защита-1”). Государственный контракт с Центром исследования проблем безопасности Российской академии наук, 2006-2006 (Исследователь).
• Котенко И.В. (Руководитель проекта). “Моделирование процессов защиты информации в компьютерных сетях в антагонистической среде: формальный подход, математические модели, многоагентная архитектура, программный прототип и экспериментальная оценка”. Грант Российского Фонда Фундаментальных Исследований (РФФИ) № 04-01-00167, 2004-2006 (Исследователь).
  Report-04-01-00167a-2006.pdf [application/pdf] (446259 bytes)
  Report-04-01-00167a.pdf [application/pdf] (510438 bytes)
• Котенко И.В. (Руководитель проекта). “Математические модели активного анализа уязвимостей, обнаружения вторжений и противодействия сетевым атакам в компьютерных сетях, основывающиеся на многоагентных технологиях”. Проект по программе фундаментальных исследований исследований Отделения нанотехнологий и информационных технологий РАН "Оптимизация вычислительных архитектур под конкретные классы задач, информационная безопасность сетевых технологий"., 2003-2008 (Исследователь).
• Котенко И.В. (Руководитель проекта от СПИИРАН). “Средства и модели защиты информации, основанные на политике безопасности (POSITIF)”. Проект Шестой рамочной программы (FP6) Европейского Сообщества. Контракт IST-2002-002314, 2003-2007 (Исследователь).

Наверх 

Статьи

2011

1. Igor Kotenko, Olga Polubelova. Verification of Security Policy Filtering Rules by Model Checking. Proceedings of IEEE Fourth International Workshop on "Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications" (IDAACS'2011). Prague, Czech Republic, 15-17 September 2011. P. 706-710. ISBN 978-1-4244-4882-1. (на английском).
2. Саенко И. Б., Полубелова О.В., Котенко И.В. Разработка информационного хранилища системы управления информацией и событиями безопасности для гетерогенной инфраструктуры // Методы и технические средства обеспечения безопасности информации. Материалы ХX Общероссийской научно-технической конференции. 27 июня - 1 июля 2011 года. Санкт-Петербург. Издательство Политехнического университета. 2011. C.41-42.
3. Полубелова О.В. Верификация правил фильтрации политики безопасности методом «проверки на модели» // Методы и технические средства обеспечения безопасности информации. Материалы ХX Общероссийской научно-технической конференции. 27 июня - 1 июля 2011 года. Санкт-Петербург. Издательство Политехнического университета. 2011. С.87-88.
4. Агеев С.А., Полубелова О.В. Методы управления безопасностью в защищенных мультисервисных сетях // Методы и технические средства обеспечения безопасности информации. Материалы ХX Общероссийской научно-технической конференции. 27 июня - 1 июля 2011 года. Санкт-Петербург. Издательство Политехнического университета. 2011. С.122-124.
5. Полубелова О.В. Применение линейной темпоральной логики для верификации правил фильтрации политики безопасности методом «проверки на модели» // VII Санкт-Петербургская межрегиональная конференция “Информационная безопасность регионов России (ИБРР-2011)”. 26-28 октября 2011 г. Материалы конференции. СПб.: СПОИСУ, 2011. С.88-89.
6. Полубелова О.В. Решения по разработке репозитория в SIEM системе на основе онтологического подхода // VII Санкт-Петербургская межрегиональная конференция “Информационная безопасность регионов России (ИБРР-2011)”. 26-28 октября 2011 г. Материалы конференции. СПб.: СПОИСУ, 2011. С.89.
7. Саенко И.Б., Полубелова О.В., Агеев С.А. Предложения по концептуальному моделированию подсистемы управления защитой информации в защищенных мультисервисных сетях // VII Санкт-Петербургская межрегиональная конференция “Информационная безопасность регионов России (ИБРР-2011)”. 26-28 октября 2011 г. Материалы конференции. СПб.: СПОИСУ, 2011. С.93-94.
8. Саенко И.Б., Агеев С.А., Шерстюк Ю.М., Полубелова О.В. Концептуальные основы автоматизации управления защищенными мультисервисными сетями // Проблемы информационной безопасности. Компьютерные системы. №3, 2011.

2008

1. Полубелова О.В., Котенко И.В. Верификация правил фильтрации политики безопасности методом “проверки на модели” // Изв. вузов. Приборостроение, Т.51, № 12, 2008. С.44-49. ISSN 0021-3454.
2. Полубелова О.В. Верификация правил фильтрации политики безопасности, содержащих временные параметры, методом проверки на модели // XI Санкт-Петербургская Международная Конференция “Региональная информатика-2008” (“РИ-2008”). Материалы конференции. СПб., 2008. С.110-111.

2007

1. Котенко И.В., Тишков А.В., Черватюк О.В., Резник С.А., Сидельникова Е.В. Система верификации политики безопасности компьютерной сети // Вестник компьютерных и информационных технологий, № 11, 2007. C.48-56.
2. Котенко И.В., Тишков А.В., Сидельникова Е.В., Черватюк О.В. Проверка правил политики безопасности для корпоративных компьютерных сетей // Защита информации. Инсайд, № 5, 2007. С.46-49; № 6, 2007. С.36-43.
3. Тишков А.В., Котенко И.В., Сидельникова Е.В., Черватюк О.В. Обнаружение и разрешение противоречий в политиках безопасности // Проблемы безопасности и противодействия терроризму. Материалы второй международной научной конференции по проблемам безопасности и противодействия терроризму. МГУ им.М.В.Ломоносова. М.: МЦНМО, 2007. С.172-185.
4. Artem Tishkov, Igor Kotenko, Ekaterina Sidelnikova, Olga Chervatuk. Detection and Resolution of Inconsistencies in Security Policy. Proceedings of the International Security and Counteracting Terrorism Conference. Moscow. Lomonosov Moscow State University Intellectual Center. 2007. 5 p. (на английском).
5. Igor Kotenko, Artem Tishkov, Olga Chervatuk, Ekaterina Sidelnikova. Security Policy Verification Tool for Geographical Information Systems. Third International Workshop “Information Fusion and Geographical Information Systems” (IF&GIS’07). St.Petersburg, Russia, May 27-29, 2007. Lecture Notes in Geoinformation and Cartography. Springer. Popovich, Vasily V.; Schrenk, Manfred; Korolenko, Kyrill V. (Eds.). 2007. P.128-146. (на английском).
6. Igor Kotenko, Olga Chervatuk, Ekaterina Sidelnikova, Artem Tishkov. Hybrid Multi-module Security Policy Verification. 2007 IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2007). 13-15 June 2007. Bologna, Italy. 2007. P.277. (на английском).
7. Резник С.А., Черватюк О.В. Обнаружение конфликтов фильтрации и защиты каналов в политике безопасности на основе методов верификации на модели // Методы и технические средства обеспечения безопасности информации. Материалы ХVI Общероссийской научно-технической конференции. 27-29 июня 2007 года. Санкт-Петербург. Издательство Политехнического университета. 2007. C.37.
8. Черватюк О.В. Верификация правил фильтрации политики безопасности методом проверки на модели // V Санкт-Петербургская межрегиональная конференция «Информационная безопасность регионов России (ИБРР-2007). 23-25 октября 2007 г. Материалы конференции. СПб, 2007. С.69-70.

2006

1. Тишков А.В., Черватюк О.В., Лакомов Д.П., Резник С.А., Сидельникова Е.В. Обнаружение и разрешение противоречий в спецификациях сложных систем // КИИ-2006. X Национальная конференция по искусственному интеллекту с международным участием. Труды конференции. Том 1. М.: Физматлит, 2006. С.87-90. ISBN: 5-9221-0757-7.
   NCAI-06-A-Tishkov.pdf [application/pdf] (8427 bytes)
   NCAI-06-Tishkov.pdf [application/pdf] (338635 bytes)
2. Котенко И.В., Тишков А.В., Черватюк О.В. Архитектура и модели для верификации политик безопасности // Материалы международной конференции по проблемам безопасности и противодействия терроризму. М.: МЦНМО, 2006, С.282-292.
   ISCTC-06-paper2.pdf [application/pdf] (221722 bytes)
3. Тишков А.В., Котенко И.В., Черватюк О.В., Лакомов Д.П., Резник С.А., Сидельникова Е.В. Обнаружение и разрешение конфликтов в политиках безопасности компьютерных сетей // Труды СПИИРАН, Выпуск 3, Том 2. СПб.: Наука, 2006. С.102-114.
4. Котенко И.В., Тишков А.В., Черватюк О.В., Лакомов Д.П. Поиск конфликтов в политиках безопасности // Изв. вузов. Приборостроение, Т.49, № 11, 2006.
5. Тишков А.В., Котенко И.В., Сидельникова Е.В., Черватюк О.В. Обнаружение и разрешение противоречий в политиках безопасности // Пятая Общероссийская Конференция "Математика и безопасность информационных технологий" (МаБИТ-06). Москва, МГУ, 2006.

2005

1. Черватюк О.В., Тишков А.В., Котенко И.В. Верификация на модели в задаче динамического обнаружения конфликтов в политике безопасности компьютерных сетей // Вторая всероссийская научно-практическая конференция по имитационному моделированию и его применению в науке и промышленности "Имитационное моделирование. Теория и практика". ИММОД-2005. Сборник докладов. Том 1. Санкт-Петербург, 19-21 октября 2005 г. С.283-287.
2. Котенко И.В., Тишков А.В., Черватюк О.В. Архитектура и модели для верификации политик безопасности // Четвертая Общероссийская Конференция "Математика и безопасность информационных технологий" (МаБИТ-05). Москва, МГУ, 2005.
3. Котенко И.В., Тишков А.В., Лакомов Д.П., Черватюк О.В., Сидельникова Е.В. Проверка правильности политик безопасности // IV Межрегиональная конференция "Информационная безопасность регионов России" ("ИБРР-2005"). Труды конференции. Санкт-Петербург. 2005.

Наверх