Классы оценок

Отдельно в документе выделено два класса.

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

• Описание предмета оценки APE_DES.
• Среда безопасности APEENV.
• Описание профиля защиты APE_INT.
• Цели безопасности APE_OBJ.
• Требования информационной безопасности APE_REQ.
• Подробно описанные требования информационной безопасности APE_SRE.

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

• Описание предмета оценки ASE_DES.
• Среда безопасности ASEENV.
• Описание предмета безопасности ASEINT.
• Цели безопасности ASE_OBJ.
• Заявки профиля защиты ASE_PPC (цель этого параметра — определить корректность определения предметом безопасности профиля защиты).
• Требования информационной безопасности ASEREQ.
• Подробно описанные требования информационной безопасности ASE_SRE.

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

• EAL1 — функционально протестировано;
• EAL2 — структурно протестировано;
• EAL3 — методически протестировано и сверено;
• EAL4 — методически проработано, протестировано и проанализировано;
• EAL5 — полуформально проработано и протестировано;
• EAL6 — полуформально проработано и протестировано с подтверждением;
• EAL7 — формально проработано и протестировано с подтверждением.

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

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