Abstrakt. Den förutseende spelram är en förlängning av attack grafer baserat på spelteori. Det används för att förutse och analysera inkräktare och administratör samtidiga interaktioner med nätverket. Precis som attack-graf-baserad modell kontroll, målet med en förväntan spel är att bevisa att en säkerhetsfastighet innehar. Men att använda denna typ av mål är tråkig och fel benägna på stora nätverk eftersom det förutsätter att analytikern har tidigare och fullständig kunskap om kritiska nätverkstjänster. I detta dokument tar vi upp denna fråga genom att införa ett nytt slags mål som kallas "strategimål". Strategimålen kombinerar logiska och numeriska begränsningar. För att uppnå dessa strategiska mål har vi utökat ramen för planeringsspel med kostnader och belöningar. Dessutom gör denna utvidgning det möjligt för oss att ta hänsyn till den ekonomiska dimensionen av attacker under analysen. Vi bevisar att det går att hitta den optimala strategin och att det bara krävs linjärt utrymme. Slutligen visar vi att förutseende spel med strategimål kan användas i praktiken även på stora nätverk genom att utvärdera prestandan hos vår prototyp.
Förutsättningar för spelramar med de så kallade strategiska målen beaktas i REF.
Using Strategy Objectives for Network Security Analysis
{'venue': 'Inscrypt', 'journal': None, 'mag_field_of_study': ['Computer Science']}