О программе обучения
Анализ известных и вновь выявляемых уязвимостей, их систематизация, разработка методов интеллектуального поиска новых классов уязвимостей. Моделирование политик информационной безопасности, угроз и атак, методические основы разработки профилей защиты. Методы проектирования, моделирования, анализа, трансформации программ для выявления потенциальных уязвимостей в программных системах с учетом специфики фаз жизненного цикла: разработки требований, проектирования архитектуры, разработки программного кода, тестирования, верификации, сертификации и эксплуатации. Методы, алгоритмы и средства пострелизного глубокого анализа защищенности программно-аппаратного обеспечения.