La asignatura está enfocada al desarrollo y mantenimiento de software seguro y sin vulnerabilidades. Por tanto, los resultados de aprendizaje que se espera que el estudiante pueda alcanzar son:
Identificar las principales causas de vulnerabilidad conocidas y desarrollar el código seguro que las evite.
Conocer y saber aplicar un conjunto de métodos, técnicas y herramientas que permitan probar que el software desarrollado cumple los requisitos de funcionalidad y seguridad.
Aplicar métodos para verificar formalmente la corrección de componentes de software crítico seguro.
Realizar, junto con las pruebas tradicionales, otras adicionales específicas de seguridad.
Usar modelos de penetración, patrones de ataque, de abuso o mal uso del sistema en la fase de pruebas.
Conocer los procedimientos y programas de mantenimiento de software para que continúe cumpliendo con los requisitos de funcionalidad y seguridad.
