Acções do Documento
LATiCES
Linguagens e Ferramentas para Sistemas CrÃticos de Tempo Real
O objetivo deste projeto é contribuir para uma mudança no atual paradigma de segurança nas infraestruturas de TIC, onde a aplicação e a operação de sistemas crÃticos exige um reforço ao nÃvel da segurança como processo reativo. Isto implica só não elevados custos de gestão, mas também não fornece garantias de segurança rigorosas.
O projeto pretende desenvolver ferramentas teóricas e tecnológicas que suportem esta mudança, construindo métodos formais avançados que promovam a segurança da informação e fiabilidade e que, de forma independente, são áreas de investigação mais consolidadas.
Data InÃcio: 1 janeiro 2013
Orçamento: € 437.500
Equipa: José Creissac Campos e Jorge Sousa Pinto
Website do Projeto: LATiCES
Esqueceu a sua senha?
