Hyun Seok Kim, Seok Seo, Jin-Young Choi: Weaknesses Analysis and Countermeasure of a Verifier-Based Key Agreement Protocol. HPCC 2008: 1015-1018