### Human: パスワード認証による鍵交換についてのこのパラグラフを考えると、証明可能な安全なプロトコルが最初に作られたのは何年か？### Assistant: 2000年の「Eurocrypt 2000」で、Mihir Bellare, David Pointcheval and Phillip RogawayとVictor Boyko, Philip MacKenzie and Sarvar Patelの2グループにより、パスワード認証鍵交換（Pake）のための最初の証明可能安全なプロトコルが発表されましたでござる。