Nivel de seguridad 1 del CC. Prueba funcional. Proporciona un análisis de las funciones de seguridad usando unas especificaciones funcionales y de interfaz de los Objetivos de Evaluación (TOE), para comprender el comportamiento de seguridad. El análisis se basa en pruebas independientes de las funciones de seguridad.
