33) Методы и средства анализа безопасности программного обеспечения | MetodPro.ru

Реклама на сайте

33) Методы и средства анализа безопасности программного обеспечения


В наст. время широко известны различные средства программного обеспечения обнаружения элементов РПС - от простейших антивирусных программ-сканеров до сложных отладчиков и дизассемблеров.
Контрольно-испытательные методы анализа рассматривают РПС через призму фиксации факта нарушения безопасного состояния системы.
А логико-аналитические методы – через призму доказательства наличия отношения эквивалентности между моделью исследуемой программы и моделью разрушающей ПС.
В ряде случаев исп. статический и динамический анализ.



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем