Kvantitativ säkerhetsanalys av nätverksanslutna datorsystem är ett av de decennier långa öppna problemen inom datasäkerhet. Nyligen föreslogs ett lovande tillvägagångssätt i [19], som dock gjorde några starka antaganden, inklusive den exponentiella fördelningen av och oberoendet mellan de relevanta slumpvariablerna. I detta dokument försvagar vi avsevärt dessa antaganden samtidigt som vi erbjuder, utöver samma typer av analysresultat som i [19], metoder för att få fram de önskade säkerhetskvantiteterna i praktiken. Dessutom undersöker vi problemet utifrån en högre grad av abstraktion, vilket också leder till både analytiska resultat och praktiska metoder för att få fram de önskade säkerhetsmängderna. Dessa skulle innebära ett betydande steg mot att slutligen lösa problemet med kvantitativ säkerhetsanalys av nätverksanslutna datorsystem.
Det viktigaste bidraget från REF är att göra sig av med de exponentiella fördelningsantagandena för vissa slumpmässiga variabler.
An Extended Stochastic Model for Quantitative Security Analysis of Networked Systems
{'venue': 'Internet Mathematics, 8(3): 288-320 (2012)', 'journal': None, 'mag_field_of_study': ['Computer Science']}