| 2007 |
|---|
| 4 | EE | Zhengqin Luo,
Xiaojuan Cai,
Jun Pang,
Yuxin Deng:
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.
ACNS 2007: 87-103 |
| 3 | EE | Lin Song,
Yuxin Deng,
Xiaojuan Cai:
Towards Automatic Measurement of Probabilistic Processes.
QSIC 2007: 50-59 |
| 2004 |
|---|
| 2 | | Son T. Vuong,
Xiaojuan Cai,
Ling Yun,
Wing-Keong Woo:
On Vulnerability Testing of VoIP Software - The MEGACO/H.248 System as an Example.
ICETE (2) 2004: 216-222 |
| 1 | EE | Son T. Vuong,
Xiaojuan Cai,
Juan Li,
Sukanta Pramanik,
Duncan Suttles,
Reggie Chen:
FedGrid: An HLA Approach to Federating Grids.
International Conference on Computational Science 2004: 889-896 |
