@inproceedings{KMRS10,
  author        = {Barbara Kordy and Sjouke Mauw and Sa\v{s}a Radomirovi\'c and Patrick Schweitzer},
  booktitle     = {Proceedings of the 7th international Workshop on Formal Aspects in Security and Trust (FAST 2010)},
  title         = {Foundations of Attack--Defense Trees},
  year          = {2011},
  editor        = {Pierpaolo Degano and Sandro Etalle and Joshua Guttman},
  series        = {LNCS},
  volume        = {6561},
  pages         = {80--95},
  publisher     = {Springer-Verlag},
  location      = {Pisa, Italy},
  doi           = {10.1007/978-3-642-19751-2_6},
  url           = {http://satoss.uni.lu/members/barbara/papers/adt.pdf},
  project       = {atrees}
}