Analysis of correspondence property for security protocols
Ming YANG,Jun-zhou LUO
Journal on Communications . 2006, (7): 39 -45 .  DOI: 1000-436X(2006)07-0039-07