Attack-defense trees and two-player binary zero-sum extensive form games are equivalent

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6442 LNCS, Issue , 2010, Pages 245-256

  Kordy, Barbara ^a   Mauw, Sjouke ^a   Melissen, Matthijs ^a   Schweitzer, Patrick ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

EXPRESSIVE POWER; EXTENSIVE-FORM GAMES; INTERNAL STRUCTURE; SATISFIABILITY; SECURITY WEAKNESS; ZERO SUMS;

BINARY TREES; DECISION THEORY; BINS; FORESTRY; NETWORK SECURITY;

GAME THEORY;

EID: 78650758022     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17197-0_17     Document Type: Conference Paper

References (10)

1. Schneier, B.: Secrets and lies. Wiley, Indianapolis (2004)
2. Mauw, S., Oostdijk, M.: Foundations of Attack Trees. In:Won, D.H., Kim, S. (eds.) ICISC 2005. LNCS, vol. 3935, pp. 186-198. Springer, Heidelberg (2005)
3. Willemson, J., Jürgenson, A.: Serial Model for Attack Tree Computations. In: Lee, D., Hong, S. (eds.) ICISC 2009. LNCS, vol. 5984, pp. 118-128. Springer, Heidelberg (2010)
4. Rehák, M., Staab, E., Fusenig, V., Pěchouček, M., Grill, M., Stiborek, J., Bartoš, K., Engel, T.: Runtime Monitoring and Dynamic Reconfiguration for Intrusion Detection Systems. In: Kirda, E., Jha, S., Balzarotti, D. (eds.) RAID 2009. LNCS, vol. 5758, pp. 61-80. Springer, Heidelberg (2009)
5. Amenaza: SecurITree, http://www.amenaza.com/
6. Isograph: AttackTree+, http://www.isograph-software.com/atpover.htm
7. Edge, K.S., Dalton II, G.C., Raines, R.A., Mills, R.F.: Using Attack and Protection Trees to Analyze Threats and Defenses to Homeland Security. In: MILCOM, pp. 1-7. IEEE, Los Alamitos (2006)
8. Bistarelli, S., Dall'Aglio, M., Peretti, P.: Strategic Games on Defense Trees. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2006. LNCS, vol. 4691, pp. 1-15. Springer, Heidelberg (2006)
9. Kordy, B., Mauw, S., Radomirović, S., Schweitzer, P.: Foundations of Attack- Defense Trees. In: FAST. LNCS. Springer, Heidelberg (2010), http://satoss.uni.lu/members/barbara/papers/adt.pdf
10. Kordy, B., Mauw, S., Melissen, M., Schweitzer, P.: Attack-defense trees and two-player binary zero-sum extensive form games are equivalent - technical report with proofs, http://arxiv.org/abs/1006.2732