Бегаев А.Н., Кашин С.В., Маркевич Н.А., Павлов Д.Д. Модель безопасности средства, или Как формально описать подсистемы программного обеспечения

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