Класс АРЕ — Оценка профиля защиты.

Класс ASE — Оценка предмета безопасности.

Суммарная спецификация предмета оценки ASE_TSS. Далее определяются уровни уверенности по возрастанию:

В данном случае термины "формально" и "полуформально" носят следующий смысл.

Формально — отражено на языке фиксированного синтаксиса с предопределенной семантикой на основе качественно проработанных математических концепций.

Полуформально — отражено на языке фиксированного синтаксиса с предопределенной семантикой.