@article{diaz2014formal,
  title = {A formal methodology for integral security design and verification of network protocols},
  author = {Diaz, Jesus and Arroyo, David and Rodriguez, Francisco B},
  journal = {Journal of Systems and Software},
  volume = {89},
  pages = {87--98},
  year = {2014}
}