Xiehua Li ShuTang Yang Jian-Hua Li HongWen Zhu Security Protocol Analysis with Improved Authentication Tests. 123-133 2006 conf/ispec/2006 ISPEC http://dx.doi.org/10.1007/11689522_12 db/conf/ispec/ispec2006.html#LiYLZ06