A Framework for Password-Based Authenticated Key Exchange
R. Gennaro and Y. Lindell.
In the ACM Transactions on Information and System Security (TISSEC), 9(2):181-234, 2006. An extended abstract appeared in Eurocrypt 2003, Springer-Verlag (LNCS 2656), pages 524-543, 2003. (Note: the conference version of this paper contains a serious flaw that is corrected in the final version.)