Aplicación de métodos formales al dominio de la ciberseguridad

Esta línea pretende analizar y garantizar la seguridad de determinados modelos de programa, sistemas de información y tecnologías software/hardware emergentes. Este análisis está basado en el uso de métodos y técnicas formales. El estudio de la seguridad puede tener lugar durante la fase de diseño de los sistemas sensibles y/o durante su ejecución. En el primer caso, la aproximación propuesta implica la combinación de metodologías de diseño orientadas a modelos con métodos formales más tradicionales. La detección de potenciales problemas y debilidades a nivel de diseño no excluye que los sistemas puedan ser atacados por software malicioso durante su ejecución. Por este motivo, también se pretenden aplicar modelos y técnicas formales para extraer características presentes en este software de propósito malicioso y utilizar esta información para mejorar las técnicas de prevención y detección de ataques