Parametric Analyses of Attack-fault Trees*

DOI10.3233/FI-2021-2066zbMath1491.68034arXiv1902.04336MaRDI QIDQ5025035

Mariëlle I. A. Stoelinga, Mathias Ramparison, Étienne André, Didier Lime

Publication date: 1 February 2022

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.04336

zbMATH Keywords

securityparametric timed automataIMITATORattack-fault trees

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computer security (68M25)

Related Items (2)

Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions ⋮ \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability

Uses Software

• Uppaal
• DFTCalc

Cites Work

• Unnamed Item
• Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22--26, 2012. Advanced lectures
• DAG-based attack and defense modeling: don't miss the forest for the attack trees
• Optimal paths in weighted timed automata
• Timed verification of the generic architecture of a memory circuit using parametric timed automata
• A theory of timed automata
• On quantitative analysis of attack-defense trees with repeated labels
• Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
• Quantitative Attack Tree Analysis via Priced Timed Automata
• Statistical Model Checking for Networks of Priced Timed Automata
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• Modelling Attack-defense Trees Using Timed Automata
• Parametric real-time reasoning
• Attack-defense trees

This page was built for publication: Parametric Analyses of Attack-fault Trees*