在這段關於密碼認證金鑰交換的段落中，第一個可證明安全的協議是在哪一年建立的？
第一個成功的基於密碼認證的金鑰協商方法是由Steven M. Bellovin和Michael Merritt在1992年描述的加密金鑰交換方法。雖然最初的幾種方法存在缺陷，但EKE的生存和改進形式有效地將共享密碼擴大為共享金鑰，然後可以用於加密和/或訊息認證。第一個可證明安全的PAKE協議是由M. Bellare、D. Pointcheval和P. Rogaway（Eurocrypt 2000）以及V. Boyko、P. MacKenzie和S. Patel（Eurocrypt 2000）在工作中給出的。這些協議在所謂的隨機預言機模型（甚至更強的變體）下被證明是安全的，而在標準假設下被證明安全的第一個協議是O. Goldreich和Y. Lindell（Crypto 2001）的，它作為一個可信性證明，但不是高效的，而J. Katz、R. Ostrovsky和M. Yung（Eurocrypt 2001）的協議是實用的。

第一個基於密碼認證的金鑰檢索方法是由Ford和Kaliski在2000年描述的。

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。
第一個可證明安全的密碼驗證金鑰交換 (PAKE) 協議於 2000 年在“Eurocrypt 2000”上由 Mihir Bellare、David Pointcheval 和 Phillip Rogaway 以及 Victor Boyko、Philip MacKenzie 和 Sarvar Patel 兩個小組提出。