![]() |
| 2008 | ||
|---|---|---|
| 3 | EE | Jin Wei, Guiping Su, Meng Xu: An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets. HASE 2008: 457-460 |
| 2 | EE | Yanlan Ding, Guiping Su: A Reduction method for Verification of Security Protocol through CPN. ICNSC 2008: 73-77 |
| 2007 | ||
| 1 | EE | Yanlan Ding, Guiping Su: Intrusion detection system for signal based SIP attacks through timed HCPN. ARES 2007: 190-197 |
| 1 | Yanlan Ding | [1] [2] |
| 2 | Jin Wei | [3] |
| 3 | Meng Xu | [3] |