비밀번호 인증 키 교환에 대한 이 단락을 고려할 때, 보안이 입증된 최초의 프로토콜은 몇 년에 만들어졌나요?
최초의 성공적인 비밀번호 인증 키 계약 방법은 1992년 Steven M. Bellovin과 Michael Merritt가 설명한 암호화된 키 교환 방식이었습니다. 첫 번째 방법 중 몇 가지 결함이 있었지만, 살아남고 개선된 형태의 EKE는 공유 비밀번호를 공유 키로 효과적으로 증폭하여 암호화 및/또는 메시지 인증에 사용할 수 있습니다. 보안성이 입증된 최초의 PAKE 프로토콜은 M. Bellare, D. Pointcheval, P. Rogaway(유로크립트 2000)와 V. Boyko, P. MacKenzie, S. Patel(유로크립트 2000)의 연구에서 제공되었습니다. 이러한 프로토콜은 소위 랜덤 오라클 모델(또는 더 강력한 변형)에서 안전성이 입증되었으며, 표준 가정 하에서 안전성이 입증된 최초의 프로토콜은 타당성 증명 역할을 하지만 효율적이지 않은 O. Goldreich와 Y. Lindell(Crypto 2001)의 프로토콜과 실용적인 J. Katz, R. Ostrovsky, 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년 '유로크립트 2000'에서 미히르 벨라레, 데이비드 포인트슈발, 필립 로가웨이와 빅터 보이코, 필립 맥켄지, 사바르 파텔이 비밀번호 인증 키 교환(PAKE)을 위한 최초의 입증 가능한 보안 프로토콜을 발표했습니다.
Given this paragraph about Password-authenticated key exchange, what year were the first provably-secure protocols created?
The first successful password-authenticated key agreement methods were Encrypted Key Exchange methods described by Steven M. Bellovin and Michael Merritt in 1992. Although several of the first methods were flawed, the surviving and enhanced forms of EKE effectively amplify a shared password into a shared key, which can then be used for encryption and/or message authentication. The first provably-secure PAKE protocols were given in work by M. Bellare, D. Pointcheval, and P. Rogaway (Eurocrypt 2000) and V. Boyko, P. MacKenzie, and S. Patel (Eurocrypt 2000). These protocols were proven secure in the so-called random oracle model (or even stronger variants), and the first protocols proven secure under standard assumptions were those of O. Goldreich and Y. Lindell (Crypto 2001) which serves as a plausibility proof but is not efficient, and J. Katz, R. Ostrovsky, and M. Yung (Eurocrypt 2001) which is practical.

The first password-authenticated key retrieval methods were described by Ford and Kaliski in 2000.

A considerable number of alternative, secure PAKE protocols were given in work by M. Bellare, D. Pointcheval, and P. Rogaway, variations, and security proofs have been proposed in this growing class of password-authenticated key agreement methods. Current standards for these methods include IETF RFC 2945, RFC 5054, RFC 5931, RFC 5998, RFC 6124, RFC 6617, RFC 6628 and RFC 6631, IEEE Std 1363.2-2008, ITU-T X.1035 and ISO-IEC 11770-4:2006.
The first provably-secure protocols for Password-authenticated key exchanges(PAKE) were presented in 2000 at "Eurocrypt 2000" by two groups Mihir Bellare, David Pointcheval and Phillip Rogaway, and Victor Boyko, Philip MacKenzie and Sarvar Patel.