Abstrakt. Attack-försvar träd är en lovande strategi för att representera hotscenarier och möjliga motåtgärder på ett koncis och intuitivt sätt. En attack-försvar träd beskriver samspelet mellan en angripare och en försvarare, och utvärderas genom att tilldela parametrar till noderna, såsom sannolikhet eller kostnad för attacker och försvar. När det gäller flera parametrar optimerar de flesta analysmetoder en parameter i taget, t.ex. minimerar kostnaderna eller maximerar sannolikheten för en attack. Sådana metoder kan leda till suboptimala lösningar när motstridiga parametrar optimeras, t.ex. så att kostnaderna minimeras samtidigt som sannolikheten maximeras. För att ta itu med denna utmaning utformar vi automatiserade tekniker som optimerar alla parametrar på en gång. Dessutom, när det gäller motstridiga parametrar våra tekniker beräkna uppsättningen av alla optimala lösningar, definierade i termer av Pareto effektivitet. Utvecklingen genomförs på en ny och allmän formalism för attack-försvar träd.
En formalisering av attack-försvar träd liknande den vi använde har presenterats av Aslanyan och Nielson REF, där de föreslog utvärderingstekniker för att analysera träd med flera motstridiga parametrar i termer av Pareto effektivitet.
Pareto Efficient Solutions of Attack-Defence Trees
{'venue': 'POST', 'journal': None, 'mag_field_of_study': ['Computer Science']}