Tugurium/GTI

Glosario Terminología Informática

EAL7

0 EAL7
Nivel de seguridad 7 del CC. Prueba y diseño formalmente verificados. El modelo formal se complementa con la presentación formal de las especificaciones funcionales y un diseño de alto nivel mostrando la correspondencia. Son necesarios una prueba de desarrollo de "caja blanca" y una completa confirmación independiente del resultado de las pruebas de desarrollo. La complejidad del diseño debe ser minimizada.
2005-12-18