What is the standard for EAL6?
Many common operating systems meet the EAL4 standard of being "Methodically Designed, Tested and Reviewed", but the formal verification required for the highest levels means that they are uncommon.
Каков стандарт для EAL6?
Многие распространенные операционные системы соответствуют стандарту EAL4 "Методически спроектированы, протестированы и проверены", но формальная проверка, требуемая для самых высоких уровней, означает, что они являются необычными.