External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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]

Authors

Lishi Chen

This author has not been identified. Look up 'Lishi Chen' in Google

Chun-Yan Liu

This author has not been identified. Look up 'Chun-Yan Liu' in Google

Hejiao Huang

This author has not been identified. Look up 'Hejiao Huang' in Google
runs on