一个术语的计算机安全是指用于执行安全操作系统的技术. 在1980世纪1980年代, 美国国防部(国防部)使用了橙色书籍标准, 但目前国际标准iso / iec 15408, 共同标准界定了一些逐步更严格的评价保证水平. 许多常见的操作系统符合系统设计, 测试和审查的eal4标准, 但最高水平所需的正式核查意味着它们是罕见的. 一个eal6 (semiformally认证的设计和测试)系统的例子是诚信-178 b, 这是在空中客车a 380和几个军用飞机上使用的.
一个遇到eal6? 的系统的例子是什么
诚信-178 b