根據關於密碼驗證金鑰交換的段落, 首個可證實的安全協議建立於哪一年?
Context:第一個成功的密碼認證金鑰協議方法是 1992 年由 Steven M. Bellovin 和 Michael Merritt 描述的加密金鑰交換方法. 雖然最初的幾種方法都存在缺陷,但倖存和增強的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),這是實際的.  福特和卡利斯基於2000年描述了第一個密碼認證的鑰匙檢索方法.  貝拉雷,D.波因切瓦爾和P.羅加韋提出了大量的替代,安全的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年由Mihir Bellare,David Pointcheval和Phillip Rogaway以及Victor Boyko,Philip MacKenzie和Sarvar Patel兩組成員在"Eurocrypt 2000"上提出的.