Lishi Chen, Chun-Yan Liu, Hejiao Huang. Secure Routing against Wormhole Attack and Its Formal Verification based on Timed Colored Petri Net. In Peter Mueller, Luca Foschini, Richard Yu, Graciela Romón Alonso, editors, Proceedings of the 11th ACM Symposium on QoS and Security for Wireless and Mobile Networks, Q2SWinet 2015, Cancun, Mexico, November 2-6, 2015. pages 157-164, ACM, 2015. [doi]
Abstract is missing.