La tesis presenta una metodología original y basada en herramientas para el desarrollo seguro, dirigido por modelos, de aplicaciones de manejo de datos. Con la metodología definida, los desarrolladores proceden modelando tres vistas diferentes de la aplicación deseada: el modelo de datos, el modelo de seguridad y el modelo de la interfaz gráfica de usuario (GUI). Estos modelos formalizan respectivamente un dominio de datos, una política de autorización y una interfaz gráfica junto con los eventos que permiten la interacción con el usuario y dirigen el flujo de información. Después, una función de transformación de modelos traslada automáticamente la política especificada por el modelo de seguridad al modelo de GUI. Finalmente, un componente de generación de código genera de forma automática una aplicación multicapa, junto con todo el soporte de control de acceso, a partir del modelo de GUI con seguridad. Miguel Ángel García de Dios ha sido supervisado por Manuel Clavel, investigador senior de Instituto IMDEA Software y ha obtenido su grado de doctor de la Universidad Complutense de Madrid.
