Xiehua Li, ShuTang Yang, Jian-hua Li, HongWen Zhu. Security Protocol Analysis with Improved Authentication Tests. In Kefei Chen, Robert H. Deng, Xuejia Lai, Jianying Zhou, editors, Information Security Practice and Experience, Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006, Proceedings. Volume 3903 of Lecture Notes in Computer Science, pages 123-133, Springer, 2006. [doi]
Abstract is missing.