Trong những năm 1980, Bộ Quốc phòng đã sử dụng những tiêu chuẩn nào?
Một cách sử dụng thuật ngữ "bảo mật máy tính" đề cập đến công nghệ được sử dụng để triển khai các hệ điều hành an toàn. Trong 1980s, Bộ Quốc phòng Hoa Kỳ (DoD) đã sử dụng các tiêu chuẩn "Orange Book", nhưng tiêu chuẩn quốc tế hiện tại ISO / IEC 15408, "Tiêu chí chung" xác định một số mức độ đảm bảo đánh giá nghiêm ngặt hơn. Nhiều hệ điều hành phổ biến đáp ứng tiêu chuẩn EAL4 là "Được thiết kế, kiểm tra và đánh giá theo phương pháp", nhưng 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. Một ví dụ về hệ thống EAL6 ("Thiết kế và kiểm tra được xác minh một cách đồng nhất") là Integrity-178B, được sử dụng trong Airbus A380 và một số máy bay phản lực quân sự.