Математические модели, методы и алгоритмы обнаружения уязвимостей в программных системах и защиты от компьютерных атак

Работа направлена на создание моделей и методов анализа сложных программ на примере динамических веб-приложений для обнаружения программных уязвимостей, вредоносных клиентских программ и защиты приложений от компьютерных атак.В результате работы запланировано разработать модели функционирования динамических веб-приложений и программных уязвимостей в клиентской и серверной стороне приложения. Модели вредоносных клиентов веб-приложений. Указанные модели должны позволять автоматизировать обнаружение программных уязвимостей в веб-приложениях, а также защиту таких приложений от компьютерных атак. Будут разработаны методы, алгоритмы и инструментальные средства обнаружения уязвимостей в динамических веб-приложениях и обнаружения попыток реализации атак на эти уязвимости, методы обнаружения вредоносных клиентов веб-приложений. Также в качестве одного из направлений работы запланировано создание методов, алгоритмов и инструментальных средств обеспечения защиты передаваемых данных в условиях функционирования в не доверенном окружении.