Quantitative attack tree analysis via priced timed automata

DOI10.1007/978-3-319-22975-1_11MaRDI QIDQ2945593zbMATH OpenOpenAlexFDO

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

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

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

• 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
• scientific article; zbMATH DE number 842533 (Why is no real title available?)
• Information Security and Cryptology - ICISC 2005
• Lectures on Concurrency and Petri Nets
• Weighted timed automata: model-checking and games

Cited in

(8)

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

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)