TY - GEN
T1 - Foundations of attack-defense trees
AU - Kordy, Barbara
AU - Mauw, Sjouke
AU - Radomirović, Saša
AU - Schweitzer, Patrick
PY - 2011
Y1 - 2011
N2 - We introduce and give formal definitions of attack-defense trees. We argue that these trees are a simple, yet powerful tool to analyze complex security and privacy problems. Our formalization is generic in the sense that it supports different semantical approaches. We present several semantics for attack-defense trees along with usage scenarios, and we show how to evaluate attributes.
AB - We introduce and give formal definitions of attack-defense trees. We argue that these trees are a simple, yet powerful tool to analyze complex security and privacy problems. Our formalization is generic in the sense that it supports different semantical approaches. We present several semantics for attack-defense trees along with usage scenarios, and we show how to evaluate attributes.
UR - http://www.scopus.com/inward/record.url?scp=79952577498&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-19751-2_6
DO - 10.1007/978-3-642-19751-2_6
M3 - Conference contribution
AN - SCOPUS:79952577498
SN - 9783642197505
T3 - Lecture Notes in Computer Science
SP - 80
EP - 95
BT - Formal Aspects of Security and Trust
PB - Springer
T2 - 7th International Workshop on Formal Aspects of Security and Trust 2010
Y2 - 16 September 2010 through 17 September 2010
ER -