Skip nav

Projectos de I&D

Consulta de projectos homologados

Concurso para Projectos de Investigação Científica e de Desenvolvimento Tecnológico no âmbito do Programa CMU-Portugal - 2008

Certified Interfaces for Integrity and Security in Extensible Web-based Applications

CMU-PT/NGN/0044/2008

Área Científica Principal
Redes de nova geração e políticas de telecomunicações
Área Científica Secundária
Engenharia de software para a inovação nos serviços e sistemas adaptativos e com elevado desempenho
Palavras Chave
Language Based Integrity
Validation of Distributed Web Applications
Verification and Analysis of Security Policies
Distributed Systems and Services
Financiamento
€ 289 536,00
Instituições
Instituição Proponente
Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FCTUNL/UNL)
Instituições Participantes
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
Unidade de Investigação Principal
Centro de Informática e Tecnologias da Informação (CITI/FCT/UNL)
Equipa
Investigador Responsável
Luís Manuel Marques da Costa Caires
Investigadores
Carla Maria Gonçalves Ferreira
Vasco Thudichum Vasconcelos
João Ricardo Viegas Costa Seco
Hugo Filipe Mendes Torres Vieira
Francisco Cipriano da Cunha Martins
Bernardo Parente Coutinho Fernandes Toninho
Mário Rui Dias Pires
Maria Luísa Sobreira Gouveia Lourenço
Miguel Brazão Domingues
Tiago Vieira Correia dos Santos
Bolseiros
Filipe David Oliveira Militão