Следите за новостями и участвуйте в обсуждениях!
Подписывайтесь на
наш Инстаграм,
Телеграм-канал и
присоединяйтесь к чату сообщества — чтобы не пропустить результаты конкурса грантов!
Исследование исходного кода программного обеспечения по уязвимостям
-
Исследуются принципиальные основы исходного кода программного обеспечения по уязвимостям. Изучаются методы и инструменты для предотвращения и обнаружения недостатков программного обеспечения, моделирование, обзоры кода, размытие, статический и динамический анализ кода, верификация программы и порча кода. Исследование подходов формального создания проверенных надежных программных систем, включающая в себя пять атрибутов: надежность, доступность, безопасность, отказоустойчивость и защищенность.
-
Образовательная программа 7M06105 Компьютерные науки и инженерия
-
Кредитов 5
-
Селективная дисциплина
-
Год обучения 1
-
Семестр 3