パスワード認証による鍵交換についてのこのパラグラフを考えると、証明可能な安全なプロトコルが最初に作られたのは何年か？
最初に成功したパスワード認証鍵合意方式は、1992年にSteven M. BellovinとMichael Merrittが発表したEncrypted Key Exchange方式なのだ。最初の方法のいくつかには欠陥があったが、生き残ったEKEの強化型は、共有パスワードを共有鍵に効果的に増幅し、それを暗号化やメッセージ認証に使用することができる。最初の証明可能な安全なPAKEプロトコルは、M. Bellare, D. Pointcheval, and P. Rogaway (Eurocrypt 2000) と V. Boyko, P. MacKenzie, and S. Patel (Eurocrypt 2000) の研究で示されました。これらのプロトコルは、いわゆるランダムオラクルモデル（あるいはさらに強い変形）において安全であることが証明されており、標準的な仮定において安全であることが証明された最初のプロトコルは、もっともらしい証明として機能するが効率的ではないO. Goldreich and Y. Lindell (Crypto 2001)と、実用的であるJ. Katz, R. Ostrovsky, and M. Yung (Eurocrypt 2001)のものなのだ。

最初のパスワード認証による鍵の検索方法は、2000年にFordとKaliskiによって説明されました。

M. Bellare、D. Pointcheval、P. Rogawayによる研究において、かなりの数の代替的で安全なPAKEプロトコルが与えられ、バリエーション、およびセキュリティ証明が、この成長するクラスのパスワード認証鍵合意方法において提案されてきた。これらの方法の現在の標準には、IETF RFC 2945、RFC 5054、RFC 5931、RFC 5998、RFC 6124、RFC 6617、RFC 6628、RFC 6631、IEEE Std 1363.2-2008, ITU-T X.1035 および ISO-IEC 11770-4:2006 があるのだ。
2000年の「Eurocrypt 2000」で、Mihir Bellare, David Pointcheval and Phillip RogawayとVictor Boyko, Philip MacKenzie and Sarvar Patelの2グループにより、パスワード認証鍵交換（Pake）のための最初の証明可能安全なプロトコルが発表されましたのだ。