Med tanke på ett nätverk som distribuerar flera brandväggar och system för att upptäcka intrång i nätet (NIDS), är det ett utmanande problem att se till att dessa säkerhetskomponenter är korrekt konfigurerade. Även om modeller har utvecklats för att resonera självständigt om effektiviteten av brandväggar och NIDS, finns det ingen gemensam ram för att analysera deras interaktion. I detta dokument presenteras en integrerad, begränsningsbaserad metod för modellering och resonemang om dessa konfigurationer. Vårt tillvägagångssätt beaktar beroendena bland de två typerna av komponenter, och kan resonera automatiskt om deras kombinerade beteende. Vi har utvecklat ett verktyg för specifikation och verifiering av nätverk som inkluderar flera brandväggar och NIDS, baserat på detta tillvägagångssätt. Detta verktyg kan också användas för att automatiskt generera NIDS-konfigurationer som är optimala i förhållande till en given kostnadsfunktion.
Som sådan har Uribe och Cheung REF utvecklat ett tillvägagångssätt för verifiering av säkerhetskonfigurationer av brandväggar och nät-IDS.
Automatic analysis of firewall and network intrusion detection system configurations
{'venue': "FMSE '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}