Abstract-Firewalls är viktiga element i nätverkssäkerhet, och har varit brett utplacerade i de flesta företag och institutioner för att säkra privata nätverk. En brandväggs funktion är att undersöka varje inkommande och utgående paket och besluta om man ska acceptera eller kassera paketet baserat på dess policy. På grund av bristen på verktyg för att analysera brandväggspolicyer, har de flesta brandväggar på Internet plågats av policyfel. En brandvägg policy fel antingen skapar säkerhetshål som tillåter skadlig trafik att smyga in i ett privat nätverk eller blockerar laglig trafik och stör normala affärsprocesser, vilket i sin tur kan leda till irreparabla, om inte tragiska, konsekvenser. Eftersom en brandvägg kan ha ett stort antal regler och reglerna ofta strider mot varandra, har det varit känt att det är svårt att förstå och analysera en brandväggs funktion. Ett effektivt sätt att hjälpa brandväggsadministratörer att förstå och analysera funktionen hos deras brandväggar är genom att ställa frågor. Ett exempel på en brandväggsfråga är "Vilka datorer i det privata nätverket kan ta emot paket från en känd skadlig värd på utsidan Internet?" Två problem måste lösas för att göra brandväggsförfrågningar praktiskt användbara: hur man beskriver en brandväggsförfrågan och hur man behandlar en brandväggsförfrågan. I den här artikeln introducerar vi först ett enkelt och effektivt SQL-liknande frågespråk, kallat Structured Firewall Query Language (SFQL), för att beskriva brandväggsfrågor. För det andra ger vi ett teorem, som kallas Firewall Query Theorem, som grund för att utveckla algoritmer för brandväggsförfrågan. För det tredje presenterar vi en effektiv algoritm för brandväggssökning, som använder beslutsdiagram som sin centrala datastruktur. För det fjärde föreslår vi metoder för att optimera brandväggsresultat. Slutligen presenterar vi metoder för att utföra facket, korsa, och minus operationer på brandvägg frågeresultat. Våra experimentella resultat visar att vår brandvägg frågehanteringsalgoritm är mycket effektiv: det tar mindre än 10 millisekunder att behandla en fråga över en brandvägg som har upp till 10 000 regler.
I ett annat verk, Liu et al. REF ger ett effektivt SQL-liknande frågespråk, kallat "Structured Firewall Query Language" (SFQL), för att beskriva brandväggsfrågor.
Firewall Policy Queries
{'venue': 'IEEE Transactions on Parallel and Distributed Systems', 'journal': 'IEEE Transactions on Parallel and Distributed Systems', 'mag_field_of_study': ['Computer Science']}