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

Mathematics Subject Classification ID

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

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)