Дисциплина «Верификация безопасности информационных систем» согласно федеральному ГОС специальности 090303 «Информационная безопасность автоматизированных систем» (квалификация: специалист) является дисциплиной учебного цикла С.2 Математический и естественнонаучный цикл (Б Базовая часть).