Expected Cost Analysis of Attack-Defense Trees

DOI10.1007/978-3-030-30281-8_12MaRDI QIDQ6489004zbMATH OpenFDO

Authors Julia Eisentraut, Jan Křetínský

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-30281-8_12

Mathematics Subject Classification ID

Computer security (68M25) Stochastic games, stochastic differential games (91A15) Applications of game theory (91A80)

Recommendations

• Model Checking Exact Cost for Attack Scenarios
• Attack-defense trees
• Upper bounds for adversaries' utility in attack trees
• Modelling attack-defense trees using timed automata
• Adversarial formal semantics of attack trees and related problems

Cited in

(2)

• Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions
• Adversarial formal semantics of attack trees and related problems

This page was built for publication: Expected Cost Analysis of Attack-Defense Trees

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