Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Tobarra, M. L., Cazorla, D., Cuartero, F., Díaz, G., & Cambronero, M. Telecommunication Systems, 40(3-4):91--99, 2009.
Paper doi bibtex @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}
}
Downloads: 0
{"_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"]}