@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}
}

{"_id":"hYZxXe8BZQLnyTLWQ","bibbaseid":"diaz-arroyo-rodriguez-methodologicalsecurityverificationofaregistrationprotocol-2014","downloads":0,"creationDate":"2018-10-25T15:44:53.673Z","title":"Methodological Security Verification of a Registration Protocol","author_short":["Diaz, J.","Arroyo, D.","Rodriguez, F. B"],"year":2014,"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/7Jj8dRycAFQ8q7T9r","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Methodological Security Verification of a Registration Protocol","author":[{"propositions":[],"lastnames":["Diaz"],"firstnames":["Jesus"],"suffixes":[]},{"propositions":[],"lastnames":["Arroyo"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Rodriguez"],"firstnames":["Francisco","B"],"suffixes":[]}],"booktitle":"International Joint Conference SOCO’14-CISIS’14-ICEUTE’14","pages":"453–462","year":"2014","organization":"Springer, Cham","bibtex":"@inproceedings{diaz2014methodological,\n title={Methodological Security Verification of a Registration Protocol},\n author={Diaz, Jesus and Arroyo, David and Rodriguez, Francisco B},\n booktitle={International Joint Conference SOCO’14-CISIS’14-ICEUTE’14},\n pages={453--462},\n year={2014},\n organization={Springer, Cham}\n}\n\n","author_short":["Diaz, J.","Arroyo, D.","Rodriguez, F. B"],"key":"diaz2014methodological","id":"diaz2014methodological","bibbaseid":"diaz-arroyo-rodriguez-methodologicalsecurityverificationofaregistrationprotocol-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"search_terms":["methodological","security","verification","registration","protocol","diaz","arroyo","rodriguez"],"keywords":[],"authorIDs":["5bd1e4f57b2fbb1000000217"],"dataSources":["5MEpaPim3Cpp3Lrzg"]}