Attackgrafer är viktiga verktyg för att analysera säkerhetsproblem i företagsnätverk. Tidigare arbete med attackgrafer har inte gett en redogörelse för skalbarheten i grafgenereringsprocessen, och det finns ofta en brist på logisk formalism i representationen av attackgrafer, vilket resulterar i att attackgrafen är svår att använda och förstå av människor. Pionjärarbete av Sheyner, et al. är det första attack-grafikverktyget baserat på formella logiska tekniker, nämligen modellkontroll. Men när Sheyners verktyg tillämpas på medelstora nätverk, stötte Sheyner på ett betydande exponentiellt explosionsproblem. I detta dokument beskrivs ett nytt tillvägagångssätt för att representera och generera attackdiagram. Vi föreslår logiska attackdiagram, som direkt illustrerar logiska beroenden bland attackmål och konfigurationsinformation. En logisk attack graf alltid har storlek polynomial till nätverket analyseras. Vårt verktyg för att skapa attackdiagram bygger på MulVAL, en nätverkssäkerhetsanalysator baserad på logisk programmering. Vi visar hur man producerar en härledning spår i Mul-VAL logik-programmering motorn, och hur man använder spåret för att generera en logisk attack graf i kvadratisk tid. Vi visar experimentella bevis på att vår logiska attack grafgenerering algoritm är mycket effektiv. Vi har genererat logiska attack grafer för fullt anslutna nätverk av 1000 maskiner med hjälp av en Pentium 4 CPU med 1 GB RAM.
Ett annat tillvägagångssätt bygger på att bygga en logisk attack graf REF.
A scalable approach to attack graph generation
{'venue': "CCS '06", 'journal': None, 'mag_field_of_study': ['Computer Science']}