P4Sec

No P4Sec, propõe-se o desenvolvimento de novas técnicas de verificação de rede que permitam aos operadores verificar se a sua rede satisfaz algumas propriedades de segurança. Em segundo lugar, no projeto, propõe-se a utilização do plano de dados para implementar um kernel de segurança para reforçar as propriedades de segurança, uma abordagem que complementa a verificação como uma forma de garantir o comportamento correto da rede. Finalmente, o trabalho propõe desenvolver novos serviços de segurança que aproveitem as capacidades de um plano de dados programável. Os resultados do trabalho proposto promoverão a adoção de redes de próxima geração mais seguras e flexíveis, fornecendo aos operadores as ferramentas necessárias para verificar e impor as propriedades críticas de segurança da rede.