Sections
  Home HASLab Projects LATiCES
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

image_preview_HASLAB.jpg
image_preview_HASLAB.jpg
anuncio-site
anuncio-contactos

Contacts

HASLab +351 22 209 4000