{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:12:02Z","timestamp":1748751122341,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319238012"},{"type":"electronic","value":"9783319238029"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23802-9_3","type":"book-chapter","created":{"date-parts":[[2015,12,1]],"date-time":"2015-12-01T12:24:43Z","timestamp":1448972683000},"page":"17-24","source":"Crossref","is-referenced-by-count":0,"title":["KEMF: Key Management for Federated Sensor Networks"],"prefix":"10.1007","author":[{"given":"Piers","family":"O\u2019Hanlon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joss","family":"Wright","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tulio","family":"de Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,19]]},"reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198\u2013208 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"issue":"15","key":"3_CR2","doi-asserted-by":"publisher","first-page":"2591","DOI":"10.1016\/j.comnet.2010.04.010","volume":"54","author":"MA Simplicio","year":"2010","unstructured":"Simplicio, M.A., Barreto, P.S.L.M., Margi, C.B., Carvalho, T.M.B.: A survey on key management mechanisms for distributed wireless sensor networks. Comput. Netw. 54(15), 2591\u20132612 (2010)","journal-title":"Comput. Netw."},{"key":"3_CR3","volume-title":"Communicating Sequential Processes","author":"C Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Huygens, C., Joosen, W.: Federated and shared use of sensor networks through security middleware. In: ITNG, pp. 1005\u20131011 (2009)","DOI":"10.1109\/ITNG.2009.181"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Khan, S.U., Lavagno, L., Pastrone, C., Spirito, M.: An effective key management scheme for mobile heterogeneous sensor networks. In: i-Society (2011)","DOI":"10.1109\/CRiSIS.2011.6061832"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-28169-3_5","volume-title":"Wireless Sensor Networks","author":"I Leontiadis","year":"2012","unstructured":"Leontiadis, I., Efstratiou, C., Mascolo, C., Crowcroft, J.: SenShare: transforming sensor networks into multi-application sensing infrastructures. In: Picco, G.P., Heinzelman, W. (eds.) EWSN 2012. LNCS, vol. 7158, pp. 65\u201381. Springer, Heidelberg (2012)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 147\u2013166. Springer, Heidelberg (1996)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Casper: a compiler for the analysis of security protocols. In: Computer Security Foundations Workshop, pp. 18\u201330 (1997)","DOI":"10.1109\/CSFW.1997.596779"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1109\/32.637148","volume":"23","author":"G Lowe","year":"1997","unstructured":"Lowe, G., Roscoe, A.W.: Using CSP to detect errors in the TMN protocol. IEEE Trans. Softw. Eng. 23, 659\u2013669 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Maerien, J., Michiels, S., Huygens, C., Joosen, W.: MASY: MAnagement of Secret keYs for federated mobile wireless sensor networks. In: IEEE WiMob (2010)","DOI":"10.1109\/WIMOB.2010.5644977"},{"key":"3_CR11","volume-title":"Model-checking CSP, Chap. 21","author":"AW Roscoe","year":"1994","unstructured":"Roscoe, A.W.: Model-checking CSP, Chap. 21. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"2314","DOI":"10.1016\/j.comcom.2007.04.009","volume":"30","author":"Y Xiao","year":"2007","unstructured":"Xiao, Y., Rayi, V.K., et al.: A survey of key management schemes in wireless sensor networks. Comput. Comm. 30, 2314\u20132341 (2007)","journal-title":"Comput. Comm."}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","International Conference on Security and Privacy in Communication Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23802-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T16:36:59Z","timestamp":1748709419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23802-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319238012","9783319238029"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23802-9_3","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2015]]}}}