name: Разработка методов анализа программных реализаций криптографических протоколов для обнаружения атак на основе формальной верификации и динамического анализа
keyword_list: криптографические протоколы динамический анализ криптография формальная верификация верификация безопасности
abstract: Объект исследования – криптографические протоколы.
  Предмет исследования – методы и алгоритмы верификации безопасности криптографических протоколов.
  Цель работы – расширение возможностей выявления уязвимостей при верификации безопасности криптографических протоколов с помощью новых методов формальной верификации извлеченных из программного кода криптографических протоколов и динамического анализа.
  Методы исследования – математическое моделирование, формальная верификация, анализ исходных кодов, динамический анализ, имитационное моделирование атак.
  Полученные результаты и новизна – разработаны метод и алгоритмы автоматизированного анализа безопасности программных реализаций криптографических протоколов, отличающиеся возможностью обнаруживать связанные с криптографическим протоколом участки кода путем построения цепочек перехода от мест пересылки и получения данных до их изначальной инициализации, что позволяет применять данный метод для проектов, в исходном коде которых не обозначены специальные аннотации для облегчения поиска связанных с криптографическим протоколом участков кода; разработаны метод и алгоритмы динамического анализа программных реализаций криптографических протоколов, отличающиеся способностью проведения атак на основе заранее заготовленных шаблонов, что позволяет повысить качество анализа безопасности программных реализаций криптографических протоколов за счет учета деталей их реализации; разработан язык спецификации PDA (protocol dynamic analyzer – динамический анализ протоколов), отличающийся возможностью описывать шаблоны атак при применении динамического анализа.
  Степень и эффективность внедрения – результаты диссертации использованы: при выполнении гранта РФФИ № 18-07-01347 А «Разработка и исследование методов и алгоритмов организации электронных выборов на основе современных криптографических систем»; в учебном процессе на кафедре безопасности информационных технологий федерального государственного автономного образовательного учреждения высшего образования «Южный федеральный университет», а также докладывались и обсуждались на международных и всероссийских научно-технических конференциях.
  Область применения – полученные результаты могут быть использованы при выполнении НИОКР, посвященных решению задач обеспечения информационной безопасности в следующих областях: создание систем, использующих защищенную передачу данных, анализ безопасности криптографических протоколов.
chairman_dissertation_council.name: Людмила
chairman_dissertation_council.surname: Бабенко
chairman_dissertation_council.patronymic: Климентьевна
chairman_dissertation_council.position: профессор
chairman_dissertation_council.degree: Доктор технических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: AAE-1989-2019
chairman_dissertation_council.scopus_author_id: 55834381100
chairman_dissertation_council.rinc_id: 162508
chairman_dissertation_council.url: https://sfedu.ru/www/stat_pages22.show?p=UNI/s1/D&params=(p_per_id=%3E-3000074)
chairman_dissertation_council.orcid: 0000-0003-2353-7911
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Анатолий
organization_supervisor.surname: Метелица
organization_supervisor.patronymic: Викторович
organization_supervisor.position: проректор по научной и исследовательской деятельности
organization_supervisor.territory: РОССИЯ
rubrics.code: 81.93.29
rubrics.name: Информационная безопасность. Защита информации
oecds.code: 01.02.ET
oecds.name: COMPUTER SCIENCE, INFORMATION SYSTEMS
speciality_codes.name: Методы и системы защиты информации, информационная безопасность
speciality_codes.code: 2.3.6.
supervisors.fio: Бабенко Л.К.
supervisors.scientific_degree: Доктор технических наук
supervisors.speciality_code: Математическое моделирование, численные методы и комплексы программ
supervisors.responsible_type: Научный руководитель
opponents.fio: Машкина И.В.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Методы и системы защиты информации, информационная безопасность
opponents.responsible_type: Оппонент
opponents.fio: Осипян В.О.
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Математическое моделирование, численные методы и комплексы программ
opponents.responsible_type: Оппонент
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ЮЖНЫЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ"
protection_organization.ogrn: 1026103165241
protection_organization.supervisor_name: ИННА
protection_organization.supervisor_surname: ШЕВЧЕНКО
protection_organization.supervisor_patronymic: КОНСТАНТИНОВНА
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ЮЖНЫЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ"
author_organization.ogrn: 1026103165241
author_organization.supervisor_name: ИННА
author_organization.supervisor_surname: ШЕВЧЕНКО
author_organization.supervisor_patronymic: КОНСТАНТИНОВНА
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения