Методы защищенной передачи данных для низкоресурсных вычислительных устройствMethods for secure data transmission for lightweight computing devices
Соискатель:
Семенов Александр Михайлович
Руководитель:
Члены комитета:
Иванов Федор Ильич (МИЭМ им. А.Н. Тихонова ФГАОУ ВО «Национальный исследовательский университет «Высшая школа экономики», к. ф.-м. н., председатель комитета), Алексеев Евгений Константинович (ООО «Крипто-Про», к. ф.-м. н., член комитета), Евсютин Олег Олегович (МИЭМ им. А.Н. Тихонова ФГАОУ ВО «Национальный исследовательский университет «Высшая школа экономики», к. т. н., член комитета), Крук Евгений Аврамович (МИЭМ им. А.Н. Тихонова ФГАОУ ВО «Национальный исследовательский университет «Высшая школа экономики», д. т. н., член комитета), Лось Владимир Павлович (ФГБОУ ВО «МИРЭА – Российский технологический университет», д.в.н., член комитета)
Диссертация принята к предварительному рассмотрению:
7/20/2022
Диссертация принята к защите:
7/20/2022 (Протокол №18)
Дисс. совет:
Совет по инженерным наукам и прикладной математике
Дата защиты:
10/18/2022
Диссертационное исследование посвящено изучению методов защищенной передачи данных для низкоресурсных вычислительных устройств. Целью диссертационного исследования является разработка семейства криптографических протоколов обеспечения защищенной передачи данных для низкоресурсных вычислительных устройств. Теоретической основой исследования являются методы дискретной математики, алгебры, теории чисел, теории алгоритмов и математической логики и теории автоматов (теории графов). В рамках диссертационного исследования было разработано новое семейство криптографических протоколов, предложен метод построения формальной модели криптографических протоколов и формализации свойств безопасности, а так же метод оценки показателей эффективности защиты в рамках построенной модели. Проведена апробация предложенного метода в приложении к оценке показателей эффективности защиты разработанного семейства протоколов.
Диссертация [*.pdf, 1.02 Мб] (дата размещения 8/16/2022)
Резюме [*.pdf, 112.76 Кб] (дата размещения 8/16/2022)
Summary [*.pdf, 75.86 Кб] (дата размещения 8/16/2022)
Публикации, в которых излагаются основные результаты диссертации
Криптографические механизмы защищенного взаимодействия контрольных и измерительных устройств (смотреть на сайте журнала)
Analysis of Russian key-agreement protocols using automated verification tools (смотреть на сайте журнала)
On the practical implementation of Russian protocols for low-resource cryptographic modules (смотреть на сайте журнала)
Отзывы
Отзыв научного руководителя
- Отзыв научного руководителя (дата размещения 7/20/2022)
Сведения о результатах защиты:
Комитет по диссертации рекомендовал присудить учёную степень кандидата технических наук (протокол № 2 от 18.10. 2022г.);Решением диссертационного совета (протокол № 28 от 24.10. 2022г.) присуждена ученая степень кандидата технических наук