%0 Journal Article
%A Xi Wu
%A Huibiao Zhu
%A Yongxin Zhao
%A Zheng Wang
%A Si Liu
%T Modeling and Verifying the Ariadne Protocol Using Process Algebra
%J Computer Science and Information Systems
%D 2013
%V 10
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2013_10_1_a19/
%F CSIS_2013_10_1_a19