[С. Е. Кондаков, В. М. Антонова, А. В. Щербаков, А. В. Астрахов, Л. С. Куликов] Сертификация программного обеспечения. Статический анализ программного кода

Описание книги:

Приведены основные теоретические сведения, используемые при проведении сертификационных испытаний по уровню контроля отсутствия недекларированных возможностей в программном обеспечении. Рассмотрен статический анализ исходных текстов программ. Даны пояснения к использованию инструментария для автоматизации данного вида анализа программного обеспечения. Для студентов, обучающихся по направлениям подготовки 10.05.01 Компьютерная безопасность, 10.05.03 Информационная безопасность автоматизированных систем, 10.05.07 Противодействие техническим разведкам и изучающих дисциплину «Сертификационные испытания программного обеспечения» в МГТУ им. Н. Э. Баумана.

Внимание! Сайт работает в архивном режиме. Все новые публикации и активность на нашем форуме.

Подробнее