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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.