Một sử dụng bảo mật máy tính thuật ngữ đề cập đến công nghệ được sử dụng để thực hiện hệ điều hành an toàn. Trong những năm 1980, Bộ quốc phòng Hoa Kỳ (DoD) đã sử dụng các tiêu chuẩn sách cam, nhưng tiêu chuẩn quốc tế hiện tại / IEC 15408, tiêu chí thường lệ định nghĩa một số tăng thêm các cấp độ bảo hiểm đánh giá nghiêm ngặt. Nhiều hệ điều hành phổ biến đáp ứng tiêu chuẩn EAL4 của việc được thiết kế thiết kế, thử nghiệm và xem xét, nhưng xác minh chính thức yêu cầu cho các cấp độ cao nhất có nghĩa là họ không phổ biến. Một ví dụ về một hệ thống thiết kế và thử nghiệm được xác nhận là LIÊM-178 B được sử dụng trong máy bay Airbus A 380 và một số máy bay phản lực quân sự.
Tiêu chuẩn của EAL4? là gì
Methodically thiết kế, thử nghiệm và đánh giá