Desarrollo de un marco de trabajo para la incorporación de seguridad en software usando Round-Trip Engineering.

Control de acceso se define como "Limitar el acceso a los recursos de los sistemas de información sólo a usuarios, programas, procesos u otros sistemas autorizados". El problema principal de investigación es asegurar la consistencia entre modelos de control de acceso y código en un proyecto con Round-Trip Engineering (RTE). Para resolver dicho problema es necesario crear mecanismos que no sólo refuercen la seguridad a nivel de código, sino que permitan a los programadores realizar modificaciones al código teniendo la certeza que los modelos que serán generados a partir de estas modificaciones, conserven las características de seguridad impuestas originalmente a nivel de diseño.