@article{CSIS_2012_9_4_a4,
     author = {Lanfang Tan and Qingping Tan and Jianjun Xu and Huiping Zhou},
     title = {Formal {Verification} of {Signature-monitoring} {Mechanisms} by {Model} {Checking}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {9},
     number = {4},
     year = {2012},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2012_9_4_a4/}
}