Abstract
We present a lightweight key management protocol that provides secured device registration and communication in federated sensor networks. The protocol is designed for zero configuration and use in small packet low power wireless networks; protocol messages may fit into single packets. We use the Casper security protocol analyser to examine the behaviour and security properties of the protocol model. Within the assumptions of the model, we demonstrate forward secrecy, security against man-in-the-middle attacks, and local network key protection, comparing favourably with related protocols. Our experimental analysis shows that the protocol may feasibly be deployed on current sensor platforms with 256-bit elliptic curve cryptography.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198–208 (1983)
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–2612 (2010)
Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)
Huygens, C., Joosen, W.: Federated and shared use of sensor networks through security middleware. In: ITNG, pp. 1005–1011 (2009)
Khan, S.U., Lavagno, L., Pastrone, C., Spirito, M.: An effective key management scheme for mobile heterogeneous sensor networks. In: i-Society (2011)
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–81. Springer, Heidelberg (2012)
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–166. Springer, Heidelberg (1996)
Lowe, G.: Casper: a compiler for the analysis of security protocols. In: Computer Security Foundations Workshop, pp. 18–30 (1997)
Lowe, G., Roscoe, A.W.: Using CSP to detect errors in the TMN protocol. IEEE Trans. Softw. Eng. 23, 659–669 (1997)
Maerien, J., Michiels, S., Huygens, C., Joosen, W.: MASY: MAnagement of Secret keYs for federated mobile wireless sensor networks. In: IEEE WiMob (2010)
Roscoe, A.W.: Model-checking CSP, Chap. 21. Prentice-Hall, Englewood Cliffs (1994)
Xiao, Y., Rayi, V.K., et al.: A survey of key management schemes in wireless sensor networks. Comput. Comm. 30, 2314–2341 (2007)
Acknowledgments
We would like to acknowledge funding from the EPSRC for the FRESNEL (EP/G070687/1), and Being There (EP/L00416X/1) projects.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
O’Hanlon, P., Wright, J., Brown, I., de Souza, T. (2015). KEMF: Key Management for Federated Sensor Networks. In: Tian, J., Jing, J., Srivatsa, M. (eds) International Conference on Security and Privacy in Communication Networks. SecureComm 2014. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 153. Springer, Cham. https://doi.org/10.1007/978-3-319-23802-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-23802-9_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23801-2
Online ISBN: 978-3-319-23802-9
eBook Packages: Computer ScienceComputer Science (R0)