research
∙
09/17/2023
ATM: a Logic for Quantitative Security Properties on Attack Trees
Critical infrastructure systems - for which high reliability and availab...
share
research
∙
03/30/2023
PFL: a Probabilistic Logic for Fault Trees
Safety-critical infrastructures must operate in a safe and reliable way....
research
∙
08/29/2022
BFL: a Logic to Reason about Fault Trees
Safety-critical infrastructures must operate safely and reliably. Fault ...
research
∙
06/11/2021