Security Protocol Analysis with Improved Authentication Tests.

Xiehua Li, ShuTang Yang, Jianhua Li, HongWen Zhu

Browse the full ISPEC paper archive.