UM MÉTODO PARA VERIFICAÇÃO FORMAL DE REGRAS DE PROXY

Abstract

garantir segurança aos usuários e ao administrador do sistema. Contudo, a configuração de regras que permitam o acesso ao mesmo tempo que evitem abusos se torna um desafio em uma grande rede. A partir dessa situação, este trabalho apresenta um método de verificação das configurações de servidores proxy utilizando verificação formal baseada em modelos. O emprego de métodos formais para auxiliar a solução do problema torna o processo mais confiável pois as técnicas aplicadas podem ser provadas utilizando mecanismos rígidos e confiáveis. Para que a verificação das regras seja possível, inicialmente é necessário modelar as configurações de acesso do servidor proxy. A partir deste modelo são descritas as propriedades que serão verificadas em lógica formal e um resultado é obtido de forma que as propriedades satisfaçam o modelo gerado. Para demonstrar a efetividade da solução, foi implementada uma ferramenta para verificação automática das regras de proxy a partir do método proposto. Foi efetuada uma demonstração da execução da ferramenta aplicando um estudo de caso, para que possa ser observado o seu funcionamento