Сертификация программного обеспечения. Статический анализ программного кода
АвторыАнтонова В.М., Астрахов А.В., Кондаков С.Е., Куликов Л.С., Щербаков А.В.
ИздательствоМГТУ им. Н.Э. Баумана
Год издания2019
Приведены основные теоретические сведения, используемые при проведении сертификационных испытаний по уровню контроля отсутствия недекларированных возможностей в программном обеспечении. Рассмотрен статический анализ исходных текстов программ. Даны пояснения к использованию инструментария для автоматизации данного вида анализа программного обеспечения. <br>Для студентов, обучающихся по направлениям подготовки 10.05.01 Компьютерная безопасность, 10.05.03 Информационная безопасность автоматизированных систем, 10.05.07 Противодействие техническим разведкам и изучающих дисциплину "Сертификационные испытания программного обеспечения" в МГТУ им. Н.Э. Баумана. ...
Downloaded
2021-02-11