{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:54:58Z","timestamp":1775040898736,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1109\/mobhoc.2007.4428763","type":"proceedings-article","created":{"date-parts":[[2008,1,14]],"date-time":"2008-01-14T18:06:39Z","timestamp":1200333999000},"page":"1-6","source":"Crossref","is-referenced-by-count":25,"title":["Formal Analysis of Sensor Network Encryption Protocol (SNEP)"],"prefix":"10.1109","author":[{"given":"Llanos","family":"Tobarra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Cazorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031515"},{"key":"ref11","first-page":"264","article-title":"Formal verification of pap and eap-md5 protocols in wireless networks: Fdr model checking","volume":"2","author":"kim","year":"2004","journal-title":"AINA"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/JCS-1998-61-204","article-title":"Casper: A compiler for the analysis of security protocols","volume":"6","author":"lowe","year":"1998","journal-title":"Journal of Computer Security"},{"key":"ref13","article-title":"Minisec: A secure sensor network communication architecture","author":"mark luk","year":"2007","journal-title":"Proceedings of IEEE International Conference on Information Processing in Sensor Networks (IPSN)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028734"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/990680.990707"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016598314198"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/381677.381696"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_16"},{"key":"ref19","first-page":"57","article-title":"Formal verification of TLS handshake and extensions for wireless networks","author":"tobarra","year":"2006","journal-title":"Proc of IADIS International Conference on Applied Computing (AC'06)"},{"key":"ref4","first-page":"197","article-title":"Random key predistribution schemes for sensor networks","author":"chan","year":"2003","journal-title":"IEEE Symposium on Security and Privacy"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1030083.1030120"},{"key":"ref6","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref5","first-page":"193","article-title":"A high level protocol specification language for industrial security-sensitive protocols","author":"chevalier","year":"2004","journal-title":"Proceedings of Workshop on Specification and Automated Processing of Security Requirements (SAPS)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/586115.586117"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1981.32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11690634_29"},{"key":"ref1","first-page":"281","article-title":"The AVISPA tool for the automated validation of internet security protocols and applications","volume":"3576","author":"armando","year":"2005","journal-title":"CAV"},{"key":"ref9","article-title":"A security protocol animator tool for AVISPA","author":"glouche","year":"2006","journal-title":"ARTIST2 Workshop on Security Specification and Verification of Embedded Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1029102.1029113"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1218556.1218559"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/948117.948120"}],"event":{"name":"2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems","location":"Pisa, Italy","start":{"date-parts":[[2007,10,8]]},"end":{"date-parts":[[2007,10,11]]}},"container-title":["2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4428591\/4428592\/04428763.pdf?arnumber=4428763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T18:12:23Z","timestamp":1557166343000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4428763\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/mobhoc.2007.4428763","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]}}}