Intrusion detection system for signal based SIP attacks through timed HCPN. - Yanlan Ding; Guiping Su (ARES, 2007)

A Reduction method for Verification of Security Protocol through CPN. - Yanlan Ding; Guiping Su (ICNSC, 2008)