Rumo à Verificação de Configuração Interdominal que Preserva a Privacidade via Computação a Múltiplas Partes

Erros de configuração em redes interdominais podem levar a consequências financeiras e sociais desastrosas. Embora tenha havido progressos substanciais no uso de métodos formais para verificar se as configurações de rede estão em conformidade com certas propriedades, as ferramentas atuais focam em uma única rede. O desafio fundamental da verificação de configuração em uma rede interdominal é a privacidade, pois cada sistema autônomo (AS) trata seus arquivos de configuração de rede como informações privadas e não está disposto a compartilhá-los com outros. Neste artigo, damos um primeiro passo em direção à verificação de configuração de rede interdominal e propomos o InCV, um sistema de verificação de configuração interdominal que preserva a privacidade, baseado em computação indiferente a dados. Dada uma rede interdominal, o InCV permite que os ASes simulem colaborativamente a execução da rede e verifiquem a base de informações de roteamento interdominais (RIB) resultante sem revelar suas configurações de rede a nenhuma parte. Avaliações preliminares usando topologias do mundo real e configurações de rede sintéticas mostram que o InCV pode verificar uma rede interdominal de 32 ASes em aproximadamente 52 minutos, com sobrecarga razoável.