@inbook{backes04justifying,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Justifying a Dolev-Yao Model under Active Attacks},
  booktitle    = {Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {3655},
  month        = {August},
  year         = {2004},
  publisher    = {Springer},
  pages        = {1-42}
}