 | 2011 |
| 8 |  | Xiaoqi Ma:
Database Deductive Access Control.
JCP 6(5): 1024-1031 (2011) |
| 2009 |
| 7 |  | Douglas Russell,
David J. Power,
Mark Slaymaker,
Ghita Kouadri Mostefaoui,
Xiaoqi Ma,
Andrew Simpson:
On the Secure Sharing of Legacy Data.
ITNG 2009: 1676-1679 |
| 2008 |
| 6 |  | Xiaoqi Ma,
Xiaochun Cheng:
Verifying security protocols by knowledge analysis.
IJSN 3(3): 183-192 (2008) |
| 2006 |
| 5 |  | Xiaoqi Ma,
Rachel McCrindle,
Xiaochun Cheng:
Verifying and Fixing Password Authentication Protocol.
SNPD 2006: 324-329 |
| 2005 |
| 4 |  | Xiaochun Cheng,
Xin He,
Xiaoqi Ma,
Dongdai Zhou,
Peijun Duan,
Shaochun Zhong:
An Agent Based Education Resource Purvey System.
CIS (1) 2005: 381-386 |
| 3 |  | Xiaochun Cheng,
Xiaoqi Ma,
Long Wang,
Shaochun Zhong:
A Mobile Agent Based Spam Filter System.
CIS (1) 2005: 422-427 |
| 2 |  | Xiaoqi Ma,
Xiaochun Cheng,
Rachel McCrindle:
Knowledge Based Approach for Mechanically Verifying Security Protocols.
IJCAI 2005: 1572-1573 |
| 1 |  | Xiaochun Cheng,
Xiaoqi Ma,
Maggie Xiaoyan Cheng,
Scott C.-H. Huang:
Proving secure properties of cryptographic protocols with knowledge based approach.
IPCCC 2005: 3-9 |