@inproceedings{iFM14,
  author        = {Barbara Kordy and Marc Pouly and Patrick Schweitzer},
  title         = {{A Probabilistic Framework for Security Scenarios with Dependent Actions}},
  editor        = {Elvira Albert and Emil Sekerinsk},
  booktitle     = {{Integrated Formal Methods (iFM 2014)}},
  pages         = {256-271},
  volume        = {8739},
  series        = {LNCS},
  year          = {2014},
  publisher     = {Springer International Publishing Switzerland}
}