| 2008 |
|---|
| 15 | | Qingfeng Chen,
Chengqi Zhang,
Shichao Zhang:
Secure Transaction Protocol Analysis: Models and Applications
Springer 2008 |
| 2007 |
|---|
| 14 | EE | Yi-Ping Phoebe Chen,
Qiumei Qin,
Qingfeng Chen:
Learning Dependency Model for AMP-Activated Protein Kinase Regulation.
KSEM 2007: 221-229 |
| 13 | EE | Qingfeng Chen,
Shichao Zhang,
Yi-Ping Phoebe Chen:
Identifying Dependency Between Secure Messages for Protocol Analysis.
KSEM 2007: 30-38 |
| 12 | EE | Qingfeng Chen,
Yi-Ping Phoebe Chen,
Chengqi Zhang:
Detecting inconsistency in biological molecular databases using ontologies.
Data Min. Knowl. Discov. 15(2): 275-296 (2007) |
| 2006 |
|---|
| 11 | EE | Yi-Ping Phoebe Chen,
Qingfeng Chen:
Analyzing Inconsistency Toward Enhancing Integration of Biological Molecular Databases.
APBC 2006: 197-206 |
| 10 | EE | Qingfeng Chen,
Yi-Ping Phoebe Chen,
Shichao Zhang,
Chengqi Zhang:
Detecting Collusion Attacks in Security Protocols.
APWeb 2006: 297-306 |
| 9 | EE | Qingfeng Chen,
Yi-Ping Phoebe Chen,
Chengqi Zhang,
Lianggang Li:
Mining Frequent Itemsets for Protein Kinase Regulation.
PRICAI 2006: 222-230 |
| 2005 |
|---|
| 8 | EE | Qingfeng Chen,
Yi-Ping Phoebe Chen:
Analyzing Security Protocols Using Association Rule Mining.
Australian Conference on Artificial Intelligence 2005: 245-253 |
| 7 | EE | Qingfeng Chen,
Yi-Ping Phoebe Chen,
Chengqi Zhang,
Shichao Zhang:
A Framework for Merging Inconsistent Beliefs in Security Protocol Analysis.
DEEC 2005: 119-124 |
| 6 | EE | Qingfeng Chen,
Chengqi Zhang,
Shichao Zhang:
ENDL: A Logical Framework for Verifying Secure Transaction Protocols.
Knowl. Inf. Syst. 7(1): 84-109 (2005) |
| 2004 |
|---|
| 5 | EE | Qingfeng Chen,
Chengqi Zhang,
Shichao Zhang:
A Verification Model for Electronic Transaction Protocols.
APWeb 2004: 824-833 |
| 4 | EE | Qingfeng Chen,
Shichao Zhang:
Dealing with Inconsistent Secure Messages.
PRICAI 2004: 33-42 |
| 2003 |
|---|
| 3 | EE | Qingfeng Chen,
Chengqi Zhang,
Shichao Zhang,
Chunsheng Li:
Verifying the Purchase Request in SET Protocol.
APWeb 2003: 263-274 |
| 2 | EE | Qingfeng Chen,
Chengqi Zhang,
Shichao Zhang:
Verifying the Payment Authorization in SET Protocol.
IDEAL 2003: 914-918 |
| 2001 |
|---|
| 1 | EE | Kaile Su,
Xudong Luo,
Huaiqing Wang,
Chengqi Zhang,
Shichao Zhang,
Qingfeng Chen:
A Logical Framework for Knowledge Sharing in Multi-agent Systems.
COCOON 2001: 561-570 |
