Методы защищенной передачи данных для низкоресурсных вычислительных устройствMethods for secure data transmission for lightweight computing devices

Диссертационное исследование посвящено изучению методов защищенной передачи данных для низкоресурсных вычислительных устройств. Целью диссертационного исследования является разработка семейства криптографических протоколов обеспечения защищенной передачи данных для низкоресурсных вычислительных устройств. Теоретической основой исследования являются методы дискретной математики, алгебры, теории чисел, теории алгоритмов и математической логики и теории автоматов (теории графов). В рамках диссертационного исследования было разработано новое семейство криптографических протоколов, предложен метод построения формальной модели криптографических протоколов и формализации свойств безопасности, а так же метод оценки показателей эффективности защиты в рамках построенной модели. Проведена апробация предложенного метода в приложении к оценке показателей эффективности защиты разработанного семейства протоколов.