Métodos Formais para a Análise de Segurança de Redes 5G: Desafios e Oportunidades

Neste artigo são discutidos cenários de aplicação de métodos formais, como, por exemplo, análise de segurança de protocolos usados em sistemas de comunicação móveis de quinta geração (5G). São também apresentados desafios e oportunidades relacionados com a aplicação de métodos formais no contexto de segurança cibernética de sistemas 5G. Foi possível observar que a aplicação de métodos formais para a segurança em cenários de aplicação 5G é ainda pouco explorada em pesquisas científicas. Mais estudos são necessários com foco, por exemplo, na análise de viabilidade de ameaças e verificação formal de conformidade com políticas de segurança.