Este artigo apresenta um framework para representação e tratamento de políticas de segurança de alto-nível para firewalls, independente de topologia, dispositivos e características dos dispositivos, baseada em programação declarativa. O algoritmo desenvolvido é capaz de indicar as regras que devem ser aplicadas a cada firewall, modificando-as de acordo com as capacidades dos firewalls. O algoritmo inclui um processo de avaliação das regras geradas para verificar se a política não é violada, e, em caso de violação, indicar a causa do problema. Um estudo de caso é apresentado para comprovar o funcionamento do framework.