| Previous | [ 1] | [ 2] | [ 3] | [ 4] | [ 5] | [ 6] | [ 7] | [ 8] | [ 9] | [ 10] | [ 11] | [ 12] | [ 13] | [ 14] | [ 15] | [ 16] | [ 17] | [ 18] |
¡@
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.
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.