TY  - JOUR
AU  - Xi Wu
AU  - Huibiao Zhu
AU  - Yongxin Zhao
AU  - Zheng Wang
AU  - Si Liu
TI  - Modeling and Verifying the Ariadne Protocol Using Process Algebra
JO  - Computer Science and Information Systems
PY  - 2013
VL  - 10
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2013_10_1_a19/
ID  - CSIS_2013_10_1_a19
ER  -