brand

Защита диссертации - Петров Иван Сергеевич


Новости

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым
06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации
24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

Петров Иван Сергеевич

Обнаружение скомпрометированных коммутаторов в программно-конфигурируемых сетях

Диссертация защищена

Искомая степень: Кандидат физико-математических наук.

Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Дата размещения: 11 марта 2019.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 16 мая 2019.

Официальный оппонент: Ломазова Ирина Александровна, доктор физико-математических наук (05.13.17).

Место работы, должность: Национальный исследовательский университет «Высшая школа экономики», заведующая научно-учебной лабораторией процессно-ориентированных информационных систем факультета компьютерных наук.

Основные публикации за последние 5 лет:

  1. Nesterov R.A., Mitsyuk A.A., Lomazova I.A. Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 3. P. 285-302.
  2. Roman A. Nesterov, Irina A. Lomazova. Compositional Process Model Synthesis based on Interface Patterns, in: Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers Vol. 779: Communications in Computer and Information Science. Cham: Springer, 2018. P. 151-162.
  3. R.A. Nesterov, I.A. Lomazova. Using Interface Patterns for Compositional Discovery of Distributed System Models // Proceedings of the Institute for System Programming of the RAS. 2017. Vol. 29. No. 4. P. 21-38.
  4. Мицюк А. А., Ломазова И. А., ван дер Аалст В. Использование журналов событий для локальной корректировки моделей процессов // Моделирование и анализ информационных систем. 2017. Т. 24. № 4. С. 459-480.
  5. Daniil Frumin, Irina Lomazova. Branching Processes of Conservative Nested Petri Nets, in: VPT 2014. Second International Workshop on Verification and Program Transformation Vol. 28: EPiC Series. EasyChair, 2014. P. 19-35.
  6. Lomazova I. A., Popova-Zeugmann L. Controlling Petri Net Behavior using Priorities for Transitions, in: Concurrency, Specification and Programming. CS&P 2014. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming. Chemnitz, Germany, September 29 - October 1, 2014. / Ed. by L. Popova-Zeugmann. Vol. 1269: CEUR Workshop Proceedings (CEUR-WS.org). Berlin : Humboldt University of Berlin, 2014. P. 126-137.

Отзыв оппонента: Скачать

Официальный оппонент: Селиванов Сергей Александрович, кандидат технических наук (05.13.06).

Место работы, должность: «ФГАНУ ЦИТиС», начальник научно-технического центра перспективных технологий информационных процессов.

Основные публикации за последние 5 лет:

  1. Аведьян Э.Д., Галушкин А.И., Селиванов С.А. Сравнительный анализ структур полносвязных и сверточных нейронных сетей и их алгоритмов обучения. // Информатизация и связь. 2017, № 5. С. 18-30.
  2. Старовойтов А.В., Богданов Ю.М., Огарок А.Л., Селиванов С.А. Анализ эвристического и нейроматематического подходов к разработке алгоритмов и созданию систем. // Информатизация и связь. 2017, № 5. С. 7-12.
  3. Богданов Ю.М., Луганский В.Э., Селиванов С.А., Огарок А.Л. Методические аспекты защиты от компьютерных атак в сетях связи повышенной устойчивости. // Информатизация и связь. 2016, № 4. С. 13-17.
  4. Селиванов С.А., Силаев Ю.В., О необходимости изучения влияния социальных коммуникаций в киберпространстве на национальную и международную безопасность. // Российский технологический журнал. 2015, Т. 2. № 4 (9). С. 196-200.
  5. Старовойтов А.В., Богданов Ю.М., Селиванов С.А., Хлопотин Ю.А. Информационное противодействие кибертерроризму. // Информатизация и связь. 2015, № 4. С. 5-10.
  6. Селиванов С.А., Силаев Ю.В. О необходимости изучения влияния социальных коммуникаций в киберпространстве на национальную и международную безопасность // Вестник МГТУ МИРЭА. 2015. № 4 (9), том 2, с. 196-2006.
  7. Аведьян Э.Д., Луганский В.Э., Селиванов С.А. Многослойная нейронная сеть и нейронная сеть СМАС в задаче заполнения пропусков в таблицах и строках Сборник трудов IV Международной конференции "Энергетика, информатика, инновации-2014", Из-во Универсум, г. Смоленск, Том 1, С. 167-173.

Отзыв оппонента: Скачать

Ведущая организация: Федеральное государственное бюджетное образовательное учреждение высшего образования «Ярославский государственный университет им. П.Г.Демидова».

Контактные данные: 150003, г. Ярославль, ул. Советская, д. 14, +7 (4852) 797702, rectorat@uniyar.ac.ru, www.uniyar.ac.ru

Основные публикации за последние 5 лет:

  1. Моржов С.В., Соколов В.А. Эффективный алгоритм разрешения коллизий в правилах политики безопасности //Моделирование и анализ информационных систем. – 2019. – Т. 26. – №. 1. – С. 75-89.
  2. Durnev V. G. et al. On Some Approaches to the Solution of the “Useful Proof-of-Work for Blockchains” Task //Automatic Control and Computer Sciences. – 2018. – Т. 52. – №. 7. – С. 880-884.
  3. Karyaeva M. S., Sokolov V. A. On the Problem of Multi-word Term Extraction from a Domain-specific Document Collection //Аналитика и управление данными в областях с интенсивным использованием данных. – 2017. – С. 218-221.
  4. Sokolov V.A. et al. Instrumental supporting system for developing and analysis of software-defined networks of mobile objects //Automatic Control and Computer Sciences. – 2016. – Т. 50. – №. 7. – С. 536-545.
  5. Чалый Д.Ю., Никитин Е.С., Антошина Е.Ю., Соколов В.А. Модель безопасности информационных потоков для программно-конфигурируемых сетей. Моделирование и анализ информационных систем. 2015;22(6):735-749.
  6. Кузьмин Е.В., Соколов В.А. О построении и верификации программ логических контроллеров //Моделирование и анализ информационных систем. – 2015. – Т. 19. – №. 4. – С. 25-36.
  7. Kuzmin E. V., Sokolov V. A., Ryabukhin D. A. Construction and Verification of PLC LD Programs by the LTL Specification //Automatic Control and Computer Sciences. – 2014. – Т. 48. – №. 7. – С. 424-436.

Отзыв ведущей организации: Скачать

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 18 из 22 членов диссертационного совета: Аветисян А.И., Томилин А.Н., Петренко А.К., Зеленов С.В., Абрамов С.А., Белеванцев А.А., Бурдонов И.Б., Дроздов А.Ю., Евтушенко Н.В., Жданов А.А., Карпов Л.Е., Крюков В.А., Кузнецов С.Д., Кузюрин Н.Н., Лаврищева Е.М., Позин Б.А., Серебряков В.А., Шнитман В.З.

Заключение диссертационного совета: Скачать