Provable password-based tripartite key agreement

External Document