Abstract
This paper presents an framework to analyze the security of data transmission protocols in wireless sensor network (WSN). The proposed framework is based on the simulation paradigm and it defines three attack models in terms of the adversary’s attacking ability. Furthermore, it provides a ideal model to verify whether a given protocol is secure or not under these three different attack models. The framework is proved to be effective by analyzing a ”secure” data transmission protocol SDD. This is the first time that the notion of provable security is applied in wireless sensor networks.
This work is supported by SRFDP of China under grant 20050248043.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Mao, W.: Modern Cryptography: Theory and Practice. Prentice-Hall, Englewood Cliffs (2004)
Clarke, E., Grumberg, O., Long, D.: Verification tools for finite-state concurrent systems. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol. 803, Springer, Heidelberg (1994)
Helmy, A., Estrin, D., Gupta, S.: Fault-oriented test generation for multicast routing protocol design. FORTE 135, 93–109 (1998)
Cervesato, I., et al.: A meta-notation for protocol analysis. In: 12th Computer Security Foundations Workshop, CSFW 1999, pp. 55–71. IEEE Computer Society Press, Los Alamitos (1999)
Intanagonwiwat, C., et al.: Directed diffusion for wireless sensor networking. IEEE Trans. Networking 11(1), 2–16 (2003)
Wang, X., Yang, L., Chen, K.: SDD: Secure Distributed Diffusion Protocol for Sensor Networks. In: Castelluccia, C., et al. (eds.) ESAS 2004. LNCS, vol. 3313, Springer, Heidelberg (2005)
Perrig, A., et al.: Efficient and secure source authentication for multicast. In: Proceedings of the IEEE Symposium on Network and Distributed System Security (NDSS 2001), pp. 35–46 (2001)
Ács, G., Buttyán, L., Vajda, I.: Provable Security of On-Demand Distance Vector Routing in Wireless Ad Hoc Networks. In: Molva, R., Tsudik, G., Westhoff, D. (eds.) ESAS 2005. LNCS, vol. 3813, pp. 113–127. Springer, Heidelberg (2005)
Karlof, C., Wagner, D.: Secure routing in wireless sensor networks: attacks and countermeasures. Ad Hoc Network Journal, 293-315 (Sep. 2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Wen, M., Dong, L., Zheng, Y., Chen, K. (2007). A Framework for Proving the Security of Data Transmission Protocols in Sensor Network . In: Yang, C.C., et al. Intelligence and Security Informatics. PAISI 2007. Lecture Notes in Computer Science, vol 4430. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71549-8_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-71549-8_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71548-1
Online ISBN: 978-3-540-71549-8
eBook Packages: Computer ScienceComputer Science (R0)