Аптаның тақырыптары

  • Лекция 1 Введение в безопасное программирование.

  • Лекция 2. Угрозы безопасности программного обеспечения.

  • Лекция 3. Требования к архитектуре информационной системы для обеспечения безопасности ее функционирования

  • Лекция 4. Методы проверки и тестирования программ и систем

  • Лекция 5. Методы защиты программного обеспечения от исследования

  • Лекция 6 Статический и динамический анализ программ.

  • Лекция 7. Стандарты сопровождения и управления конфигурацией программных средств

    • Подготовить доклад на тему:

      Возможности и способы применения современных автоматизированных средств статического (splint, FindBugs, why3, ...) и динамического (OWASP Zap, BurpSuite, Peach Fuzzer, ...) анализа программ

  • Лекция 8 Методы обеспечения надежности программ для контроля их технологической безопасности

  • Лекция 9. Подходы к защите разрабатываемых программ от автоматической генерации инструментальными средствами программных закладок

  • Лекция 10. Обзор существующих методов идентификации программного обеспечения

    • Изучить  антивирусные программные комплексы. Восстановление зараженных файлов. Профилактика проникновения «троянских программ».

  • Лекция 11. Методы и средства обеспечения целостности и достоверности используемого программного кода.

  • Лекция 12. Основные подходы к защите программ от несанкционированного копирования.

  • Лекция 13. Методы создания алгоритмически безопасных процедур.

  • Лекция 14 Тестирование и отладка программных систем.

  • Лекция 15. Основные методы обеспечения безопасности Web-приложений