name: Исследование и разработка вероятностных методов верификации систем распределенного реестра
keyword_list: Формальные методы верификация распределенные системы системы распределенного реестра
abstract: Системы распределенного реестра получили широкое распространение в последнее время. Так как области применения систем распределенного реестра частно связаны с финансовым сектором, ошибки при разработке и эксплуатации таких систем могут привести к значительным финансовым потерям. Устранение уязвимостей на этапе разработки позволяет снизить риски возникновения ошибок в промышленной эксплуатации. 
  В работе ставится акцент на вероятностные характеристики систем распределенного реестра. Был проведен систематических обзор с целью выявить наиболее перспективные направления исследований в области верификации систем распределенного реестра. Решено использовать формальный метод верификации для проверки, что модель системы распределенного реестра удовлетворяет спецификации. Были смоделированы и проанализированы наиболее распространенные атаки на системы распределенного реестра. Также разработаны алгоритмы для построения модели и спецификации различных видов протоколов консенсуса.
  Результаты исследований внедрены в курс "Автоматизация программирования" магистерской программы кафедры алгоритмов и технологий программирования МФТИ. Теоретические и практические результаты диссертации также использованы в рамках работы, проводимой организацией Atomize. Алгоритмы моделирования, проверки и оптимизации процесса достижения консенсуса интегрированы в программный каркас Hyperledger Fabric, который используется для построения и администрирования блокчейн сетей. Результатом внедрения является проведение серии статистических экспериментов на тестовой сети Hyperledger Fabric с использованием исследовательских наработок. При заданном уровне значимости можно утверждать, что использование модифицированного программного каркаса ведет к увеличению вероятности достижения консенсуса.
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: L-5095-2017
chairman_dissertation_council.scopus_author_id: 6603605028
chairman_dissertation_council.rinc_id: 14675
chairman_dissertation_council.orcid: 0000-0001-8614-9612
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Виталий
organization_supervisor.surname: Баган
organization_supervisor.patronymic: Анатольевич
organization_supervisor.position: Проректор по научной работе
organization_supervisor.territory: РОССИЯ
rubrics.code: 27.47.23
rubrics.name: Математические проблемы искусственного интеллекта
oecds.code: 01.02.EV
oecds.name: COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS
speciality_codes.name: Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
speciality_codes.code: 2.3.5.
supervisors.fio: Хританков А.С.
supervisors.scientific_degree: Кандидат физико-математических наук
supervisors.speciality_code: Системный анализ, управление и обработка информации (по отраслям)
supervisors.responsible_type: Научный руководитель
protection_organization.short_name: МФТИ
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "МОСКОВСКИЙ ФИЗИКО-ТЕХНИЧЕСКИЙ ИНСТИТУТ (НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ)"
protection_organization.ogrn: 1027739386135
protection_organization.supervisor_name: ДМИТРИЙ
protection_organization.supervisor_surname: ЛИВАНОВ
protection_organization.supervisor_patronymic: ВИКТОРОВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: МФТИ
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "МОСКОВСКИЙ ФИЗИКО-ТЕХНИЧЕСКИЙ ИНСТИТУТ (НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ)"
author_organization.ogrn: 1027739386135
author_organization.supervisor_name: ДМИТРИЙ
author_organization.supervisor_surname: ЛИВАНОВ
author_organization.supervisor_patronymic: ВИКТОРОВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения