Использование динамической эпистемической логики для построения безопасного протокола обмена данными

ФИО студента: Мельников Иван Вадимович

Кампус/факультет: Факультет компьютерных наук

Программа: Прикладная математика и информатика (Бакалавриат)

Оценка: 9

Год защиты: 2024

В данном исследовании рассматривается использование динамической эпистемической логики для разработки протокола безопасной связи без традиционного шифрования. В исследовании анализируются логические задачи, такие как «The Russian Cards Problem», «Yao’s Millionaires’ Problem» и другие, чтобы определить условия, при которых безопасная связь возможна, а когда нет. В исследовании оцениваются различные алгоритмы с использованием вероятностного анализа и вычислительных методов, чтобы вывести универсальный подход для безопасной коммуникации. Ожидаемый результат - новый подход к безопасному обмену информацией, использующий уникальные свойства динамической эпистемической логики.

Текст работы (работа добавлена 20 мая 2024 г.)

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ