@article{ouchani2012probabilistic,
  title         = {Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols},
  author        = {Ouchani, Samir and Jarraya, Yosr and Mohamed, Otmane Ait and Debbabi, Mourad},
  journal       = {Journal of Software},
  volume        = {7},
  number        = {7},
  pages         = {1488--1495},
  year          = {2012}
}

@article{ouchani2012probabilistic,
  title         = {A Probabilistic Verification Framework for SysML Activity Diagrams},
  author        = {OUCHANI, Samir},
  journal       = {New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eleventh SoMeT\_12},
  volume        = {246},
  pages         = {108},
  year          = {2012},
  publisher     = {IOS Press}
}