Previous [ 1] [ 2] [ 3] [ 4] [ 5] [ 6] [ 7] [ 8] [ 9] [ 10] [ 11] [ 12] [ 13] [ 14] [ 15] [ 16] [ 17] [ 18]

¡@

Journal of Information Science and Engineering, Vol. 25 No. 1, pp. 319-333 (January 2009)

Towards Provable Security for Data Transmission Protocols in Sensor Network*

Mi Wen+, Ling Dong, Yan-Fei Zheng and Ke-Fei Chen
+Department of Computer Science and Engineering
Shanghai University of Electric Power
Shanghai 200090, P. R. China
Department of Computer Science and Engineering
Shanghai Jiao Tong University
Shanghai 200240, P. R. China

This paper presents a framework to analyze the security of data transmission protocols in wireless sensor network. This framework defines three attack models in terms of the adversary¡¦s attacking ability, and provides an ideal model to verify whether a given protocol is secure or not under these three different attack models. Furthermore, we give a formal security definition under different attack models for data transmission protocols. A security checking model is also presented, which describes the detailed steps of how to use the security definition to weigh the security level of a given protocol in the ideal model. A ¡§secure¡¨ directed diffusion protocol is analyzed to demonstrate the effectiveness of the security checking model. This is the first time that the notion of provable security is applied in wireless sensor networks.

Keywords: provable security, wireless sensor network, data transmission protocol, SDD, attack

Full Text (¥þ¤åÀÉ) Retrieve PDF document (200901_18.pdf)

Received March 26, 2007; revised September 13, 2007; accepted November 1, 2007.
Communicated by Tzong-Chen Wu.
* This work was supported by SRFDP of China under grant No. 20050248043, NSFC of China under grants No. 90704004 and 60703030.