Em Andamento
Cibersegurança de Sistemas Ciber-Físicos Industriais
Projeto focado no desenvolvimento de técnicas de defesa para ataques cibernéticos em sistemas ciber-físicos industriais, utilizando verificação formal e detecção de intrusão.
Agência/instituiçãos
CAPES, FAPEAM
Valor
R$ 150.000
Período
janeiro de 2024 – dezembro de 2027
Coordenação
Processo
0148.2024.2.23.0050
Duração
48 meses
Projeto
Descrição
Projeto focado no desenvolvimento de técnicas de defesa para ataques cibernéticos em sistemas ciber-físicos industriais, utilizando verificação formal e detecção de intrusão.
Objetivos
Objetivos
Desenvolver e testar técnicas de defesa cibernética para sistemas ciber-físicos, incluindo detecção de intrusão, verificação formal e tolerância a ataques.
Método
Metodologia
Metodologia baseada em verificação formal usando model checking (ESBMC), desenvolvimento de sistemas de detecção de intrusão usando machine learning, e testes de penetração em sistemas embarcados industriais.
Resultados esperados
Resultados esperados
Espera-se um arcabouço de detecção e resposta a ataques para sistemas ciber-físicos industriais, com validação experimental.
Resultados alcançados
Resultados alcançados
Testbed experimental montado com PLCs e sistemas SCADA, 3 artigos submetidos a conferências internacionais (IEEE CCTA, ACC, IFAC), 1 artigo aceito em periódico Q1.
Impacto
Impacto e legado
Benefício direto para a indústria local através da transferência de tecnologia de cibersegurança, fortalecimento da segurança de sistemas críticos na Amazônia, e formação de recursos humanos especializados.
Equipe
Equipe e coordenação (8)
Pesquisa
Linha de pesquisa
Produção
Publicações relacionadas (2)
Parceiros
Instituições relacionadas
Palavras-chave
Palavras-chave
CibersegurançaSistemas Ciber-FísicosVerificação FormalSistemas de Controle IndustrialDetecção de IntrusãoModel Checking
Galeria
Imagens
