Integrity-178B
¿Cuál es un ejemplo de un sistema que cumple con EAL6?
Un uso del término "seguridad informática" se refiere a la tecnología que se utiliza para implementar sistemas operativos seguros. En la década de 1980, el Departamento de Defensa de los Estados Unidos (DoD) utilizó los estándares "Libro Naranja", pero el estándar internacional actual ISO / IEC 15408, "Criterios Comunes" define una serie de evaluaciones. Muchos sistemas operativos comunes cumplen con el estándar EAL4 de ser "Methodically Designed, Tested and Reviewed", pero la verificación formal requerida para los niveles más altos significa que son poco comunes. Un ejemplo de un sistema EAL6 ("Semiformally Verified Design and Tested") es el Integrity-178B, que se utiliza en el Airbus A380 y varios aviones militares.
question: ¿Cuál es un ejemplo de un sistema que cumple con EAL6?, answer: Integrity-178B