Модель безопасности средства, или Как формально описать подсистемы программного обеспечения
Модель безопасности средства, или Как формально описать подсистемы программного обеспечения
Авторы: Бегаев А. Н., Кашин С. В., Павлов Д. Д., Маркевич Н. А.
Издательство: НИУ ИТМО (Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики)
2022 г.
Кол-во страниц: 44
Предварительный просмотр:
О книге:
Учебно-методическое пособие разработано в соответствии с программами дисциплин «Технология сертификации средств защиты информации» и «Сертификация продукции в различных системах сертификации (Минобороны, ФСТЭК, ФСБ)» и предназначено для студентов, обучающихся по программам направления подготовки 10.03.01 Информационная безопасность. Учебно-методическое пособие содержит теоретический и практический материал, посвященный документации разработчика, необходимой для прохождения сертификации программного обеспечения в системе сертификации ФСТЭК России.