Công nghệ được sử dụng để triển khai hệ điều hành an toàn là một trong những cách sử dụng thuật ngữ nào?
Nhiều hệ điều hành phổ biến đáp ứng tiêu chuẩn EAL4 là "Thiết kế, kiểm tra và đánh giá có phương pháp", nhưng việc xác minh chính thức cần thiết cho các cấp cao nhất có nghĩa là chúng không phổ biến.