Victor Boyko Philip D. MacKenzie Sarvar Patel Provably Secure Password-Authenticated Key Exchange Using Diffie-Hellman. 156-171 2000 EUROCRYPT http://link.springer.de/link/service/series/0558/bibs/1807/18070156.htm db/conf/eurocrypt/eurocrypt2000.html#BoykoMP00