11 citations · 14 across the 4 of their papers we have counts for
4 papers
Streamlining Attack Tree Generation: A Fragment-Based Approach
Irdin Pekaric, Markus Frick, Jubril Gbolahan Adigun +5
Attack graphs are a tool for analyzing security vulnerabilities that capture different and prospective attacks on a system. As a threat modeling tool, it shows possible paths that…
Model-Based Generation of Attack-Fault Trees
Raffaela Groner, Thomas Witte, Alexander Raschke +5
Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a co…
Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis
Thomas Witte, Raffaela Groner, Alexander Raschke +3
Self-adaptive systems offer several attack surfaces due to the communication via different channels and the different sensors required to observe the environment. Often, attacks ca…
Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA
Paolo Dini, Manuel Bravo, Philipp Paulweber +2
The main aim of this report is to provide an introductory tutorial on the Abstract State Machines (ASM) specification method for software engineering to an audience already familia…