Integração de serviços de alto e baixo nível em redes programáveis para redes seguras

• Processo: 22/12314-9
• Modalidade de apoio: Bolsas no Brasil - Programa Capacitação - Treinamento Técnico
• Vigência (Início): 01 de novembro de 2022
• Vigência (Término): 31 de outubro de 2024
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Acordo de Cooperação: MCTI/MC
• Pesquisador responsável: Genaína Nunes Rodrigues
• Beneficiário: Everaldo Silva Júnior
• Instituição Sede: Instituto de Ciências Exatas. Universidade de Brasília (UNB)
• Vinculado ao auxílio: 20/05152-7 - PROFISSA: internet do futuro programável para arquiteturas e softwares seguros, AP.TEM
• Assunto(s): Engenharia de software Sistemas de informação Segurança da informação Programabilidade de rede Otimização em redes
• Palavra(s)-Chave do Pesquisador: Detecção de fluxos maliciosos | Gerenciamento de programabilidade de redes | Goal-Oriented Requirements Engineering | Model-Driven Engineering | Otimização de aplicações e metodologias | Engenharia de Software, Sistemas de Informação e Segurança Computacional

Resumo

O projeto PROFISSA estabelecerá processos, métodos, interfaces, protocolos e modelos que facilitarão e tornarão mais confiável o desenvolvimento de software para redes programáveis. Uma das ações é criar soluções que facilitem o desenvolvimento de software de baixo nível a partir de serviços de alto nível para implementação de sistemas seguros. Entretanto, essa ação apresenta vários desafios, como o de fazer com que a programabilidade de rede esteja alinhada à possibilidade de se instanciar e remover dinamicamente os aplicativos de rede, permitindo, assim, a criação de sistemas de segurança distribuídos. A corretude dos programas a serem desenvolvidos de camadas superiores e inferiores da SDN precisa estar em concordância com o comportamento da rede e seus requisitos. Nesse sentido, é demandado que haja uma integração dessas camadas para verificação e validação de regras que podem ser aplicadas à rede, bem como para que sejam reconhecidas e gerenciadas incertezas parametrizadas no processo de garantia de qualidade de serviço, em particular, questões relacionadas particularmente a atributos de segurança. Deste modo, o contexto do presente trabalho a ser desenvolvido é contribuir para integração das camadas da SDN com o gerenciamento da programabilidade da rede em si por meio das interfaces de gerenciamento utilizando as técnicas de Model- Driven Engineering (MDE) e Goal-Oriented Requirements Engineering (GORE). Esse bolsista TT-4 irá interagir com os bolsistas de TT-1 e TT-3 que desenvolverão uma solução para mitigar a presença de fluxos maliciosos, bem como a definição de metodologias e padrões para desenvolver aplicações otimizadas e seguras para redes programáveis; instalar e testar a solução e disseminar os resultados da pesquisa. (AU)