| 2007 |
| 4 | EE | Mengjun Li,
Ti Zhou,
Zhoujun Li,
Huowang Chen:
An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.
ASIAN 2007: 166-180 |
| 3 | EE | Zhoujun Li,
Ti Zhou,
Mengjun Li,
Huowang Chen:
Constraints Solution for Time Sensitive Security Protocols.
FAW 2007: 191-203 |
| 2006 |
| 2 | | Ling Zhang,
Jianping Yin,
Mengjun Li,
Jieren Cheng:
A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization.
SEKE 2006: 410-415 |
| 1 | EE | Mengluo Ji,
Huaimin Wang,
Mengjun Li,
Wei Dong,
Zhichang Qi:
An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework.
Journal of Computer Research and Development 43(11): 2020-2026 (2006) |