{"_id":"fSjmTpLBCvHXE9aCy","bibbaseid":"diaz-arroyo-rodriguez-onsecuringonlineregistrationprotocolsformalverificationofanewproposal-2014","downloads":0,"creationDate":"2018-10-25T15:44:53.670Z","title":"On securing online registration protocols: Formal verification of a new proposal","author_short":["Diaz, J.","Arroyo, D.","Rodriguez, F. B"],"year":2014,"bibtype":"article","biburl":"https://bibbase.org/network/files/7Jj8dRycAFQ8q7T9r","bibdata":{"bibtype":"article","type":"article","title":"On securing online registration protocols: Formal verification of a new proposal","author":[{"propositions":[],"lastnames":["Diaz"],"firstnames":["Jesus"],"suffixes":[]},{"propositions":[],"lastnames":["Arroyo"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Rodriguez"],"firstnames":["Francisco","B"],"suffixes":[]}],"journal":"Knowledge-Based Systems","year":"2014","publisher":"Elsevier","bibtex":"@article{diaz2014securing,\n title={On securing online registration protocols: Formal verification of a new proposal},\n author={Diaz, Jesus and Arroyo, David and Rodriguez, Francisco B},\n journal={Knowledge-Based Systems},\n year={2014},\n publisher={Elsevier}\n}\n\n","author_short":["Diaz, J.","Arroyo, D.","Rodriguez, F. B"],"key":"diaz2014securing","id":"diaz2014securing","bibbaseid":"diaz-arroyo-rodriguez-onsecuringonlineregistrationprotocolsformalverificationofanewproposal-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"search_terms":["securing","online","registration","protocols","formal","verification","new","proposal","diaz","arroyo","rodriguez"],"keywords":[],"authorIDs":["5bd1e4f57b2fbb1000000217"],"dataSources":["5MEpaPim3Cpp3Lrzg"]}