Document Actions
LATiCES
Languages And Tools for Critical rEal-time Systems
The goal of this project is to contribute to a change in the current paradigm of secure ICT infrastructure, according to which the deployment and operation of a critical system implies security enforcement as a reactive process. This not only requires a significant management overhead, but also fails to provide rigorous security guarantees.
The project pursues the development of the theoretical and technological tools to support this shift, building on the state-of-the-art of formal methods, information security and dependability that, independently, are more consolidated research areas.
Start Date: January 1, 2013
Budget: € 437, 500
Project team: José Creissac Campos and Jorge Sousa Pinto
Project Website: LATiCES
Forgot your password?
