| 2008 |
|---|
| 5 | EE | Xiaoqi Ma,
Xiaochun Cheng:
Verifying security protocols by knowledge analysis.
IJSN 3(3): 183-192 (2008) |
| 2006 |
|---|
| 4 | EE | Xiaoqi Ma,
Rachel McCrindle,
Xiaochun Cheng:
Verifying and Fixing Password Authentication Protocol.
SNPD 2006: 324-329 |
| 2005 |
|---|
| 3 | EE | Xiaochun Cheng,
Xin He,
Xiaoqi Ma,
Dongdai Zhou,
Peijun Duan,
Shaochun Zhong:
An Agent Based Education Resource Purvey System.
CIS (1) 2005: 381-386 |
| 2 | EE | Xiaochun Cheng,
Xiaoqi Ma,
Long Wang,
Shaochun Zhong:
A Mobile Agent Based Spam Filter System.
CIS (1) 2005: 422-427 |
| 1 | EE | Xiaoqi Ma,
Xiaochun Cheng,
Rachel McCrindle:
Knowledge Based Approach for Mechanically Verifying Security Protocols.
IJCAI 2005: 1572-1573 |
