Security verification for authentication and key exchange protocols, revisited (2010)

by H Ota, S Kiyomoto, T Tanaka
Venue:in Proc. 2010 IEEE 24th IEEE International Conference on Advanced Information Networking and Applications Workshops