Модель безопасности средства, или как формально описать подсистемы программного обеспечения: учебно-методическое пособие.

Бегаев А.Н., Кашин С.В., Маркевич Н.А., Павлов Д.Д. Модель безопасности средства, или как формально описать подсистемы программного обеспечения: учебно-методическое пособие. - Санкт-Петербург: Университет ИТМО, 2022. - 43 с. - экз.

Аннотация :

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

Описание :

       Рекомендовано к использованию в Университете ИТМО по направлению подготовки 10.03.01 Информационная безопасность в качестве Учебно-методическое пособие для реализации основных профессиональных образовательных программ высшего образования бакалавриата.

Название : Модель безопасности Скачать PDF (2115.57 Кб)