A Minimum Defense Cost Calculation Method for Attack Defense Trees

Table 1

Analysis methods of ADTree.

ADTree analysis methods	Theory model	References
Formal methods	Continuous-time Markov chain	[23]
	Stochastic Petri net	[24]
	Stochastic timed automata	[25]
	Game theory model	[26–28]
	An extended asynchronous multiagent system	[29]
Algebraic analysis methods	Binary decision diagram	[30–32]