%0 Journal Article
%A Lanfang Tan
%A Qingping Tan
%A Jianjun Xu
%A Huiping Zhou
%T Formal Verification of Signature-monitoring Mechanisms by Model Checking
%J Computer Science and Information Systems
%D 2012
%V 9
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2012_9_4_a4/
%F CSIS_2012_9_4_a4