Kyung-Ah Shim Seung-Hyun Seo Security Analysis of Password-Authenticated Key Agreement Protocols. 49-58 2005 conf/cans/2005 CANS http://dx.doi.org/10.1007/11599371_5 db/conf/cans/cans2005.html#ShimS05