Mi Wen Ling Dong Yanfei Zheng Kefei Chen A Framework for Proving the Security of Data Transmission Protocols in Sensor Network. 288-294 2007 conf/paisi/2007 PAISI http://dx.doi.org/10.1007/978-3-540-71549-8_30 db/conf/paisi/paisi2007.html#WenDZC07