Abstract-Firewalls är fortfarande det viktigaste säkerhetsskyddet för företagsnätverk. Nätverksstorlek och komplexitet gör dock brandväggskonfiguration och underhåll notoriskt svårt. Verktyg behövs för att analysera brandväggskonfigurationer för fel, för att verifiera att de korrekt implementerar säkerhetskrav och för att generera konfigurationer från krav på högre nivå. I detta dokument utökar vi vårt tidigare arbete med att använda formella argument och preferenser för brandväggspolitisk analys och utvecklar metoder för att automatiskt generera brandväggspolicyer från högre krav. Detta gör det möjligt att göra både analyser och generering inom samma ramar och därmed ta hänsyn till en mängd olika scenarier för att skapa och underhålla brandväggskonfigurationer. Vi validerar vår strategi genom att tillämpa den på båda exemplen från litteraturen och verkliga brandväggskonfigurationer av måttlig storlek (-150 regler).
I REF utökar de sitt tidigare arbete för att automatiskt generera brandväggspolicyer från krav på högre nivå.
Using argumentation logic for firewall configuration management
{'venue': '2009 IFIP/IEEE International Symposium on Integrated Network Management', 'journal': '2009 IFIP/IEEE International Symposium on Integrated Network Management', 'mag_field_of_study': ['Computer Science']}