ИСТИНА

НИР посвящена разработке новых и развитию существующих математических моделей и методов защиты информации и криптографии. НИР преследует следующие цели: 1) разработку, применение и исследование эффективности математических методов и подходов к анализу поведения программ; 2) разработка новых математических моделей и методов обеспечения безопасности информационных систем, изучение эффективности их применения; 3) разработка, применение и исследование эффективности математических методов криптографической защиты информации; 4) обоснование новых вызовов и угроз безопасности информационного пространства; 5) обоснование предложений по купированию выявленных новых вызовов и угроз безопасности информационного пространства; 6) новые математические средства, которые можно использовать для повышения защищенности информационного пространства.

The research is devoted to the development of new and the expansion of existing mathematical models and methods of information security and cryptography. The research pursues the following goals: 1) the development, application and study of the effectiveness of mathematical methods and approaches to the analysis of program behavior; 2) the development of new mathematical models and methods for ensuring the security of information systems, the study of the effectiveness of their application; 3) the development, application and study of the effectiveness of mathematical methods of cryptographic information protection; 4) the substantiation of new challenges and threats to the security of the information space; 5) the substantiation of proposals for the elimination of identified new challenges and threats to the security of the information space; 6) new mathematical tools that can be used to improve the security of the information space.

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

Научный задел по данной теме формируется из достижений и результатов, полученных в ходе выполнения работ по ряду НИР кафедры информационной безопасности, а также центра проблем информационной безопасности ВМК МГУ. В качестве научного задела укажем несколько диссертаций, которые ранее были защищены в МГУ, а также ряд научных статей. Диссертации: 2022 Комбинаторные свойства схем обеспечения конфиденциальности и целостности информации Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки) Автор: Ахметзянова Лилия Руслановна, МГУ имени М.В. Ломоносова 2022 Математические методы обоснования оценок уровня информационной безопасности программных средств защиты информации, функционирующих в слабодоверенном окружении Докторская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки) Автор: Смышляев Станислав Витальевич, д.ф.-м.н. Статьи: Vysotskaya, V., Chizhov, I. Design criteria of a new code-based KEM. J Comput Virol Hack Tech 20, 497–511 (2024). https://doi.org/10.1007/s11416-024-00527-z А. А. Грушо, Н. А. Грушо, М. И. Забежайло, Д. В. Смирнов, Е. Е. Тимонина, and С. Я. Шоргин. Поиск аномалий в больших данных. Системы и средства информатики, 32(1):160–170, 2022. V. Yu Korolev, I. A. Sokolov, and A. K. Gorshenin. Max-compound cox processes. iii. Journal of Mathematical Sciences, 267(2):273–288, 2022 M. A. Cherepnev and S. S. Gracheva. Pollard ro-method for finding a discrete logarithm in the case of its low weight. Информационные технологии, 28(1):26–32, 2022. Чижов И. В. Квадрат Адамара и обобщённое минимальное расстояние кода Рида–Маллера порядка 2 // Дискретная математика. — 2023. — Т. 35, № 1. — С. 128–152. Lysakov I. V. Solving some cryptanalytic problems for lattice-based cryptosystems with quantum annealing method // Математические вопросы криптографии. — 2023. — Vol. 14, no. 2. — P. 111–122.