@article{diaz2014securing,
  title = {On securing online registration protocols: Formal verification of a new proposal},
  author = {Diaz, Jesus and Arroyo, David and Rodriguez, Francisco B},
  journal = {Knowledge-Based Systems},
  year = {2014},
  volume = {59},
  pages = {149-158},
  publisher = {Elsevier}
}