Lishi Chen

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Formal Verification

Top Venues

Publications

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