Quantitative attack tree analysis via priced timed automata

DOI10.1007/978-3-319-22975-1_11MaRDI QIDQ2945593zbMATHOpenAlexFDO

Authors Rajesh Kumar, Enno Ruijters, Mariëlle I. A. Stoelinga

Publication date 14 September 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-22975-1_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)

Recommendations

• Parametric analyses of attack-fault trees
• Model Checking Exact Cost for Attack Scenarios
• Modelling attack-defense trees using timed automata
• On quantitative analysis of attack-defense trees with repeated labels
• Discovering, quantifying, and displaying attacks

Cites work

• scientific article; zbMATH DE number 842533 (Why is no real title available?)
• A theory of timed automata
• DAG-based attack and defense modeling: don't miss the forest for the attack trees
• Formal Methods for Components and Objects
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Information Security and Cryptology - ICISC 2005
• Lectures on Concurrency and Petri Nets
• Weighted timed automata: model-checking and games

Cited in

(8)

• Model Checking Exact Cost for Attack Scenarios
• Attack trees vs. fault trees: two sides of the same coin from different currencies
• New Efficient Utility Upper Bounds for the Fully Adaptive Model of Attack Trees
• Parametric analyses of attack-fault trees
• Modelling attack-defense trees using timed automata
• On quantitative analysis of attack-defense trees with repeated labels
• Discovering, quantifying, and displaying attacks
• Is my attack tree correct?

Describes a project that uses

Uses Software

• Uppaal
• UPPAAL CORA

This page was built for publication: Quantitative attack tree analysis via priced timed automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945593)