High- and low-level services integration in programmable networks for secure networks

• Grant number: 22/12314-9
• Support Opportunities: Scholarships in Brazil - Technical Training Program - Technical Training
• Start date: November 01, 2022
• End date: April 30, 2023
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Agreement: MCTI/MC
• Principal Investigator: Genaína Nunes Rodrigues
• Grantee: Everaldo Silva Júnior
• Host Institution: Instituto de Ciências Exatas. Universidade de Brasília (UNB)
• Associated research grant: 20/05152-7 - PROFISSA: Programmable Future Internet for Secure Software Architectures, AP.TEM

Abstract

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)