On securing online registration protocols: Formal verification of a new proposal. Diaz, J.; Arroyo, D.; and Rodriguez, F., B. Knowledge-Based Systems, 59:149-158, 2014.
bibtex   
@article{
 title = {On securing online registration protocols: Formal verification of a new proposal},
 type = {article},
 year = {2014},
 identifiers = {[object Object]},
 pages = {149-158},
 volume = {59},
 id = {67eaaf3d-f299-325f-a763-d395f0e1eba0},
 created = {2018-02-18T19:36:19.946Z},
 file_attached = {false},
 profile_id = {dfcec1e6-4219-36af-9839-f7560679a6b7},
 last_modified = {2018-02-18T19:45:43.599Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {false},
 hidden = {false},
 citation_key = {Diaz2014e},
 private_publication = {false},
 bibtype = {article},
 author = {Diaz, Jesus and Arroyo, David and Rodriguez, Francisco B.},
 journal = {Knowledge-Based Systems}
}
Downloads: 0