@article{DBLP:journals/telsys/TobarraCCDC09,
  author    = {M. Llanos Tobarra and
               Diego Cazorla and
               Fernando Cuartero and
               Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero},
  title     = {Model checking wireless sensor network security protocols: TinySec
               + {LEAP} + TinyPK},
  journal   = {Telecommunication Systems},
  volume    = {40},
  number    = {3-4},
  pages     = {91--99},
  year      = {2009},
  url       = {https://doi.org/10.1007/s11235-008-9131-z},
  doi       = {10.1007/s11235-008-9131-z},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/telsys/TobarraCCDC09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"6Rn69TT2YoYeadD7W","bibbaseid":"tobarra-cazorla-cuartero-daz-cambronero-modelcheckingwirelesssensornetworksecurityprotocolstinysecleaptinypk-2009","downloads":0,"creationDate":"2017-11-08T09:52:19.986Z","title":"Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK","author_short":["Tobarra, M. L.","Cazorla, D.","Cuartero, F.","Díaz, G.","Cambronero, M."],"year":2009,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/c/Cuartero:Fernando","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["M.","Llanos"],"propositions":[],"lastnames":["Tobarra"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Cazorla"],"suffixes":[]},{"firstnames":["Fernando"],"propositions":[],"lastnames":["Cuartero"],"suffixes":[]},{"firstnames":["Gregorio"],"propositions":[],"lastnames":["Díaz"],"suffixes":[]},{"firstnames":["María-Emilia"],"propositions":[],"lastnames":["Cambronero"],"suffixes":[]}],"title":"Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK","journal":"Telecommunication Systems","volume":"40","number":"3-4","pages":"91--99","year":"2009","url":"https://doi.org/10.1007/s11235-008-9131-z","doi":"10.1007/s11235-008-9131-z","timestamp":"Thu, 08 Jun 2017 01:00:00 +0200","biburl":"http://dblp.org/rec/bib/journals/telsys/TobarraCCDC09","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@article{DBLP:journals/telsys/TobarraCCDC09,\n author = {M. Llanos Tobarra and\n Diego Cazorla and\n Fernando Cuartero and\n Gregorio D{\\'{\\i}}az and\n Mar{\\'{\\i}}a{-}Emilia Cambronero},\n title = {Model checking wireless sensor network security protocols: TinySec\n + {LEAP} + TinyPK},\n journal = {Telecommunication Systems},\n volume = {40},\n number = {3-4},\n pages = {91--99},\n year = {2009},\n url = {https://doi.org/10.1007/s11235-008-9131-z},\n doi = {10.1007/s11235-008-9131-z},\n timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},\n biburl = {http://dblp.org/rec/bib/journals/telsys/TobarraCCDC09},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Tobarra, M. L.","Cazorla, D.","Cuartero, F.","Díaz, G.","Cambronero, M."],"key":"DBLP:journals/telsys/TobarraCCDC09","id":"DBLP:journals/telsys/TobarraCCDC09","bibbaseid":"tobarra-cazorla-cuartero-daz-cambronero-modelcheckingwirelesssensornetworksecurityprotocolstinysecleaptinypk-2009","role":"author","urls":{"Paper":"https://doi.org/10.1007/s11235-008-9131-z"},"downloads":0},"search_terms":["model","checking","wireless","sensor","network","security","protocols","tinysec","leap","tinypk","tobarra","cazorla","cuartero","díaz","cambronero"],"keywords":[],"authorIDs":[],"dataSources":["X6hizZFtb73ScJTEf"]}