serviços digitais da FCT
Atividade Financiada
InfraGov: Framework Pública para Infraestrutura IT Confiável e Segura
InfraGov: A Public Framework for Reliable and Secure IT Infrastructure
Detalhes
Referência
2024.07411.IACDC
2024.07411.IACDC
Data de Início do Projeto
2025-03-01
2025-03-01
Data de Fim do Projeto
2026-01-31
2026-01-31
771E-6592-C2AB
Área Científica
Ciências exatas
Ciências exatas
Programa de Financiamento
Inteligência Artificial, Ciência dos Dados e Cibersegurança de relevância na Administração Pública
Inteligência Artificial, Ciência dos Dados e Cibersegurança de relevância na Administração Pública
Resumo
À medida que os serviços da Administração Pública migram para plataformas digitais, a confiabilidade e a segurança da infraestrutura de TI tornam-se ainda mais críticas para garantir a entrega contínua de serviços, proteger as informações pessoais dos cidadãos e manter a confiança pública nos sistemas governamentais. Central para a operação destes serviços está a configuração e o código de infraestrutura que definem e gerem o ambiente em que estes operam. Este processo de uso de ficheiros de configuração programáveis para fornecer e gerir a infraestrutura de TI é conhecido como Infraestrutura como Código (IaC).
Apesar dos benefícios proporcionados pela Infraestrutura como Código (IaC), como sistemas mais confiáveis e previsíveis, bem como escalabilidade com esforço mínimo, erros nessas partes críticas de código podem levar a vulnerabilidades de segurança, interrupções de aplicações e execuções incorretas de programas que afectam a estabilidade e a confiabilidade dos serviços essenciais. Um exemplo bem conhecido é a interrupção do Facebook em 2021, desencadeada por uma configuração incorreta na sua rede interna que desconectou os serviços e ferramentas do Facebook, tornando impossível diagnosticar e resolver o problema rapidamente. No dia da interrupção, as ações da empresa caíram quase 5% e a riqueza do CEO do Facebook, Mark Zuckerberg, diminuiu em mais de US$ 6 bilhões. Segundo um relatório produzido pela Fortune e Snopes, o Facebook perdeu pelo menos US$ 60 milhões em receitas publicitárias. Além disso, no mundo em desenvolvimento, a interrupção desestabilizou a vida diária dos cidadãos, dado que as plataformas do Facebook tornaram-se a principal forma de conexão das pessoas nessas regiões. Por exemplo, em zonas de conflito como a Síria, o WhatsApp estava a ser utilizado por trabalhadores humanitários para comunicar locais de bombardeamentos, para assim poderem movimentar-se com segurança pelo país. Durante a interrupção, tal não foi possível.
Apesar do papel crítico da configuração e do código de infraestrutura na confiabilidade e segurança dos sistemas de software, a investigação em configuração confiável e infraestrutura como código ainda é escassa. Neste projeto, pretendemos preencher essa lacuna com o desenvolvimento de uma solução inovadora para detecção e reparação automática de erros e vulnerabilidades no código de configuração e infraestrutura de software. Este objetivo enfrenta vários desafios, incluindo a diversidade das tecnologias de IaC, a complexidade dos ecossistemas de IaC, e a necessidade de técnicas que possam modelar e raciocinar com precisão sobre o comportamento destes sistemas.
Com base nos desenvolvimentos recentes de nossa equipa de investigação (Saavedra e Ferreira, 2022; Saavedra et al., 2023), propomos a primeira solução poliglota para análise confiável e reparação automática para Infraestrutura como Código, que também utiliza avanços recentes em IA generativa para reduzir o tempo desde a divulgação de vulnerabilidades até a mitigação. Planeamos suportar vários tipos de erros, incluindo smells de código, inconsistências de configuração, erros de dependência e os chamados drifts de configuração (que ocorrem quando o estado de um sistema se desvia do que está especificado no ficheiro de configuração do sistema).
A nossa solução é adaptada para as necessidades das equipas de TI da Administração Pública. A nossa colaboração estreita com os nossos parceiros na Agência para a Modernização Administrativa (AMA), Instituto de Gestão Financeira e Equipamentos da Justiça (IGFEJ) e Entidade de Serviços Partilhados da Administração Pública (ESPAP), irá garantir que a solução oferece benefícios imediatos e práticos. A importância deste projeto é particularmente relevante neste ponto, pois à medida que observamos uma mudança significativa dos sistemas críticos da Administração Pública para a nuvem, cresce a necessidade de melhorias de segurança e confiabilidade na infraestrutura em nuvem. Além da infraestrutura crítica da Administração Pública Portuguesa, outro exemplo é o AWS European Sovereign Cloud, orientado para agências governamentais e indústrias regulamentadas na UE. Esta iniciativa enfatiza a importância crítica de armazenar dados sensíveis e de executar processos essenciais de forma segura na nuvem, destacando a necessidade urgente de nossa investigação para garantir uma gestão robusta e confiável da infraestrutura em nuvem.
Ao melhorar a confiabilidade do código de configuração e infraestrutura, este projeto tem o potencial de reduzir significativamente a incidência de falhas de sistema e de segurança. Melhorar a robustez destes elementos fundamentais dos sistemas de software aumentará a estabilidade e a segurança dos serviços críticos, contribuindo para a prevenção, detecção, análise e resposta a ameaças, riscos e incidentes que comprometem a proteção de infraestruturas, dados e indivíduos.
Instituições
Instituições Principais
- Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID)
Outras Instituições
- Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência (INESC TEC)
Financiamento 124.918,40 €
Fundação para a Ciência e a Tecnologia (FCT) - Portugal
0,00 €
União Europeia - Estrutura de Missão Recuperar Portugal (UE - EMRP)
124.918,40 €