| * | 2009 |
|---|
| 7 | EE | Han Zhu,
Yonggen Gu,
Xiaojuan Cai:
Knowledge Aware Bisimulation and Anonymity.
ICCS (1) 2009: 53-62 |
| 6 | EE | Xiaojuan Cai,
Yonggen Gu:
Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus.
ICCSA (2) 2009: 605-620 |
| 5 | EE | Xiaojuan Cai,
Yonggen Gu:
Measuring Anonymity.
ISPEC 2009: 183-194 |
| 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 |
