Truth or dare: quantitative security risk analysis via attack trees

R Kumar - 2018 - research.utwente.nl
Cyber breaches have grown exponentially over the years, both in the number of incidents
and in damage. Examples of such damaging attacks are numerous, with WannaCry …

[PDF][PDF] Stochastic automata for fault tolerant concurrent systems

RE Monti - 2018 - dsg.famaf.unc.edu.ar
Abstract Automata modeling gives a rigorous mathematical structure to the invaluable
analysis of highly dependable systems. Many kinds of automata have been defined, ranging …