Methodological security verification of a registration protocol. Diaz, J.; Arroyo, D.; and Rodriguez, F., B. In Advances in Intelligent Systems and Computing, volume 299, pages 453-462, 2014.
bibtex   
@inProceedings{
 title = {Methodological security verification of a registration protocol},
 type = {inProceedings},
 year = {2014},
 identifiers = {[object Object]},
 pages = {453-462},
 volume = {299},
 id = {02568b0a-b1fb-3269-8292-8d2398a77216},
 created = {2018-02-18T19:36:20.651Z},
 file_attached = {false},
 profile_id = {dfcec1e6-4219-36af-9839-f7560679a6b7},
 last_modified = {2018-02-18T19:45:44.272Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 citation_key = {Diaz2014c},
 private_publication = {false},
 bibtype = {inProceedings},
 author = {Diaz, Jesus and Arroyo, David and Rodriguez, Francisco B.},
 booktitle = {Advances in Intelligent Systems and Computing}
}
Downloads: 0