@inproceedings{diaz2014methodological,
  title = {Methodological Security Verification of a Registration Protocol},
  author = {Diaz, Jesus and Arroyo, David and Rodriguez, Francisco B},
  booktitle = {International Joint Conference SOCO’14-CISIS’14-ICEUTE’14},
  pages = {453--462},
  year = {2014},
  organization = {Springer, Cham}
}