Försvarsträd används för att representera attack- och försvarsstrategier i säkerhetsscenarier; syftet med sådana scenarier är att välja den bästa uppsättningen motåtgärder som kan stoppa alla sårbarheter. För att representera preferenser bland möjliga motåtgärder av en viss attack, är försvarsträd berikade med villkorliga preferenser, få en ny struktur som kallas CP-försvar träd. I denna uppsats omvandlar vi ett CP-försvarsträd med preferenser bland attacker och motåtgärder i ett Svarsset Optimization (ASO) program. ASO-programmet, som representerar det övergripande scenariot, är en särskild sammansättning av de program som är förknippade med varje gren av ett CP-försvarsträd. Vi beskriver ett genomförande som väljer den bästa uppsättningen motåtgärder som kan minska alla sårbarheter genom att beräkna den optimala svar uppsättningen av motsvarande ASO-program.
I REF-försvarsträd som är berikade med villkorade preferenser införs.
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}