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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Wen, M., Dong, L., Zheng, Y., & Chen, K. (2007). A framework for proving the security of data transmission protocols in sensor network. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4430 LNCS, pp. 288–294). Springer Verlag. https://doi.org/10.1007/978-3-540-71549-8_30
Mendeley helps you to discover research relevant for your work.