Kazukuni Kobara Hideki Imai Pretty-Simple Password-Authenticated Key-Exchange Protocol http://arxiv.org/abs/cs.CR/0110024 2001 CoRR cs.CR/0110024 db/journals/corr/corr0110.html#cs-CR-0110024