10. Согласно «Европейским критериям» формальное описание функций безопасности требуется на уровне