Secure Routing against Wormhole Attack and Its Formal Verification based on Timed Colored Petri Net. - Lishi Chen; Chun-Yan Liu; Hejiao Huang (Q2SWinet@MSWiM, 2015)