Expected Cost Analysis of Attack-Defense Trees

DOI10.1007/978-3-030-30281-8_12MaRDI QIDQ6489004FDOQ6489004

Authors: Julia Eisentraut, Jan Křetínský 

Publication date: 14 March 2024

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

Mathematics Subject Classification ID

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

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)