Формальная верификация средств защиты информации Дисциплина[Б1.ДВ.2.9.1]
042 Кафедра криптологии и кибербезопасности
Структура:
Семестр
Всего (ч) (Лекц / Практ. / Лаб.)
Аттестация
2
108 (0 / 30 / 0)
Экзамен
Итого
108 (0 / 30 / 0)
Экзамен
Компетенции:
ПК-1 - Способен принимать участие в разработке систем обеспечения ИБ или информационно-аналитических систем безопасности
ПК-3 - Способен самостоятельно ставить конкретные задачи научных исследований в области ИБ или информационно-аналитических систем безопасности и решать их с использованием новейшего отечественного и зарубежного опыта