Abstrakt. Framgången av en säkerhetsattack beror avgörande på tiden: ju mer tid som är tillgänglig för angriparen, desto större är sannolikheten för en lyckad attack; när det ges tillräckligt med tid, något system kan äventyras. Insikt i tidsberoende beteende av attacker och utvecklingen av angriparens framgång när tiden fortskrider är därför en nyckel för effektiva motåtgärder i säkra system. Detta dokument presenterar en effektiv teknik för att analysera attacktider för en förlängning av den framträdande formalismen av attackträd. Om varje grundläggande attacksteg, dvs. varje blad i ett attackträd, kommenteras med en sannolikhetsfördelning av den tid som krävs för att detta steg ska lyckas, visar vi hur denna information kan spridas till en analys av hela trädet. På så sätt får vi sannolikhetsfördelningen för att hela systemet ska attackeras framgångsrikt allteftersom tiden fortskrider. För att vår strategi ska vara effektiv, är vi mycket noga med att alltid arbeta med bästa möjliga kompression av representationerna av de sannolikhetsfördelningar som uppstår. Detta uppnås genom en elegant analys av acykliska fas typ fördelningar, tillsammans med en effektiv kompositionskompression teknik. Vi visar effektiviteten av detta tillvägagångssätt i tre fallstudier, som uppvisar storleksordningar av kompression.
Som nämnts av Arnold et al. REF, analysen av tidsberoende attacker kräver attack träd att utökas med en sekventiell operatör.
Time-Dependent Analysis of Attacks
{'venue': 'POST', 'journal': None, 'mag_field_of_study': ['Computer Science']}