Анализ безопасности программного обеспечения киберфизических систем с использованием методов

Апробация работы. Основные результаты исследований и научных разработок 
докладывались и обсуждались на следующих конференциях: научно-практическая 
конференция «РусКрипто» (Москва, 2018, 2019 гг.), научно-техническая конференция 
«Методы и технические средства обеспечения безопасности информации» (Санкт-
Петербург, 2013, 2015, 2016, 2017 и 2018 гг.), научно-практическая конференция c 
международным участием «Неделя науки СПбГПУ» (Санкт-Петербург, 2014 г.), научная 
конференция «Информатика и кибернетика (ComCon-2015)» (Санкт-Петербург, 2015 г.), 
международная конференция «Региональная информатика (РИ-2014)» (Санкт-Петербург, 
2014, 2016 гг.), межрегиональная конференция «Информационная безопасность регионов 
России (ИБРР-2015)» (Санкт-Петербург, 2015 г.), межрегиональная научно-практическая 
конференция «Перспективные направления развития отечественных информационных 
технологий» (Севастополь, 2018 г.). 
Работа победила в конкурсе грантов Правительства Санкт-Петербурга для студентов 
вузов, расположенных на территории Санкт-Петербурга, аспирантов вузов, отраслевых и 
академических институтов, расположенных на территории Санкт-Петербурга, в 2014 году. 
Публикации. Результаты диссертационной работы отражены в 18 публикациях, в 
том числе 5 публикаций в рецензируемых журналах из перечня ВАК РФ, 7 публикаций в 
изданиях из перечня РИНЦ. 
Объем и структура диссертации. Диссертация состоит из введения, четырех глав, 
заключения и списка литературы из 139 наименований. Общий объем работы составляет 
152 страницы, в том числе 36 рисунков и 12 таблиц. 
ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ 
Во введении обоснована актуальность темы исследования, поставлена цель и 
определены основные задачи. Сформулированы основные научные результаты 
исследований и положения, выносимые на защиту. Раскрыта научная новизна, 
теоретическая и практическая значимость полученных результатов. Представлены 
сведения по апробациям и публикациям по теме исследований. Приведена краткая 
аннотация содержания диссертации по главам. Рассмотрены возможности практического 
применения предложенных в работе методов и алгоритма.