Secure Routing against Wormhole Attack and Its Formal Verification based on Timed Colored Petri Net.

Lishi Chen, Chun-Yan Liu, Hejiao Huang

Browse the full MSWIM paper archive.