Исследование исходного кода программного обеспечения по уязвимостям

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