@inproceedings{kordy10,
  author    = {Barbara Kordy and Sjouke Mauw and Matthijs Melissen and Patrick Schweitzer},
  title     = {Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent},
  year      = {2010},
  pages     = {245-256},
  editor    = {Tansu Alpcan and Levente Butty{\'a}n and John S. Baras},
  booktitle     = {Proceedings of GameSec 2010},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6442},
  year      = {2010},
  isbn      = {978-3-642-17196-3},
  ee        = {http://dx.doi.org/10.1007/978-3-642-17197-0},
  url       = "http://www.matthijsmelissen.nl/site/publications/gamesec.pdf",
}