Security Protocol Analysis with Improved Authentication Tests

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]

Authors

Xiehua Li

This author has not been identified. Look up 'Xiehua Li' in Google

ShuTang Yang

This author has not been identified. Look up 'ShuTang Yang' in Google

Jian-hua Li

This author has not been identified. Look up 'Jian-hua Li' in Google

HongWen Zhu

This author has not been identified. Look up 'HongWen Zhu' in Google