Tan, Xiao, City University of Hong Kong, China

• Information Technology and Control Vol. 42 No. 3 (2013) - Articles
  Improvement of a Three-Party Password-Based Key Exchange Protocol with Formal Verification
  Abstract  PDF